stringtranslate.com

Пэт Хейс

Патрик Джон Хейс FAAAI (родился 21 августа 1944 г.) — британский ученый-компьютерщик , который живет и работает в Соединенных Штатах. По состоянию на март 2006 года он является старшим научным сотрудником Института человеческого и машинного познания в Пенсаколе , Флорида. [4]

Образование

Хейс получил образование в гимназии Бентли в Кальне . [ нужна цитата ] Он изучал Кембриджский математический курс и получил степень бакалавра гуманитарных наук по математике в Кембриджском университете [ когда? ] и докторскую степень в области искусственного интеллекта по теме «Семантические деревья: новые основы автоматического доказательства теорем» [5] в Эдинбургском университете . [6]

Карьера и исследования

Хейс был активной, плодовитой и влиятельной фигурой в области искусственного интеллекта на протяжении более пяти десятилетий. [4] [7] [8] [9] [10] [11] Он имеет репутацию провокационного, но при этом довольно юмористического человека. [ нужна цитата ]

Одна из его самых ранних публикаций, совместно с Джоном Маккарти , была первым тщательным изложением основы для области представления логических знаний в области искусственного интеллекта, введя понятие ситуационного исчисления , представления и рассуждений о времени, беглости и использовании логики для представления знаний. в компьютере. [12] [13]

Следующим крупным вкладом Хейса стала плодотворная работа над «Манифестом наивной физики» [2] , который во многом предвосхитил движение экспертных систем и призвал исследователей в области искусственного интеллекта действительно попытаться представить знания на компьютерах . Хотя Хейс не был первым, кто упомянул слово « онтология » в информатике (это различие принадлежит Джону Маккарти ) , он был одним из первых, кто действительно это сделал, и вдохновил целое поколение исследователей в области инженерии знаний , логики . формализации здравого смысла и онтологии .​

В середине 1990-х годов, будучи президентом AAAI , Хейс начал серию нападок на критиков ИИ, в основном выражавшихся в ироническом свете, и (вместе со своим коллегой Кеннетом Фордом) изобрел премию имени Саймона Ньюкомба, чтобы быть приведено за самый нелепый аргумент, «опровергающий» возможность ИИ. Награды Newcomb объявляются в журнале AI Magazine, издаваемом AAAI .

На рубеже веков он стал активным участником сообщества семантической сети , внося существенный (возможно, единственный) вклад в пересмотренную семантику RDF , известную как RDF-Core, один из трех разработчиков (вместе с Питером Пателем-Шнайдером и Яном Хорроксом [14]). ] ) семантики языка веб-онтологии и совсем недавно внес свой вклад в SPARQL . Вместе с философом Кристофером Мензелем он также является основным разработчиком стандарта ISO Common Logic .

Хейс занимал пост секретаря AISB, [ когда? ] председатель и попечитель IJCAI , заместитель редактора журнала Искусственный интеллект , управляющий Общества когнитивных наук и президент Американской ассоциации искусственного интеллекта . Хейс является членом AAAI и Общества когнитивных наук.

Согласно его веб-сайту, его текущие исследовательские интересы включают « представление знаний и автоматическое рассуждение , особенно представление пространства и времени; семантическая сеть ; проектирование онтологий ; а также философские основы искусственного интеллекта и информатики ». [15]

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

  1. ^ Пэт Хейс в проекте «Математическая генеалогия»
  2. ^ ab Манифест наивной физики в Мичи, Дональд (1979). Экспертные системы в эпоху микроэлектроники . Эдинбург: Издательство Эдинбургского университета. ISBN 978-0-85224-381-7.
  3. ^ Хейс, Патрик (1995). «Второй манифест наивной физики». Вычисления и интеллект . стр. 567–585. ISBN 978-0262621014.
  4. ^ ab Пэт Хейс на библиографическом сервере DBLP
  5. ^ Хейс, Патрик Дж. (1973). «Семантические деревья: новые основы автоматического доказательства теорем». Мельцер, Бернард. hdl : 1842/8115. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
  6. ^ Хейс, Патрик Джон (1975). Семантические деревья: новые основы автоматического доказательства теорем (кандидатская диссертация). Эдинбургский университет. hdl : 1842/8115. EThOS  uk.bl.ethos.586181. Значок бесплатного доступа
  7. ^ Хейс, П.; Эскридж, Техас; Сааведра, Р.; Райхгерцер, Т.; Мехротра, М.; Бобровников, Д. (2005). «Совместный сбор знаний в онтологиях». Материалы 3-й международной конференции по сбору знаний - K-CAP '05 . п. 99. дои : 10.1145/1088622.1088641. ISBN 978-1595931634. S2CID  15663316.
  8. ^ Кэрролл, Джей-Джей; Бизер, К.; Хейс, П.; Стиклер, П. (2005). «Именованные графы, происхождение и доверие». Материалы 14-й международной конференции по Всемирной паутине-WWW'05 . п. 613. CiteSeerX 10.1.1.1.2197 . дои : 10.1145/1060745.1060835. ISBN  978-1595930460. S2CID  207156699.
  9. ^ Кларк, П.; Хейс, П.; Райхгерцер, Т.; Томпсон, Дж.; Баркер, К.; Портер, Б.; Чаудри, В.; Родригес, А.; Томер, Дж.; Мишра, С.; Гил, Ю. (2001). «Ввод знаний как графическая сборка компонентов». Материалы международной конференции по сбору знаний - K-CAP 2001 . п. 22. CiteSeerX 10.1.1.24.9465 . дои : 10.1145/500737.500745. ISBN  978-1581133806. S2CID  663883.
  10. ^ Кэрролл, Джей-Джей; Бизер, К.; Хейс, П.; Стиклер, П. (2005). «Именованные графы». Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 3 (4): 247. doi :10.1016/j.websem.2005.09.001.
  11. ^ Дженсен, CS; Дайресон, CE; Бёлен, М.; Клиффорд, Дж.; Эльмасри, Р.; Гадия, СК; Гранди, Ф.; Хейс, П.; Яджодиа, С.; Кафер, В.; Кляйн, Н.; Лоренцос, Н.; Мицопулос, Ю.; Монтанари, А.; Нонен, Д.; Пересси, Э.; Перничи, Б.; Роддик, Дж. Ф.; Сарда, Нидерланды; Скалас, MR; Сегев, А.; Снодграсс, RT; Су, доктор медицины; Тансель, А.; Тиберио, П.; Видерхольд, Г. (1998). «Консенсусный глоссарий концепций темпоральных баз данных — версия от февраля 1998 г.». Временные базы данных: исследования и практика . Конспекты лекций по информатике. Том. 1399. с. 367. дои : 10.1007/BFb0053710. ISBN 978-3-540-64519-1.
  12. ^ Шанахан, Мюррей (1997). Решение проблемы рамы: математическое исследование здравого закона инерции. МТИ Пресс. п. 45. ИСБН 978-0-262-19384-9. Проверено 12 ноября 2010 г.
  13. ^ Хейс, Патрик Дж.; Джон Маккарти (1969). «Некоторые философские проблемы с точки зрения искусственного интеллекта». Машинный интеллект . 4 : 463–502.
  14. ^ Файкс, Р.; Хейс, П.; Хоррокс, И. (2004). «OWL-QL — язык дедуктивного ответа на запросы в семантической сети». Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 2 : 19–29. CiteSeerX 10.1.1.67.1967 . дои : 10.1016/j.websem.2004.07.002. 
  15. ^ "Пэт Хейс". ИХМК | Институт человеческого и машинного познания . Проверено 30 января 2019 г.