WikiSort.ru - Не сортированное

ПОИСК ПО САЙТУ | о проекте
Роберт Энтони Ковальский
Дата рождения 15 мая 1941(1941-05-15) (77 лет)
Место рождения
Страна
Научная сфера информатика
Место работы
Альма-матер
Награды и премии

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

Образование

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

Карьера

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

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

Он также разработал минимальную модель семантики Хорна с Маартен ван Эмден[3]. С Мареком Серготом, разработал исчисление событий[4] and the application of logic programming to legal reasoning.[5][6] и применение логического программирования для юридических целей. С Фариба Садри, он разработал модель агента[7][8], в котором убеждению представленные логическими программами и цель представлена ограничением целостности.

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

Пролог

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

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

Книги

  • «Logic for Problem Solving», North Holland, Elsevier, 1979.
  • «Computational Logic and Human Thinking: How to be Artificially Intelligent», Cambridge University Press, 2011.

См. также

Примечания

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

Ссылки

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.ru - проект по пересортировке и дополнению контента Википедии