Роберт Энтони Ковальски (родился 15 мая 1941 г.) — американо-британский логик и ученый-компьютерщик , чьи исследования связаны с разработкой как человеко-ориентированных моделей вычислений, так и вычислительных моделей человеческого мышления. [1] Большую часть своей карьеры он провёл в Великобритании .
Он получил образование в Чикагском университете , Бриджпортском университете (бакалавр математики, 1963), Стэнфордском университете (магистр математики, 1966), Варшавском университете и Эдинбургском университете (доктор компьютерных наук , 1970). [1]
Он был научным сотрудником в Эдинбургском университете (1970–75) и работал на факультете вычислительной техники Имперского колледжа Лондона с 1975 года, заняв кафедру вычислительной логики в 1982 году и став почетным профессором в 1999 году .
Он начал свои исследования в области автоматизированного доказательства теорем , разработав как SL-разрешение [2] вместе с Дональдом Кюнером, так и процедуру доказательства графа связей. [3] Он разработал разрешение SLD и процедурную интерпретацию предложений Хорна , [4] которые лежат в основе операционной семантики обратного рассуждения в логическом программировании . Совместно с Маартеном ван Эмденом [5] он также разработал минимальную модель и семантику фиксированной точки предложений Хорна, которые лежат в основе логической семантики логического программирования.
Вместе с Мареком Серго он разработал как исчисление событий [6], так и применение логического программирования к юридическим рассуждениям . [7] [8] Вместе с Фарибой Садри он разработал модель агента [9] [10] , в которой убеждения представлены логическими программами, а цели представлены ограничениями целостности .
Ковальский был одним из разработчиков абдуктивного логического программирования , в котором логические программы дополняются ограничениями целостности и неопределенными, сокращаемыми предикатами. [11] [12] Эта работа привела к демонстрации совместно с Фан Минь Зунгом и Франческой Тони того, что большинство логических рассуждений по умолчанию можно рассматривать как особые случаи аргументации , основанной на предположениях . [13] [14]
В своей книге 1979 года «Логика для решения проблем » [15] Ковальски утверждает, что логический вывод обеспечивает простую и мощную модель решения проблем, которую могут использовать как люди, так и компьютеры. В своей книге 2011 года « Вычислительная логика и человеческое мышление – как быть искусственным интеллектом» [16] он утверждает, что использование вычислительной логики может помочь обычным людям улучшить свои навыки общения на естественном языке , и что в сочетании с теорией принятия решений это может помочь обычным людям улучшить свои навыки общения на естественном языке. использоваться для улучшения их практических способностей к решению проблем.
В совместной работе с Фарибой Садри он разработал логику и компьютерный язык LPS [17] (Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике. Он продолжил свой интерес к развитию искусственного интеллекта . [18]
Ковальский был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году . [1] В 2011 году он получил премию IJCAI за исследования. Превосходство «за вклад в логику для представления знаний и решения проблем, включая его новаторскую работу по автоматизированному доказательству теорем и логическому программированию». [19] В 2012 году он получил премию Японского общества содействия науке для выдающихся ученых за 2012–2014 годы. [20] В 2021 году он получил первую премию CodeX за свою работу с Фарибой Садри и Мареком Серго «в знак признания их работы по применению логического программирования для формализации и анализа Закона о британском гражданстве». Основополагающая статья авторов: «Закон о британском гражданстве как логическая программа», опубликованный в 1986 году в журнале Communications of the ACM , является одной из первых и самых известных работ в области вычислительного права и одной из наиболее широко цитируемых статей в этой области. [21]