Роберт Ковальски - Robert Kowalski
Роберт Ковальски | |
---|---|
Родившийся |
Бриджпорт , Коннектикут, США
|
15 мая 1941 г.
Национальность | Британский |
Альма-матер |
Чикагский университет Бриджпортский университет Стэнфордский университет Варшавский университет Эдинбургский университет |
Известен |
Логическое программирование Исчисление событий |
Награды | Премия IJCAI за выдающиеся достижения в области исследований (2011 г.) |
Научная карьера | |
Поля |
Логика Информатика |
Учреждения |
Имперский колледж Лондона Эдинбургского университета |
Тезис | Исследования в области полноты и эффективности доказательства теорем по разрешению (1970) |
Докторант | Бернард Мельцер |
Докторанты |
Дэвид HD Уоррен Кейт Кларк |
Роберт Энтони Ковальски (родился 15 мая 1941 г.) - американо-британский логик и ученый-компьютерщик , чьи исследования связаны с разработкой как ориентированных на человека моделей вычислений, так и вычислительных моделей человеческого мышления. Большую часть своей карьеры он провел в Соединенном Королевстве.
Образование
Он получил образование в Университете Чикаго , Университет Бриджпорт (BA по математике, 1963), Стэнфордский университет (магистр в области математики, 1966), в Варшавском университете и Университете Эдинбурга (PhD в области компьютерных наук , 1970).
Карьера
Он был научным сотрудником в Университете Эдинбурга (1970-75) и был на кафедре вычислительной техники, Imperial College London с 1975 года, достигнув стула в области вычислительной логики в 1982 году и стал заслуженным профессором в 1999 году.
Он начал свои исследования в области автоматического доказательства теорем , разрабатывая как SL-разрешение с Дональдом Кюнером, так и процедуру доказательства графа связности. Он разработал разрешение SLD и процедурную интерпретацию предложений Хорна , которые лежат в основе операционной семантики обратных рассуждений в логическом программировании . Вместе с Маартеном ван Эмденом он также разработал минимальную модель и семантику фиксированных точек предложений Хорна, которые лежат в основе логической семантики логического программирования.
Вместе с Мареком Серго он разработал как исчисление событий, так и приложение логического программирования к юридической аргументации . Вместе с Фарибой Садри он разработал агентную модель, в которой убеждения представлены логическими программами, а цели - ограничениями целостности .
Ковальский был одним из разработчиков абдуктивного логического программирования , в котором логические программы дополняются ограничениями целостности и неопределенными, сводимыми предикатами. Эта работа привела к демонстрации с Фан Минь Зунгом и Франческой Тони, что большинство логик для рассуждений по умолчанию можно рассматривать как частные случаи аргументации, основанной на предположениях .
В своей книге 1979 года « Логика решения проблем» Ковальски утверждает, что логический вывод обеспечивает простую и мощную модель решения проблем, которая может использоваться как людьми, так и компьютерами. В своей книге 2011 года « Вычислительная логика и человеческое мышление - как стать искусственным интеллектом» он утверждает, что использование вычислительной логики может помочь обычным людям улучшить свои коммуникативные навыки на естественном языке и что в сочетании с теорией принятия решений ее можно использовать для улучшения их практические способности решать проблемы.
Совсем недавно в совместной работе с Фарибой Садри он разработал логический и компьютерный язык LPS (Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике.
Почести и награды
Ковальский был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году. В 2011 году он получил премию IJCAI за выдающиеся достижения в области исследований , « за его вклад в логику представления знаний и решения проблем, в том числе его новаторскую работу по автоматическому доказательству теорем и логическому программированию ». В 2012 году он получил премию Японского общества содействия развитию науки для выдающихся ученых за 2012–2014 годы. В 2021 году он получил первую премию CodeX за свою работу с Фарибой Садри и Мареком Серго "в знак признания их новаторской работы по применению логического программирования к формализации и анализу Закона о британском гражданстве. Основополагающая статья авторов" The «Закон о британском гражданстве как логическая программа», опубликованный в 1986 году в журнале ACM, является одной из первых и наиболее известных работ в области вычислительного права и одной из наиболее цитируемых статей в этой области ». [4]
Книги
- Логика для решения проблем , Северная Голландия, Elsevier, 1979.
- Вычислительная логика и человеческое мышление: как быть искусственным интеллектом , Cambridge University Press, 2011.