stringtranslate.com

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

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

Образование

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

Карьера

Он был научным сотрудником в Эдинбургском университете (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), который объединяет большую часть его предыдущих работ по вычислительной логике. Он продолжил свой интерес к развитию искусственного интеллекта . [18]

Почести и награды

Ковальский был избран членом Американской ассоциации искусственного интеллекта в 1991 году, Европейского координационного комитета по искусственному интеллекту в 1999 году и Ассоциации вычислительной техники в 2001 году . [1] В 2011 году он получил премию IJCAI за исследования. Превосходство «за вклад в логику для представления знаний и решения проблем, включая его новаторскую работу по автоматизированному доказательству теорем и логическому программированию». [19] В 2012 году он получил премию Японского общества содействия науке для выдающихся ученых за 2012–2014 годы. [20] В 2021 году он получил первую премию CodeX за свою работу с Фарибой Садри и Мареком Серго «в знак признания их работы по применению логического программирования для формализации и анализа Закона о британском гражданстве». Основополагающая статья авторов: «Закон о британском гражданстве как логическая программа», опубликованный в 1986 году в журнале Communications of the ACM , является одной из первых и самых известных работ в области вычислительного права и одной из наиболее широко цитируемых статей в этой области. [21]

Книги

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

Рекомендации

  1. ^ abcd «Интервью с Робертом (Бобом) Ковальски». Архивы ИТ . Проверено 3 августа 2023 г.
  2. ^ Ковальски Р. и Кюнер Д., «Линейное разрешение с функцией выбора», в журнале «Искусственный интеллект» , Vol. 2, 1971, стр. 227–260. Перепечатано в Антологии статей по автоматизированному доказательству теорем , Vol. 2, Springer-Verlag , 1983, стр. 542–577.
  3. ^ Ковальски, Р., «Процедура доказательства с использованием графов связей», в журнале ACM Vol. 22, № 4, 1975, стр. 572–595.
  4. ^ Ковальски, Р., «Логика предикатов как язык программирования», в материалах Конгресса ИФИП, Стокгольм, 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. ^ Серго М., Садри Ф., Ковальски Р., Кривачек Ф., Хаммонд П. и Кори Т., «Закон о британском гражданстве как логическая программа», в Communications of the ACM , Vol. . 29, № 5, 1986, стр. 370–386.
  8. ^ Ковальски, Р., «Законодательство как логические программы», в «Логическом программировании в действии» (ред. Г. Комин, Н. Э. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.
  9. ^ Ковальски, Р., «Использование металогики для согласования реактивных и рациональных агентов». В «Металогике и логическом программировании» (К. Апт и Ф. Турини, ред.), MIT Press , 1995.
  10. ^ Ковальски Р. и Садри Ф., «От логического программирования к многоагентным системам», Анналы математики и искусственного интеллекта , том 25 (1999), стр. 391–419.
  11. ^ Эшги К. и Ковальски Р., «Похищение посредством дедукции». Факультет вычислительной техники , Имперский колледж , 1988 год.
  12. ^ Какас Т., Ковальски К. и Тони Ф., «Программирование абдуктивной логики». Журнал логики и вычислений , 1992, Vol. 2 № 6, стр. 719–770.
  13. ^ Бондаренко А., Дунг П.М., Ковальски Р. и Тони Ф. «Абстрактный теоретико-аргументационный подход к рассуждениям по умолчанию». Журнал искусственного интеллекта , 93 (1–2), 1997, стр. 63–101.
  14. ^ Дунг, П.М., Ковальски, Р. и Тони, Ф. «Процедуры диалектического доказательства допустимой аргументации, основанной на предположениях». Журнал искусственного интеллекта , 170 (2), февраль 2006 г., стр. 114–159.
  15. ^ Ковальски, Р.А., 1979. [1] Логика для решения проблем, Elsevier, Северная Голландия.
  16. ^ Ковальски, Р.А., 2011. [2] Вычислительная логика и человеческое мышление - Как стать искусственным интеллектом, Издательство Кембриджского университета.
  17. ^ "LPS | Системы производства логики" . Великобритания: Имперский колледж Лондона .
  18. ^ «Может ли ИИ помочь людям стать более умными?» с Робертом Ковальски». Арт-ИИ . ВЕЛИКОБРИТАНИЯ. 20 июня 2023 г. Проверено 3 августа 2023 г.
  19. ^ «Рецензия на книгу: Вычислительная логика и человеческое мышление: как стать искусственным интеллектом - Ассоциация логического программирования» .
  20. ^ «Награды JSPS выдающимся ученым» . www.jsps.go.jp. _
  21. ^ «Новая премия CodeX присуждена пионерам вычислительного права во время 9-й ежегодной конференции CodeX FutureLaw» . Стэнфордская юридическая школа . 8 апреля 2021 г.

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