Роберт Ковальски - Robert Kowalski

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

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

Образование

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

Карьера

Он был научный сотрудник на Эдинбургский университет (1970–75) и был на Департамент вычислительной техники, Имперский колледж Лондона с 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].

Книги

  • Логика решения проблем, Северная Голландия, Эльзевир, 1979.
  • Вычислительная логика и человеческое мышление: как быть искусственным интеллектом, Издательство Кембриджского университета, 2011.

Смотрите также

использованная литература

  1. ^ http://www.doc.ic.ac.uk/~rak/history.html
  2. ^ Ковальский, Р., Кюнер, Д., «Линейное разрешение с функцией выбора», в «Искусственный интеллект», Vol. 2. 1971, с. 227–260. Перепечатано в Антология статей с автоматическим доказательством теорем, Vol. 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, Лос-Анджелес, 1986, стр. 68–73.
  5. ^ ван Эмден, М. и Ковальски, Р., "Семантика логики предикатов как язык программирования", в Журнал ACM, Vol. 23, № 4, 1976, стр. 733–742.
  6. ^ Ковальский, Р. и Сергот, М., «Логическое исчисление событий», в Вычислительная техника нового поколения, Vol. 4, № 1, февраль 1986 г., стр. 67–95. Также в Системы управления базой знаний(ред. К. Танос и Дж. У. Шмидт), Springer-Verlag, стр. 23–51. Также в «Язык времени: читатель» (ред. Индерджит Мани, Дж. Пустейовский и Р. Гайзаускас). Oxford University Press, 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. ^ Эшги К. и Ковальски Р. «Похищение посредством дедукции». Департамент вычислительной техники, Имперский колледж, 1988.
  12. ^ Какас, Т., Ковальски, К. и Тони, Ф., "Абдуктивное логическое программирование". Журнал логики и вычислений, 1992, т. 2 № 6, с. 719–770.
  13. ^ Бондаренко, А., Данг, П. М., Ковальски, Р., Тони, Ф. «Абстрактный теоретико-аргументационный подход к аргументации по умолчанию». Журнал искусственного интеллекта, 93 (1–2), 1997, стр. 63–101.
  14. ^ Данг, П. М., Ковальский, Р., Тони, Ф. "Процедуры диалектического доказательства для допустимых допустимых аргументов". Журнал искусственного интеллекта, 170 (2), февраль 2006 г., стр. 114–159.
  15. ^ Ковальский, Р.А., 1979. [1] Логика для решения проблем, Эльзевир, Северная Голландия.
  16. ^ Ковальский, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - как быть искусственным интеллектом, Cambridge University Press.
  17. ^ http://lps.doc.ic.ac.uk
  18. ^ [3]
  19. ^ [4]

внешние ссылки