Процедурная интерпретация дизъюнктов Хорна, разработанная Робертом Ковальски, обеспечивает операционную основу для обратного вывода в логическом программировании. Рожденный в 1941 году в Бриджпорте, штат Коннектикут, этот математик и компьютерный ученый сосредоточил свою карьеру на пересечении автоматического доказательства теорем и человеко-ориентированных вычислительных моделей, работая преимущественно в академических учреждениях Великобритании.
Академический бэкграунд
Ковальски посещал подготовительную школу Фэрфилд, прежде чем получить высшее образование. Он получил степень бакалавра математики в Университете Бриджпорта в 1963 году, а затем степень магистра математики в Стэнфордском университете в 1966 году. Его докторские исследования привели его в Варшавский университет, а затем в Эдинбургский университет, где он получил докторскую степень по информатике в 1970 году.
Основы логического программирования
Его исследовательская карьера началась в качестве научного сотрудника Эдинбургского университета с 1970 по 1975 год. В 1975 году он перешел на факультет вычислительной техники Имперского колледжа Лондона. В 1982 году он получил кафедру вычислительной логики, а в 1999 году стал почетным профессором. В начале этого периода он разработал SL-резолюцию вместе с Дональдом Кюнером и сформулировал процедуру доказательства на основе графов соединений. В сотрудничестве с Маартеном ван Эмденом он установил семантику неподвижной точки и минимальную модель дизъюнктов Хорна, которые определяют логические основы этой области.
Применение в праве и логике
Ковальски расширил сферу логического программирования на сложные области, такие как юридическое рассуждение. Вместе с Мареком Серготом он разработал исчисление событий и применил логическое программирование для создания ранних юридических экспертных систем. Их исследование 1986 года «The British Nationality Act as a Logic Program» остается фундаментальной работой в области вычислительного права, принеся команде первую премию CodeX в 2021 году. Кроме того, его работа с Фарибой Садри привела к созданию систем логического производства и разработке «логического английского» (Logical English) — ограниченного синтаксиса, предназначенного для улучшения коммуникации и формализации юридических контрактов.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональное признание
Его вклад был отмечен значительными профессиональными наградами. В 1991 году он был избран членом Ассоциации по развитию искусственного интеллекта, а в 2001 году — членом Ассоциации вычислительной техники. В 2011 году он получил премию IJCAI за выдающиеся исследования. В период с 2012 по 2014 год он был удостоен премии Японского общества содействия науке для выдающихся ученых.
Краткие факты
- Рождение: 1941, Бриджпорт - Область: Логика и информатика - Докторская степень: Эдинбургский университет, 1970 - Почетный профессор: Имперский колледж Лондона - Членство: AAAI, ACM - Основной интерес: Вычислительная логика - Известная книга: Logic for Problem Solving, 1979 - Лауреат премии CodeX: 2021
Вопросы читателей
### Какова основная функция «логического английского»?
Он служит синтаксическим сахаром для языков программирования, таких как Prolog, и предназначен для того, чтобы позволить людям читать и понимать логические правила, используя стандартный английский синтаксис.
### Как Ковальски связывает логику с человеческим мышлением?
Он утверждает, что вычислительная логика действует как модель решения проблем, которая в сочетании с теорией принятия решений может улучшить коммуникацию на естественном языке и навыки практического рассуждения.
