Из Википедии, бесплатной энциклопедии
  (Перенаправлено от Патрика Дж. Хейса )
Перейти к навигации Перейти к поиску
Чтобы узнать о других людях по имени Пэт Хейс, см. Пэт Хейз (значения) .

Пэт Хейс
Родившийся
Патрик Джон Хейс

( 1944-08-21 )21 августа 1944 г. (76 лет)
Ньюент , Глостершир, Великобритания
ГражданствоСоединенное Королевство
ОбразованиеBentley Grammar School, дневная
Альма-матерКембриджский университет (BA)
Эдинбургский университет (PhD)
ИзвестенМанифест наивной физики [1] [2]
НаградыСотрудник AAAI [ когда? ]
Научная карьера
ПоляИнформатика
УчрежденияФлоридский институт человеческого и машинного познания,
Кембриджский
университет, Эдинбургский
университет, Иллинойский университет, Университет Урбана-Шампейн,
Рочестерский
университет, Эссексский университет
ТезисСемантические деревья: новые основы автоматического доказательства теорем  (1975)
ДокторантБернард Мельцер [3]
ВлиянияДжон Маккарти
Веб-сайтihmc .us / группы / phayes

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

Образование [ править ]

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

Карьера и исследования [ править ]

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

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

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

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

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

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

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

Ссылки [ править ]

  1. ^ a b Манифест наивной физики в Michie, Donald (1979). Экспертные системы в эпоху микроэлектроники . Эдинбург: Издательство Эдинбургского университета. ISBN 978-0-85224-381-7.
  2. ^ Хейс, Патрик (1995). «Второй манифест наивной физики» . Вычисления и интеллект . С. 567–585. ISBN 978-0262621014.
  3. ↑ Пэт Хейс в проекте « Математическая генеалогия»
  4. ^ a b Пэт Хейс из Библиографического сервера DBLP
  5. ^ Хейс, Патрик Дж. (1973). «Семантические деревья: новые основы автоматического доказательства теорем». Мельцер, Бернард. hdl : 1842/8115 . Цитировать журнал требует |journal=( помощь )
  6. ^ Хейс, Патрик Джон (1975). Семантические деревья: новые основы автоматического доказательства теорем (кандидатская диссертация). Эдинбургский университет. hdl : 1842/8115 . EThOS uk.bl.ethos.586181 . 
  7. ^ Hayes, P .; Эскридж, ТС; Saavedra, R .; Reichherzer, T .; Mehrotra, M .; Бобровников, Д. (2005). «Совместное получение знаний в онтологиях». Материалы 3-й международной конференции по захвату знаний - K-CAP '05 . п. 99. DOI : 10,1145 / 1088622,1088641 . ISBN 978-1595931634. S2CID  15663316 .
  8. ^ Кэрролл, JJ; Bizer, C .; Hayes, P .; Стиклер, П. (2005). «Именованные графы, происхождение и доверие». Материалы 14-й международной конференции по всемирной паутине - WWW '05 . п. 613. CiteSeerX 10.1.1.1.2197 . DOI : 10.1145 / 1060745.1060835 . ISBN  978-1595930460. S2CID  207156699 .
  9. ^ Clark, P .; Hayes, P .; Reichherzer, T .; Томпсон, Дж .; Barker, K .; Портер, Б .; Chaudhri, V .; Родригес, А .; Thomere, J .; Mishra, S .; Гил, Ю. (2001). «Ввод знаний как графическая сборка компонентов». Материалы международной конференции по захвату знаний - K-CAP 2001 . п. 22. CiteSeerX 10.1.1.24.9465 . DOI : 10.1145 / 500737.500745 . ISBN  978-1581133806. S2CID  663883 .
  10. ^ Кэрролл, JJ; Bizer, C .; Hayes, P .; Стиклер, П. (2005). «Именованные графы». Веб-семантика: наука, услуги и агенты во всемирной паутине . 3 (4): 247. DOI : 10.1016 / j.websem.2005.09.001 .
  11. ^ Дженсен, CS; Дайресон, CE; Böhlen, M .; Клиффорд, Дж .; Elmasri, R .; Гадия, СК; Гранди, Ф .; Hayes, P .; Jajodia, S .; Käfer, W .; Kline, N .; Lorentzos, N .; Mitsopoulos, Y .; Montanari, A .; Nonen, D .; Peressi, E .; Pernici, B .; Роддик, Дж. Ф.; Сарда, Нидерланды; Scalas, MR; Сегев, А .; Снодграсс, RT; Су, доктор медицины; Tansel, A .; Tiberio, P .; Видерхольд, Г. (1998). «Консенсусный глоссарий концепций темпоральных баз данных - версия от февраля 1998 года». Темпоральные базы данных: исследования и практика . Конспект лекций по информатике. 1399 . п. 367. DOI : 10.1007 / BFb0053710 . ISBN 978-3-540-64519-1.
  12. ^ Шанахан, Мюррей (1997). Решение проблемы фрейма: математическое исследование здравого смысла закона инерции . MIT Press. п. 45. ISBN 978-0-262-19384-9. Проверено 12 ноября 2010 года .
  13. ^ Хейс, Патрик Дж .; Джон Маккарти (1969). «Некоторые философские проблемы с точки зрения искусственного интеллекта» . Машинный интеллект . 4 : 463–502.
  14. ^ Fikes, R .; Hayes, P .; Хоррокс, И. (2004). «OWL-QL - язык для дедуктивных ответов на запросы в семантической сети». Веб-семантика: наука, услуги и агенты во всемирной паутине . 2 : 19–29. CiteSeerX 10.1.1.67.1967 . DOI : 10.1016 / j.websem.2004.07.002 . 
  15. ^ "Пэт Хейс" . IHMC | Институт познания человека и машины . Проверено 30 января 2019 .