Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Информацию об американском медицинском журналисте и писателе см. В статье Роберта Ковальски .

Роберт Ковальски
Роберт Ковальски.jpg
Родившийся( 1941-05-15 )15 мая 1941 г. (79 лет)
Бриджпорт , Коннектикут, США
НациональностьБританский
ГражданствоНатурализованный гражданин Великобритании
Альма-матерЧикагский
университет Бриджпортский
университет Стэнфордский университет
Варшавский
университет Эдинбургский университет
ИзвестенЛогическое программирование
Исчисление событий
НаградыПремия IJCAI за научные достижения (2011 г.)
Научная карьера
ПоляЛогика
Информатика
УчрежденияИмперский колледж Лондона Эдинбургского
университета
ТезисИсследования в области полноты и эффективности доказательства теорем по разрешению  (1970)
ДокторантБернард Мельцер
ДокторантыДэвид HD Уоррен
Кейт Кларк

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

Образование [ править ]

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

Карьера [ править ]

Он был научным сотрудником в Университете Эдинбурга (1970-75) и был на кафедре вычислительной техники, Imperial College London с 1975 года, достигнув стула в области вычислительной логики в 1982 году и стал заслуженным профессором в 1999 году.

Он начал свои исследования в области автоматического доказательства теорем , разработав как SL-резольвенту [2] с Дональдом Кюнером, так и процедуру доказательства графа связности. [3] Он разработал разрешение SLD и процедурную интерпретацию предложений Хорна , [4] которые лежат в основе операционной семантики обратных рассуждений в логическом программировании . Вместе с Маартеном ван Эмденом [5] он также разработал минимальную модель и семантику фиксированных точек предложений Хорна, которые лежат в основе логической семантики логического программирования.

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

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

В своей книге 1979, Логика для Задач , [15] Ковальский утверждает , что логический вывод обеспечивает простой и мощную модель решения проблем , которые могут быть использованы как людьми , так и компьютерами. В 2011 году книги, вычислительной логики и человеческого мышления - Как быть Искусственно Интеллектуальные , [16] он утверждает , что использование вычислительной логики может помочь обычным людям улучшить свои навыки общения на естественном языке, и что в сочетании с теорией принятия решений может быть используются для улучшения их практических способностей к решению проблем.

Совсем недавно в совместной работе с Фарибой Садри он разработал логический и компьютерный язык LPS, [17] (Logic Production Systems), который объединяет большую часть его предыдущих работ по вычислительной логике.

Почести и награды [ править ]

Ковальский был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году. Он получил премию IJCAI за выдающиеся достижения в области исследований «за свой вклад. к логике для представления знаний и решения проблем, включая его новаторскую работу по автоматическому доказательству теорем и логическому программированию »в 2011 г. [18] и премию Японского общества содействия развитию науки для выдающихся ученых за 2012–2014 гг. [19]

Книги [ править ]

  • Логика для решения проблем , Северная Голландия, Elsevier, 1979.
  • Вычислительная логика и человеческое мышление: как быть искусственным интеллектом , Cambridge University Press, 2011.

См. Также [ править ]

  • Исчисление событий
  • Логическое программирование
  • Пролог

Ссылки [ править ]

  1. ^ http://www.doc.ic.ac.uk/~rak/history.html
  2. ^ Ковальский, Р. и Кюнер, Д., «Линейное разрешение с функцией выбора», в «Искусственный интеллект», Vol. 2. 1971, с. 227–260. Перепечатано в сборнике «Антология автоматических доказательств теорем» , том. 2, Springer-Verlag , 1983, стр. 542–577.
  3. ^ Ковальский, Р., "Процедура доказательства с использованием графов соединений", в журнале ACM Vol. 22, № 4, 1975, стр. 572–595.
  4. ↑ Ковальски, Р., «Логика предикатов как язык программирования», в материалах Конгресса IFIP, Стокгольм, North Holland Publishing Co., 1974, стр. 569–574. Перепечатано в «Компьютеры для приложений искусственного интеллекта» (ред. Ва, Б. и Ли, Г.-Дж.), IEEE Computer Society Press , Лос-Анджелес, 1986, стр. 68–73.
  5. ^ Ван Эмден, М. и Ковальски, Р., "Семантика логики предикатов как язык программирования", в журнале ACM , Vol. 23, № 4, 1976, стр. 733–742.
  6. ^ Ковальски, Р. и Сергот, М., «Логическое исчисление событий», в New Generation Computing , Vol. 4, № 1, февраль 1986 г., стр. 67–95. Также в системе управления базами знаний (ред. К. Танос и Дж. У. Шмидт), Springer-Verlag, стр. 23–51. Также в «Язык времени: читатель» (ред. Индерджит Мани, Дж. Пустейовский и Р. Гайзаускас). Издательство Оксфордского университета , 2005.
  7. ^ Сергот, М., Садри, Ф., Ковальски, Р., Кривачек, Ф., Хаммонд, П., и Кори, Т., «Акт о британском гражданстве как логическая программа», в сообщениях ACM , Vol. . 29, № 5, 1986, стр. 370–386.
  8. ↑ Ковальски, Р., «Законодательство как логические программы», в «Логическом программировании в действии» (ред. Г. Комин, Н. Е. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.
  9. ^ Ковальски, Р., "Использование Metalogic для согласования реакции с рациональными агентами". В мета-логике и логическом программировании (К. Апт и Ф. Турини, ред.), MIT Press , 1995.
  10. ^ Ковальски, Р. и Садри, Ф., «От логического программирования к многоагентным системам», Анналы математики и искусственного интеллекта , том 25 (1999), стр. 391–419.
  11. ^ Eshghi, К. и Ковальски Р., «Похищение путем вычета». Отделение вычислительной техники , Имперский колледж , 1988 г.
  12. ^ Какас, Т., Ковальски, К. и Тони, Ф., "Абдуктивное логическое программирование". Журнал логики и вычислений , 1992, Vol. 2 № 6, с. 719–770.
  13. ^ Бондаренко, А., Данг, П.М., Ковальски, Р., и Тони, Ф. «Абстрактный теоретико-аргументативный подход к рассуждению по умолчанию». Журнал искусственного интеллекта , 93 (1-2), 1997, стр. 63-101.
  14. ^ Данг, П.М., Ковальский, Р., и Тони, Ф. «Процедуры диалектического доказательства для допустимых допустимых аргументов». Журнал искусственного интеллекта , 170 (2), февраль 2006 г., стр. 114–159.
  15. ↑ Kowalski, RA, 1979. [1] Логика для решения проблем, Elsevier, Северная Голландия.
  16. ^ Ковальски, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - как быть искусственно интеллектуальным, Cambridge University Press.
  17. ^ http://lps.doc.ic.ac.uk
  18. ^ [3]
  19. ^ [4]

Внешние ссылки [ править ]

  • Домашняя страница Роберта Ковальски
  • биография
  • Биография ( PDF )
  • Биографический очерк
  • Интервью апрель 2020