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

В Википедии есть статьи о других людях с такой фамилией, см. Ковальски.
Роберт Ковальски
Дата рождения 15 мая 1941(1941-05-15) (83 года)
Место рождения
Страна
Род деятельности математик, специалист в области информатики, инженер, философ, преподаватель университета
Научная сфера информатика
Место работы
Альма-матер
Научный руководитель Bernard Meltzer[вд][1]
Награды и премии

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

Образование

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

Карьера

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

Свои исследования Роберт начал в области автоматических доказательств[2], что реализовано на программном уровне. В основу положен аппарат математическая логика. Однако известность ему принёс вклад в развитие логического программирования, начиная с процедурной интерпретации Хорна.[3]

Он также разработал минимальную модель семантики Хорна с Маартен ван Эмден[4]. С Мареком Серготом, разработал исчисление событий[5] и применение логического программирования для юридических целей[6][7]. С Фариба Садри, он разработал модель агента[8][9], в котором убеждению представленные логическими программами и цель представлена ограничением целостности.

Ковальски был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.[10][11] Эта работа продемонстрировала, что логику для рассуждений по умолчанию может рассматриваться как отдельные случаи допущения на основе аргументации.[12][13]

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.

См. также

Примечания

  1. ↑ 1 2 Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ 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.
  3. ↑ 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.
  4. ↑ 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.
  5. ↑ 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.
  6. ↑ 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.
  7. ↑ 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.
  8. ↑ Kowalski, R., „Using Металогика to Reconcile with Reactive Rational Agents“. In „Meta-Logics and Logic Programming“ (K. and Apt F. Turini, eds.), MIT Press, 1995.
  9. ↑ Kowalski, R. and Sadri, F., „From Logic Programming towards Multi-agent Systems“, „Annals of Mathematics and Artificial Intelligence“, Volume 25 (1999), гг. 391—419.
  10. ↑ Eshghi, K.,and Kowalski, R., „Abduction through deduction“. Department of Computing, Imperial College, 1988.
  11. ↑ Kakas, T., Kowalski, K. and Toni, F., „Abductive Logic Programming“. „Journal of Logic and Computation“, 1992, Vol. 2 № 6, pp. 719—770.
  12. ↑ 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.
  13. ↑ 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.

Ссылки