Ковальски, Роберт

Роберт Энтони Ковальски () — американский логик и ученый, который провел большую часть своей карьеры в Великобритании.

Образование

Получил образование в Чикагском университете, Бриджпортском университете (бакалавр в области математики, 1963), Стэнфордском университете (магистр в области математики, 1966), в Варшавском университете и в Эдинбургском университете (научная степень в области компьютерных наук, 1970).

Карьера

Был научным сотрудником в Эдинбургском университете (1970-75) и в Имперском колледже Лондона с 1975 года. В 1999 году стал заслуженным профессором. Вскоре присоединился к Американской ассоциации по развитию искусственного интеллекта в 1991 году, Координационного комитета искусственного интеллекта в 1999 году, и ассоциации вычислительной техники в 2001 году.

Свои исследования Роберт начал в области автоматических доказательствKowalski, R. and Kuehner, D., «Linear Resolution with Selection Function» in Artificial Intelligence, Vol. 2, 1971, гг. 227—260. Reprinted in «Anthology of Automated Theorem-Proving Papers», Vol. 2, Springer-Verlag, 1983, гг. 542—577., что реализовано на программном уровне. В основу положен аппарат математическая логика. Однако известность ему принёс вклад в развитие логического программирования, начиная с процедурной интерпретации Хорна.Kowalski, R., «Predicate Logic as Programming Language», in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, гг. 569—574. Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press, Los Angeles, 1986, гг. 68-73.

Он также разработал минимальную модель семантики Хорна с Маартен ван Эмденvan Эмден, M. and Kowalski, R., «The Semantics of Predicate Logic as a Programming Language», in «Journal of the ACM», Vol. 23, № 4, 1976, гг. 733—742.. С Мареком Серготом, разработал исчисление событийKowalski, R. and Sergot, M., «A Logic-based Calculus of Events», in «New Generation Computing», Vol. 4, No 1, February 1986, гг. 67-95. Also in «Knowledge Base Management-Systems», (eds. C. Thanos and J. W. Schmidt), Springer-Verlag, гг. 23-51. Also in The Language of Time: A Reader (eds. Inderjeet Mani, J. Pustejovsky, and R. Gaizauskas). Oxford University Press, 2005. and the application of logic programming to legal reasoning.Sergot, M., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., and Cory, T., «The British Nationality Act as a Logic Program», in «Communications of the ACM», Vol. 29, № 5, 1986, гг. 370—386.Kowalski, R., «Legislation as Logic Programs, in Logic Programming in Action (eds. G. Comyn, N. E. Fuchs, M. J. Ratcliffe), Springer-Verlag, 1992, гг. 203—230. и применение логического программирования для юридических целей. С Фариба Садри, он разработал модель агентаKowalski, R., „Using Металогика to Reconcile with Reactive Rational Agents“. In „Meta-Logics and Logic Programming“ (K. and Apt F. Turini, eds.), MIT Press, 1995.Kowalski, R. and Sadri, F., „From Logic Programming towards Multi-agent Systems“, „Annals of Mathematics and Artificial Intelligence“, Volume 25 (1999), гг. 391—419., в котором убеждению представленные логическими программами и цель представлена ограничением целостности.

Ковальски был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.Eshghi, K.,and Kowalski, R., „Abduction through deduction“. Department of Computing, Imperial College, 1988.Kakas, T., Kowalski, K. and Toni, F., „Abductive Logic Programming“. „Journal of Logic and Computation“, 1992, Vol. 2 № 6, pp. 719—770. Эта работа продемонстрировала, что логику для рассуждений по умолчанию может рассматриваться как отдельные случаи допущения на основе аргументации.Bondarenko, A., Dung, P. M., Kowalski, R., and Toni, F. An Abstract Argumentation-theoretic Approach to Default Reasoning». «Journal of Artificial Intelligence», 93(1-2), 1997, pp 63-101.Dung, P. M., Kowalski, R., and Toni, F. «Dialectic proof procedures for assumption-based, admissible argumentation». «Journal of Artificial Intelligence», 170(2), February 2006, гг. 114—159.

Prolog

Разработка языка Prolog началась в 1970 году Аланом Кулмерое и Филиппом Русселом. Они хотели создать язык, который мог бы делать логические выводы на основе заданного текста. Название Prolog является сокращением от «PROgramming in LOGic». Этот язык был разработан в Марселе в 1972 году. Принцип резолюции Кузнечного казался подходящей моделью, на основе которой можно было разработать механизм логических выводов. С ограничением резолюции на дизъюнкт Хорна унификация привела к эффективной системе, где непреодолимый недетерминизм обрабатывался с помощью процесса отката, который мог быть легко реализован. Алгоритм резолюции позволял создать выполняемую последовательность, необходимую для реализации спецификаций, подобных приведенному выше отношению.

Первая реализация языка Prolog с использованием компилятора Вирта ALGOL-W была закончена в 1972 году, а основы современного языка были заложены в 1973. Использование языка Prolog постепенно распространялось среди тех, кто занимался логическим программированием, в основном благодаря личным контактам, а не через коммерциализацию продукта. В настоящее время существует несколько различных, но весьма схожих между собой версий. Хотя стандарта языка Prolog не существует, однако, версия, разработанная в Эдинбургском университете, стала наиболее широко используемым вариантом. Недостаток разработок эффективных приложений Prolog сдерживал его распространение вплоть до 1980 года.

Книги

• «Logic for Problem Solving», North Holland, Elsevier, 1979.
  • Ковальски, Роберт Логика в решении проблем. / Пер. с англ. Л. Г. Осмоловского и др. С предисл. и примеч. Д. А. Поспелова. — М. : Наука, 1990. — 277, [1] с. : ил. — (Проблемы искусств. интеллекта; Вып. 18). — ISBN 5-02-014148-8
• «Computational Logic and Human Thinking: How to be Artificially Intelligent», Cambridge University Press, 2011.

См. также

• Prolog (язык программирования)

Ссылки

• Личная страница Роберта Ковальски
• Биография
• Биография (PDF)
• Биографическое эссе
• Тезис