Введение

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

Образование

Хейз получил образование в школе Бентли Граммар, Калн. Он изучал кембриджский математический трипос и получил степень бакалавра искусств по математике в Кембриджском университете и степень доктора философии в области искусственного интеллекта на тему «Семантические деревья: новые основания для автоматического доказательства теорем» в Эдинбургском университете.

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

Хейс на протяжении более пяти десятилетий является активным, плодовитым и влиятельным деятелем в области искусственного интеллекта. Он известен своей провокационностью, но также и чувством юмора. Одной из его первых работ, созданной в соавторстве с Джоном Маккарти, стало первое всестороннее изложение основ области ИИ, посвященной логическому представлению знаний, в котором были введены понятия ситуационного исчисления, представления и рассуждения о времени, флюентах и использования логики для представления знаний в компьютере. Следующим важным вкладом Хейса стала основополагающая работа по манифесту наивной физики, семантике языка веб-онтологий, а в последнее время – вклад в разработку SPARQL. Вместе с философом Кристофером Мензелем он также является основным разработчиком стандарта ISO Common Logic. Хейс занимал должности секретаря AISB, председателя и члена совета IJCAI, помощника редактора журнала Artificial Intelligence, губернатора Общества когнитивных наук и президента Американской ассоциации искусственного интеллекта. Хейс является действительным членом-основателем AAAI и Общества когнитивных наук. Согласно его веб-сайту, его текущие исследовательские интересы включают "представление знаний и автоматическое рассуждение, особенно представление пространства и времени; семантическую сеть; проектирование онтологий; и философские основы ИИ и компьютерных наук".