Пат Хајес
Патрицк Јохн Хаyес ФАААИ (рођен 21. августа 1944) британски је информатичар који живи и ради у Сједињеним Државама. Од марта 2006, он је виши научни научник на Институту за људску и машинску когницију у Пенсаколи, Флорида.[3]
| Пат Хајес | |
|---|---|
| Име по рођењу | Патрицк Јохн Хаyес |
| Друга имена | Пат Хаyес |
| Датум рођења | 21. август 1944. |
| Место рођења | Њуент, Глостершир УК |
| Држављанство | УК |
| Универзитет | Универзитет у Кембриџу (БА) Универзитет у Единбургу (ПхД) |
| Занимање | информатичар |
| Деловање | Манифест наивне физике[1][2] |
| Радови | Семантичка стабла: нове основе за аутоматско доказивање теорема |
| Награде | АААИ Феллоw (1990) |
| Веб-сајт | ihmc |
Образовање
уредиХејес се школовао у Бентли гимназији у Калну. Студирао је на Кембриџ математичком трипосу и дипломирао математику на Универзитету у Кембриџу и докторирао вештачку интелигенцију на тему 'Семантичка стабла: Нове основе за аутоматско доказивање теорема'[4] на Универзитету у Единбургу.[5]
Каријера и истраживање
уредиХејес је био активна, плодна и утицајна фигура у вештачкој интелигенцији више од пет деценија.[3][6][7][8][9][10] Он има репутацију да је провокативан, али и прилично духовит.
Једна од његових најранијих публикација, са Џоном Макартијем, била је прва темељна изјава о основама за VI поље логичког представљања знања, уводећи појам ситуационог рачуна, представљања и резоновања о времену, течности и употребе логике за представљање знања у компјутеру.[11][12]
Хејесов следећи велики допринос био је суштински рад на Манифесту наивне физике,[1] који је антиципирао кретање експертских система на много начина и позвао истраживаче VI да заправо покушају да представе знање у рачунарима. Иако није први који је поменуо реч „онтологија“ у рачунарској науци (та заслуга припада Џону Макартију), Хејес је био један од првих који је то учинио и инспирисао је читаву генерацију истраживача у инжењерингу знања, логичким формализацијама здраворазумског размишљања, и онтологија.
Средином 1990-их, док је био председник АААИ, Хејес је започео серију напада на критичаре вештачке интелигенције, углавном формулисано у ироничном светлу, и (заједно са својим колегом Кенетом Фордом) измислио награду названу по Сајмону Њукомбу с циљим додељивања најсмешнијем аргументу који „побија“ могућност VI. Њукомбове награде су објављене у АИ Магазину који издаје АААИ.
На прелазу векова постао је активан у заједници семантичког веба, дајући значајан допринос (можда искључиво) ревидираној семантици РДФ-а познатој као РДФ-основа, један од три дизајнера (заједно са Петером Пател-Шнајдером и Ијаном Хороксом.[13]) семантике Језика веб онтологије, а недавно је допринео СПАРКЛ-у. Он је такође, заједно са филозофом Кристофером Мензелом, главни дизајнер ИСО стандарда Уобичајена логика.
Хејес је био секретар АИСБ-а, председник и повереник ИЈЦАИ, помоћник уредника Вештачке интелигенције, гувернер Друштва за когнитивне науке и председник Америчког удружења за вештачку интелигенцију. Хејес је члан АААИ-а и Друштва за когнитивне науке.
Према његовој веб страници, његова тренутна истраживачка интересовања обухватају „репрезентацију знања и аутоматско резоновање, посебно представљање простора и времена; семантичку мрежу; дизајн онтологије; и филозофске основе VI и рачунарске науке“.[14]
Референце
уреди- ^ а б Тхе наиве пхyсицс манифесто ин Мицхие, Доналд (1979). Еxперт сyстемс ин тхе мицро-елецтрониц аге. Единбургх: Единбургх Университy Пресс. ИСБН 978-0-85224-381-7.
- ^ Хаyес, Патрицк (1995). „Тхе сецонд наиве пхyсицс манифесто”. Цомпутатион & Интеллигенце. стр. 567—585. ИСБН 978-0262621014.
- ^ а б Пат Хајес ат ДБЛП Библиограпхy Сервер
- ^ Хаyес, Патрицк Ј. (1973). „Семантиц треес: Неw фоундатионс фор аутоматиц тхеорем-провинг” (на језику: енглески). Мелтзер, Бернард. хдл:1842/8115.
- ^ Хаyес, Патрицк Јохн (1975). Семантиц треес: неw фоундатионс фор аутоматиц тхеорем провинг (Теза). Университy оф Единбургх. хдл:1842/8115. ЕТхОС ук.бл.етхос.586181.
- ^ Хаyес, П.; Ескридге, Т. C.; Сааведра, Р.; Реицххерзер, Т.; Мехротра, M.; Бобровникофф, D. (2005). „Цоллаборативе кноwледге цаптуре ин онтологиес”. Процеедингс оф тхе 3рд интернатионал цонференце он Кноwледге цаптуре - К-ЦАП '05. стр. 99. ИСБН 978-1595931634. С2ЦИД 15663316. дои:10.1145/1088622.1088641.
- ^ Царролл, Ј. Ј.; Бизер, C.; Хаyес, П.; Стицклер, П. (2005). „Намед грапхс, провенанце анд труст”. Процеедингс оф тхе 14тх интернатионал цонференце он Wорлд Wиде Wеб - WWW '05. стр. 613. ЦитеСеерX 10.1.1.1.2197
. ИСБН 978-1595930460. С2ЦИД 207156699. дои:10.1145/1060745.1060835.
- ^ Цларк, П.; Хаyес, П.; Реицххерзер, Т.; Тхомпсон, Ј.; Баркер, К.; Портер, Б.; Цхаудхри, V.; Родригуез, А.; Тхомере, Ј.; Мисхра, С.; Гил, Y. (2001). „Кноwледге ентрy ас тхе грапхицал ассемблy оф цомпонентс”. Процеедингс оф тхе интернатионал цонференце он Кноwледге цаптуре - К-ЦАП 2001. стр. 22. ЦитеСеерX 10.1.1.24.9465 . ИСБН 978-1581133806. С2ЦИД 663883. дои:10.1145/500737.500745.
- ^ Царролл, Ј. Ј.; Бизер, C.; Хаyес, П.; Стицклер, П. (2005). „Намед грапхс”. Wеб Семантицс: Сциенце, Сервицес анд Агентс он тхе Wорлд Wиде Wеб. 3 (4): 247. дои:10.1016/ј.wебсем.2005.09.001.
- ^ Јенсен, C. С.; Дyресон, C. Е.; Бöхлен, M.; Цлиффорд, Ј.; Елмасри, Р.; Гадиа, С. К.; Гранди, Ф.; Хаyес, П.; Јајодиа, С.; Кäфер, W.; Клине, Н.; Лорентзос, Н.; Митсопоулос, Y.; Монтанари, А.; Нонен, D.; Пересси, Е.; Перници, Б.; Роддицк, Ј. Ф.; Сарда, Н. L.; Сцалас, M. Р.; Сегев, А.; Снодграсс, Р. Т.; Соо, M. D.; Тансел, А.; Тиберио, П.; Wиедерхолд, Г. (1998). „Тхе цонсенсус глоссарy оф темпорал датабасе цонцептс — Фебруарy 1998 версион”. Темпорал Датабасес: Ресеарцх анд Працтице. Лецтуре Нотес ин Цомпутер Сциенце. 1399. стр. 367. ИСБН 978-3-540-64519-1. дои:10.1007/БФб0053710.
- ^ Сханахан, Мурраy (1997). Солвинг тхе фраме проблем: а матхематицал инвестигатион оф тхе цоммон сенсе лаw оф инертиа. МИТ Пресс. стр. 45. ИСБН 978-0-262-19384-9. Приступљено 12. 11. 2010.
- ^ Хаyес, Патрицк Ј.; Јохн МцЦартхy (1969). „Соме пхилосопхицал проблемс фром тхе стандпоинт оф артифициал интеллигенце”. Мацхине Интеллигенце. 4: 463—502.
- ^ Фикес, Р.; Хаyес, П.; Хорроцкс, I. (2004). „ОWЛ-QЛ—а лангуаге фор дедуцтиве qуерy ансwеринг он тхе Семантиц Wеб”. Wеб Семантицс: Сциенце, Сервицес анд Агентс он тхе Wорлд Wиде Wеб. 2: 19—29. ЦитеСеерX 10.1.1.67.1967 . дои:10.1016/ј.wебсем.2004.07.002.
- ^ „Пат Хаyес”. ИХМЦ | Институте фор Хуман & Мацхине Цогнитион. Приступљено 2019-01-30.
