stringtranslate.com

Пэт Хейс

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

Образование

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

Карьера

Покинув Эдинбург в 1973 году, Хейз занимал академическую должность на кафедре компьютерных наук в Университете Эссекса (1973-80). Он иммигрировал в США в 1981 году, чтобы стать профессором когнитивных наук имени Люса на кафедрах компьютерных наук, философии и психологии в Университете Рочестера (1981-85), где он был председателем кластера когнитивных наук. В 1985 году он покинул Рочестер и переехал в Калифорнию, чтобы присоединиться к исследовательскому центру Schlumberger Palo Alto (1985-87), Xerox-PARC (1987-90) и Microelectronics and Computer Technology Corporation (1991-92), где он был директором проекта CYC-West. В этот период он также занимал ряд параллельных должностей в качестве приглашенного ученого CSLI , Стэнфордского университета и профессора-консультанта кафедры компьютерных наук, Стэнфорд (1985-94). В 1992 году он стал профессором-исследователем на кафедрах компьютерных наук и философии, а также в Институте Бекмана, Университете Иллинойса в Урбане-Шампейне (1992-96). В 1996 году он стал старшим научным сотрудником в IHMC (1996-2009) и почетным ученым имени Джона К. Пейса в Университете Западной Флориды (1996-2001). В 2009 году он стал старшим научным сотрудником в IHMC.

Исследовать

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

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

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

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

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

Хейс был секретарем AISB (1968-79), председателем и попечителем IJCAI (1980-84), заместителем редактора Artificial Intelligence Journal (1979-86), губернатором Cognitive Science Society (1983-86) и президентом AAAI (1991-93). Хейс является членом-учредителем AAAI и Cognitive Science Society.

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

Ссылки

  1. ^ Пэт Хейс в проекте «Генеалогия математики»
  2. ^ ab Манифест наивной физики в Мичи, Дональд (1979). Экспертные системы в микроэлектронную эпоху . Эдинбург: Издательство Эдинбургского университета. ISBN 978-0-85224-381-7.
  3. ^ Хейс, Патрик (1995). «Второй манифест наивной физики». Computation & Intelligence . стр. 567–585. ISBN 978-0262621014.
  4. ^ "Пэт Хейс". IHMC | Институт человеческого и машинного познания . Получено 9 октября 2024 г.
  5. ^ Хейс, Патрик Джон (1973). Семантические деревья: новые основы автоматического доказательства теорем (диссертация). Эдинбургский университет. hdl :1842/8115. EThOS  uk.bl.ethos.586181. Значок свободного доступа
  6. ^ Пэт Хейс на сервере библиографии DBLP
  7. ^ Hayes, P.; Eskridge, TC; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). "Совместный сбор знаний в онтологиях". Труды 3-й международной конференции по сбору знаний - K-CAP '05 . стр. 99. doi :10.1145/1088622.1088641. ISBN 978-1595931634. S2CID  15663316.
  8. ^ Кэрролл, Дж. Дж.; Бизер, К.; Хейс, П.; Стиклер, П. (2005). "Именованные графы, происхождение и доверие". Труды 14-й международной конференции по Всемирной паутине - WWW '05 . стр. 613. CiteSeerX 10.1.1.1.2197 . doi :10.1145/1060745.1060835. ISBN  978-1595930460. S2CID  207156699.
  9. ^ Кларк, П.; Хейс, П.; Райхерцер, Т.; Томпсон, Дж.; Баркер, К.; Портер, Б.; Чаудхри, В.; Родригес, А.; Томер, Дж.; Мишра, С.; Джил, И. (2001). "Ввод знаний как графическая сборка компонентов". Труды международной конференции по сбору знаний - K-CAP 2001. стр. 22. CiteSeerX 10.1.1.24.9465 . doi :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. doi :10.1007/BFb0053710. ISBN 978-3-540-64519-1.
  12. ^ Хейс, П. Дж., Форд, К. М. и Агню, Н., 1994. О младенцах и воде в ванне: предостерегающая история. Журнал AI, 15(4), стр. 15-15.
  13. ^ Шанахан, Мюррей (1997). Решение проблемы рамы: математическое исследование здравого смысла закона инерции. MIT Press. стр. 45. ISBN 978-0-262-19384-9. Получено 12 ноября 2010 г.
  14. ^ Хейс, Патрик Дж.; Джон Маккарти (1969). «Некоторые философские проблемы с точки зрения искусственного интеллекта». Machine Intelligence . 4 : 463–502.
  15. ^ Хейс, П. Дж. и Форд, К. М. (1995). Премия Саймона Ньюкомба. Журнал AI, 16(1), 11. https://doi.org/10.1609/aimag.v16i1.1120
  16. ^ Файкс, Р.; Хейс, П.; Хоррокс, И. (2004). «OWL-QL — язык для дедуктивных ответов на запросы в семантической паутине». Семантика веб-сайта: наука, сервисы и агенты в мировой паутине . 2 : 19–29. CiteSeerX 10.1.1.67.1967 . doi :10.1016/j.websem.2004.07.002. 
  17. ^ https://www.flickr.com/photos/pathayes/
  18. ^ "Пэт Хейс". IHMC | Институт человеческого и машинного познания . Получено 9 октября 2024 г.