Пэт Хейс

Пэт Хейс
Пэт Хейс
Рожденный	Патрик Джон Хейс ; 21 августа 1944 г. (79 лет) ; Ньюент , Глостершир, Великобритания
Гражданство	Великобритания
Образование	Средняя школа Бентли
Альма-матер	Кембриджский университет (бакалавр) ; Эдинбургский университет (доктор философии)
Известный	Манифест наивной физики
Награды	Сотрудник AAAI (1990)
	Научная карьера
Поля	Информатика
Учреждения	Флоридский институт человеческого и машинного познания ; Кембриджский университет ; Эдинбургский университет ; Университет Иллинойса в Урбана-Шампейн ; Университет Рочестера ; Университет Эссекса
Диссертация	Семантические деревья: новые основы автоматического доказательства теорем (1975)
Докторантура	Бернард Мельцер
Веб-сайт	ihmc .нас /группы /файес

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

Ссылки

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

[mathgene-1] Пэт Хейс в проекте математической генеалогии

[naive-2] Jump up to: ^а ^б Манифест наивной физики в Мичи, Дональд (1979). Экспертные системы в эпоху микроэлектроники . Эдинбург: Издательство Эдинбургского университета. ISBN 978-0-85224-381-7 .

[naive2-3] Хейс, Патрик (1995). «Второй манифест наивной физики» . Вычисления и интеллект . стр. 567–585. ISBN 978-0262621014 .

[dblp-4] Jump up to: ^а ^б Пэт Хейс на DBLP библиографическом сервере

[5] Хейс, Патрик Дж. (1973). «Семантические деревья: новые основы автоматического доказательства теорем». Мельцер, Бернард. hdl : 1842/8115 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[hayesphd-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 .

[Shanahan1997-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 г.

[2]

[3]

[1]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Израиль Соединенные Штаты Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH
Другой	ИдРеф