Роберт Ковальски: Логика, вычисления и искусственный интеллект

Введение

Британский ученый-компьютерщик (род. 1941) американский медицинский журналист и автор

Роберт Энтони Ковальски (род. 15 мая 1941) — британский и американский логик и ученый-компьютерщик, чьи исследования посвящены разработке моделей вычислений, ориентированных на человека, и вычислительных моделей человеческого мышления. Большую часть своей карьеры он провел в Соединенном Королевстве.

Образование

Получил образование в Чикагском университете, Университете Бриджпорта (бакалавр математики, 1963), Стэнфордском университете (магистр математики, 1966), Варшавском университете и Эдинбургском университете (доктор философии в области информатики, 1970) под руководством Дональда Кюнера и с использованием процедуры доказательства графа связей. Он разработал SLD-резолюцию и процедурную интерпретацию предложений Хорна, которые составляют основу операционной семантики обратного вывода в логическом программировании. Вместе с Мартеном ван Эмденом он также разработал минимальную модель и семантику неподвижных точек предложений Хорна, которые составляют основу логической семантики логического программирования. Вместе с Мареком Серготом он разработал исчисление событий и применение логического программирования к юридическому рассуждению. Вместе с Фарибой Садри он разработал модель агента, в которой убеждения представлены логическими программами, а цели – ограничениями целостности. Ковальски был одним из разработчиков абдуктивного логического программирования, в котором логические программы расширяются ограничениями целостности и неопределенными, абдуктивными предикатами. Эта работа привела к демонстрации совместно с Фан Мин Дунгом и Франческой Тони, что большинство логик для немонотонного рассуждения можно рассматривать как частные случаи аргументации, основанной на предположениях. В своей книге 1979 года «Логика решения задач» Ковальски утверждает, что логический вывод предоставляет простую и мощную модель решения задач, которую могут использовать как люди, так и компьютеры. В своей книге 2011 года «Вычислительная логика и человеческое мышление: как стать искусственно разумным» он утверждает, что использование вычислительной логики может помочь обычным людям улучшить свои навыки общения на естественном языке, а в сочетании с теорией принятия решений – улучшить их практические навыки решения проблем. В совместной работе с Фарибой Садри он разработал логический и компьютерный язык LPS (Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике. Он продолжал проявлять интерес к развитию искусственного интеллекта.

He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). with Donald Kuehner and the connection graph proof procedure. He developed SLD resolution and the procedural interpretation of Horn clauses, which underpin the operational semantics of backward reasoning in logic programming. With Maarten van Emden, he also developed the minimal model and the fixpoint semantics of Horn clauses, which underpin the logical semantics of logic programming. With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints. Kowalski was one of the developers of abductive logic programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates. This work led to the demonstration with Phan Minh Dung and Francesca Toni that most logics for default reasoning can be regarded as special cases of assumption based argumentation. In his 1979 book, Logic for Problem Solving, Kowalski argues that logical inference provides a simple and powerful model of problem solving that can be used by both humans and computers. In his 2011 book, Computational Logic and Human Thinking How to be Artificially Intelligent, he argues that the use of computational logic can help ordinary people to improve their natural language communication skills, and that in combination with decision theory, it can be used to improve their practical problem solving abilities. In joint work with Fariba Sadri, he has developed the logic and computer language LPS, (Logic Production Systems), which integrates much of his previous work on computational logic. He has continued his interest in the development of artificial intelligence.

Почести и награды

Ковальски был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году. В 2012 году он получил награду Японского общества содействия науке для выдающихся ученых на 2012–2014 годы. В 2021 году он был удостоен первой премии CodeX за работу, выполненную совместно с Фарибой Садри и Мареком Серго, "в знак признания их вклада в применение логического программирования к формализации и анализу Закона о британском гражданстве". Их основополагающая статья "Акт о британском гражданстве как логическая программа", опубликованная в 1986 году в журнале Communications of the ACM, является одной из первых и наиболее известных работ в области вычислительного права и одной из самых цитируемых работ в данной сфере.