stringtranslate.com

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

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

Образование

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

Карьера

Он был научным сотрудником Эдинбургского университета ( 1970–75) и с 1975 года работает на кафедре вычислительной техники Имперского колледжа Лондона , в 1982 году получил кафедру вычислительной логики и в 1999 году стал почетным профессором. [1]

Он начал свои исследования в области автоматизированного доказательства теорем , разработав как 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 "Интервью с Робертом (Бобом) Ковальски". Архивы IT . Получено 3 августа 2023 г. .
  2. ^ Ковальски, Р. и Кюнер, Д., «Линейное разрешение с функцией выбора», в Искусственный интеллект , т. 2, 1971, стр. 227–260. Перепечатано в Anthology of Automated Theorem-Proving Papers , т. 2, Springer-Verlag , 1983, стр. 542–577.
  3. ^ Ковальски, Р., «Процедура доказательства с использованием графов связей», в журнале ACM, т. 22, № 4, 1975, стр. 572–595.
  4. ^ Ковальски, Р., «Предикатная логика как язык программирования», в Трудах Конгресса IFIP, Стокгольм, North-Holland Publishing Co. , 1974, стр. 569–574. Перепечатано в Computers for Artificial Intelligence Applications, (ред. Wah, B. и Li, G.-J.), IEEE Computer Society Press , Лос-Анджелес, 1986, стр. 68–73.
  5. ^ Ван Эмден, М. и Ковальски, Р., «Семантика логики предикатов как языка программирования», в Journal of the ACM , т. 23, № 4, 1976, стр. 733–742.
  6. ^ Kowalski, R. и Sergot, M., "A Logic-based Calculus of Events", в New Generation Computing , Vol. 4, No. 1, February 1986, pp. 67–95. Также в Knowledge Base Management-Systems , (ред. C. Thanos и JW Schmidt), Springer-Verlag, pp. 23–51. Также в The Language of Time: A Reader (ред. Inderjeet Mani, J. Pustejovsky и R. Gaizauskas). Oxford University Press , 2005.
  7. ↑ Серго, М., Садри, Ф., Ковальски, Р., Кривачек, Ф., Хаммонд, П. и Кори, Т., «Закон о британском гражданстве как логическая программа», в Communications of the ACM , т. 29, № 5, 1986, стр. 370–386.
  8. ^ Ковальски, Р., «Законодательство как логические программы», в книге «Логическое программирование в действии» (ред. Г. Комин, Н. Э. Фукс, М. Дж. Рэтклифф), Springer-Verlag, 1992, стр. 203–230.
  9. ^ Ковальски, Р., «Использование металогики для согласования реактивных и рациональных агентов». В книге «Металогика и логическое программирование » (редакторы К. Апт и Ф. Турини), 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] Логика для решения проблем, Elsevier, Северная Голландия.
  16. ^ Ковальски, РА, 2011. [2] Вычислительная логика и человеческое мышление — как стать искусственным интеллектом, Cambridge University Press.
  17. ^ "LPS | Logic Production Systems". Великобритания: Имперский колледж Лондона .
  18. ^ «'Может ли ИИ помочь людям стать умнее?' с Робертом Ковальски». Art-AI . Великобритания. 20 июня 2023 г. Получено 3 августа 2023 г.
  19. ^ «Рецензия на книгу: Вычислительная логика и человеческое мышление: как стать искусственным интеллектом – Ассоциация логического программирования».
  20. ^ "Награды JSPS для выдающихся ученых". www.jsps.go.jp .
  21. ^ «Новая премия CodeX вручена пионерам вычислительного права на 9-й ежегодной конференции CodeX FutureLaw». Юридическая школа Стэнфорда . 8 апреля 2021 г.

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