Кіріспе
Жасанды интеллект саласындағы компьютер ғылымының зерттеушісі Патрик Джон Хейс (англ. Patrick John Hayes FAAAI; 1944 жылғы 21 тамызда туған) – АҚШ-та тұратын және жұмыс істейтін британдық компьютер ғалымы. 2006 жылғы наурыз айынан бастап ол Флорида штатының Пенсакола қаласындағы Адам және машина тану институтында аға ғылыми қызметкер болып жұмыс істейді.
Patrick John Hayes FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States. As of March 2006, he is a senior research scientist at the Institute for Human and Machine Cognition in Pensacola, Florida.
Білім
Хейз Калн қаласындағы Бентли грамматикалық мектебінде білім алған. Ол Кембридж математикалық трипосын оқып, Кембридж университетінен математика бакалавры дәрежесін, ал Эдинбург университетінен «Семмикалық ағаштар: автоматты теореманы дәлелдеудің жаңа негіздері» тақырыбында жасанды интеллект ғылымдарының докторы (PhD) ғылыми дәрежесін алды.
Мансап және зерттеу
Хейз жасанды интеллект саласында бес он жылдан астам уақыт бойы белсенді, жемісті және ықпалды тұлға болды. Ол өткір пікір білдіруге бейім, бірақ сонымен бірге әзілкеш адам ретінде танымал. Оның ең алғашқы жарияланымдарының бірі, Джон Маккартипен бірлесе жасалған, логикалық білімді бейнелеу саласының негіздерін толыққанды тұжырымдаған жұмыс болды, ол жағдайды есептеу, уақытты бейнелеу және оның үстінде ойлау, өзгермелі жағдайлар және компьютерде білімді бейнелеу үшін логиканы қолдану тұжырымдамаларын енгізді. Хейздің келесі маңызды үлесі – Web Ontology Language семантикасы бойыншағы «Naive Physics Manifesto» еңбегі, сондай-ақ ол жақында SPARQL құрамына да үлес қосты. Ол философ Кристофер Мензельмен бірге ISO Common Logic стандартының негізгі әзірлеушісі болып табылады. Хейз AISB хатшысы, IJCAI төрағасы және мүшесі, «Жасанды интеллект» журналының редакторы, Когнитивтік ғылым қоғамының мүшесі және Американдық жасанды интеллект қауымдастығының президенті қызметтерін атқарды. Хейз AAAI және Когнитивтік ғылым қоғамының құрметті мүшесі. Оның веб-сайтында көрсетілгендей, қазіргі зерттеу қызығушылықтары: «білімді бейнелеу және автоматты қорыту, әсіресе кеңістік пен уақытты бейнелеу; семантикалық желі; онтология дизайны; және жасанды интеллект пен компьютерлік ғылымның философиялық негіздері».
According to his website, his current research interests include "knowledge representation and automatic reasoning, especially the representation of space and time; the semantic web; ontology design; and the philosophical foundations of AI and computer science".