Пат Хајес

С Википедије, слободне енциклопедије

Пат Хајес
Име по рођењуПатрицк Јохн Хаyес
Друга именаПат Хаyес
Датум рођења(1944-08-21)21. август 1944.
Место рођењаЊуент, Глостершир
 УК
ДржављанствоУК
УниверзитетУниверзитет у Кембриџу (БА)
Универзитет у Единбургу (ПхД)
Занимањеинформатичар
ДеловањеМанифест наивне физике[1][2]
РадовиСемантичка стабла: нове основе за аутоматско доказивање теорема
НаградеАААИ Феллоw (1990)
Веб-сајтihmc.us/groups/phayes

Патрицк Јохн Хаyес ФАААИ (рођен 21. августа 1944) британски је информатичар који живи и ради у Сједињеним Државама. Од марта 2006, он је виши научни научник на Институту за људску и машинску когницију у Пенсаколи, Флорида.[3]

Образовање[уреди | уреди извор]

Хејес се школовао у Бентли гимназији у Калну. Студирао је на [[Цамбридге Матхематицал Трипос]|Кембриџ математичком трипосу]] и дипломирао математику на Универзитету у Кембриџу и докторирао вештачку интелигенцију на тему 'Семантичка стабла: Нове основе за аутоматско доказивање теорема'[4] на Универзитету у Единбургу.[5]

Каријера и истраживање[уреди | уреди извор]

Хејес је био активна, плодна и утицајна фигура у вештачкој интелигенцији више од пет деценија.[3][6][7][8][9][10] Он има репутацију да је провокативан, али и прилично духовит.

Једна од његових најранијих публикација, са Џоном Макартијем, била је прва темељна изјава о основама за VI поље логичког представљања знања, уводећи појам ситуационог рачуна, представљања и резоновања о времену, течности и употребе логике за представљање знања у компјутеру.[11][12]

Хејесов следећи велики допринос био је суштински рад на Манифесту наивне физике,[1] који је антиципирао кретање експертских система на много начина и позвао истраживаче VI да заправо покушају да представе знање у рачунарима. Иако није први који је поменуо реч „онтологија“ у рачунарској науци (та заслуга припада Џону Макартију), Хејес је био један од првих који је то учинио и инспирисао је читаву генерацију истраживача у инжењерингу знања, логичким формализацијама здраворазумског размишљања, и онтологија.

Средином 1990-их, док је био председник АААИ, Хејес је започео серију напада на критичаре вештачке интелигенције, углавном формулисано у ироничном светлу, и (заједно са својим колегом Кенетом Фордом) измислио награду названу по Сајмону Њукомбу с циљим додељивања најсмешнијем аргументу који „побија“ могућност VI. Њукомбове награде су објављене у АИ Магазину који издаје АААИ.

На прелазу векова постао је активан у заједници семантичког веба, дајући значајан допринос (можда искључиво) ревидираној семантици РДФ-а познатој као РДФ-основа, један од три дизајнера (заједно са Петером Пател-Шнајдером и Ијаном Хороксом.[13]) семантике Језика веб онтологије, а недавно је допринео СПАРКЛ-у. Он је такође, заједно са филозофом Кристофером Мензелом, главни дизајнер ИСО стандарда Уобичајена логика.

Хејес је био секретар АИСБ-а, председник и повереник ИЈЦАИ, помоћник уредника Вештачке интелигенције, гувернер Друштва за когнитивне науке и председник Америчког удружења за вештачку интелигенцију. Хејес је члан АААИ-а и Друштва за когнитивне науке.

Према његовој веб страници, његова тренутна истраживачка интересовања обухватају „репрезентацију знања и аутоматско резоновање, посебно представљање простора и времена; семантичку мрежу; дизајн онтологије; и филозофске основе VI и рачунарске науке“.[14]

Референце[уреди | уреди извор]

  1. ^ а б Тхе наиве пхyсицс манифесто ин Мицхие, Доналд (1979). Еxперт сyстемс ин тхе мицро-елецтрониц аге. Единбургх: Единбургх Университy Пресс. ИСБН 978-0-85224-381-7. 
  2. ^ Хаyес, Патрицк (1995). „Тхе сецонд наиве пхyсицс манифесто”. Цомпутатион & Интеллигенце. стр. 567—585. ИСБН 978-0262621014. 
  3. ^ а б Пат Хајес ат ДБЛП Библиограпхy Сервер Уреди на Википодацима
  4. ^ Хаyес, Патрицк Ј. (1973). „Семантиц треес: Неw фоундатионс фор аутоматиц тхеорем-провинг” (на језику: енглески). Мелтзер, Бернард. хдл:1842/8115. 
  5. ^ Хаyес, Патрицк Јохн (1975). Семантиц треес: неw фоундатионс фор аутоматиц тхеорем провинг (Теза). Университy оф Единбургх. хдл:1842/8115. ЕТхОС ук.бл.етхос.586181. 
  6. ^ Хаyес, П.; Ескридге, Т. C.; Сааведра, Р.; Реицххерзер, Т.; Мехротра, M.; Бобровникофф, D. (2005). „Цоллаборативе кноwледге цаптуре ин онтологиес”. Процеедингс оф тхе 3рд интернатионал цонференце он Кноwледге цаптуре - К-ЦАП '05. стр. 99. ИСБН 978-1595931634. С2ЦИД 15663316. дои:10.1145/1088622.1088641. 
  7. ^ Царролл, Ј. Ј.; Бизер, C.; Хаyес, П.; Стицклер, П. (2005). „Намед грапхс, провенанце анд труст”. Процеедингс оф тхе 14тх интернатионал цонференце он Wорлд Wиде Wеб - WWW '05. стр. 613. ЦитеСеерX 10.1.1.1.2197 Слободан приступ. ИСБН 978-1595930460. С2ЦИД 207156699. дои:10.1145/1060745.1060835. 
  8. ^ Цларк, П.; Хаyес, П.; Реицххерзер, Т.; Тхомпсон, Ј.; Баркер, К.; Портер, Б.; Цхаудхри, V.; Родригуез, А.; Тхомере, Ј.; Мисхра, С.; Гил, Y. (2001). „Кноwледге ентрy ас тхе грапхицал ассемблy оф цомпонентс”. Процеедингс оф тхе интернатионал цонференце он Кноwледге цаптуре - К-ЦАП 2001. стр. 22. ЦитеСеерX 10.1.1.24.9465 Слободан приступ. ИСБН 978-1581133806. С2ЦИД 663883. дои:10.1145/500737.500745. 
  9. ^ Царролл, Ј. Ј.; Бизер, C.; Хаyес, П.; Стицклер, П. (2005). „Намед грапхс”. Wеб Семантицс: Сциенце, Сервицес анд Агентс он тхе Wорлд Wиде Wеб. 3 (4): 247. дои:10.1016/ј.wебсем.2005.09.001. 
  10. ^ Јенсен, 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. 
  11. ^ Сханахан, Мурраy (1997). Солвинг тхе фраме проблем: а матхематицал инвестигатион оф тхе цоммон сенсе лаw оф инертиа. МИТ Пресс. стр. 45. ИСБН 978-0-262-19384-9. Приступљено 12. 11. 2010. 
  12. ^ Хаyес, Патрицк Ј.; Јохн МцЦартхy (1969). „Соме пхилосопхицал проблемс фром тхе стандпоинт оф артифициал интеллигенце”. Мацхине Интеллигенце. 4: 463—502. 
  13. ^ Фикес, Р.; Ха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. 
  14. ^ „Пат Хаyес”. ИХМЦ | Институте фор Хуман & Мацхине Цогнитион. Приступљено 2019-01-30. 
Преузето из „https://sr.wikipedia.org/w/index.php?title=Pat_Hajes&oldid=27502018”