Loading article…
パット・ヘイズ | |
|---|---|
| 生まれる | パトリック・ジョン・ヘイズ 1944年8月21日 ニューエント、グロスターシャー、イギリス |
| 市民権 | 英国 |
| 教育 | ベントレーグラマースクール |
| 母校 | ケンブリッジ大学（BA） エディンバラ大学（PhD） |
| 知られている | 素朴な物理学宣言[2] [3] |
| 受賞歴 | AAAIフェロー（1990） |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | フロリダ人間機械認知研究所 ケンブリッジ大学 エディンバラ大学 イリノイ 大学アーバナ・シャンペーン校 ロチェスター大学 エセックス大学 |
| 論文 | 意味論的木: 自動定理証明のための新しい基礎 (1973) |
| 博士課程の指導教員 | バーナード・メルツァー[1] |
| Webサイト | ihmc.us/グループ/phayes |
パトリック・ジョン・ヘイズ（1944年8月21日生まれ）は、アメリカ合衆国に住み、働くイギリスのコンピュータ科学者である。彼はフロリダ州ペンサコーラにある人間と機械の認知研究所（IHMC）の名誉上級研究科学者である。[4]
教育
ヘイズはカルンのベントレー・グラマー・スクールで教育を受けた。[要出典]ケンブリッジ数学トリポスを学び、1966年にケンブリッジ大学で数学の学士号を取得し、1973年にエディンバラ大学で「セマンティック・ツリー：自動定理証明のための新たな基盤」[5]という論文で人工知能の博士号を取得した。
キャリア
1973年にエディンバラを離れた後、ヘイズはエセックス大学コンピュータサイエンス学部（1973-80年）の学術職に就きました。1981年に米国に移住し、ロチェスター大学のコンピュータサイエンス、哲学、心理学部の認知科学ルース教授となり（1981-85年）、認知科学クラスターの議長を務めました。1985年にロチェスターを離れ、カリフォルニアに移り、シュルンベルジェ・パロアルト研究所（1985-87年）、ゼロックスPARC（1987-90年）、マイクロエレクトロニクスおよびコンピュータテクノロジーコーポレーション（1991-92年）に加わり、CYC-Westプロジェクトのディレクターを務めました。この間、スタンフォード大学CSLIの客員研究員、スタンフォード大学コンピュータサイエンス学部のコンサルティング教授（1985-94年）など、いくつかの並行した役職も務めました。 1992 年に、イリノイ大学アーバナ・シャンペーン校のコンピュータサイエンス学部と哲学部、およびベックマン研究所の研究教授に就任しました(1992-96)。1996 年には、IHMC の上級研究科学者 (1996-2009)、およびウェストフロリダ大学のジョン C. ペース特別研究員(1996-2001) に就任しました。2009 年には、IHMC の名誉上級研究科学者になりました。
研究
ヘイズ氏は50年以上にわたり人工知能分野で活躍し、多作で影響力のある人物である。 [6] [7] [8] [9] [10] [11]彼は挑発的であると同時に非常にユーモアのある人物としても知られている。[12]
ジョン・マッカーシーとの共著による彼の初期の出版物の一つは、AI分野における論理的知識表現の基礎を初めて徹底的に述べたもので、状況計算、時間に関する表現と推論、流暢性、そしてコンピューターで知識を表現するための論理の使用の概念を紹介した。[13] [14]
ヘイズの次の大きな貢献は、ナイーブ物理学宣言[2]に関する独創的な研究であり、これは多くの点でエキスパートシステムの動きを先取りし、AIの研究者に実際にコンピューターで知識を表現するよう呼びかけた。ヘイズはコンピューターサイエンスで「オントロジー」という言葉に初めて言及したわけではないが、実際にそれを実行した最初の一人であり、知識工学、常識的推論の論理的形式化、オントロジー[要出典]の研究者全体にインスピレーションを与えた。
1990年代半ば、AAAIの会長を務めていたヘイズは、AI批判者に対して皮肉たっぷりの一連の攻撃を開始し、同僚のケネス・フォードとともに、AIの可能性を「反証する」最も馬鹿げた議論に対してサイモン・ニューカムの名を冠した賞を創設した。 [15]ニューカム賞はAAAIが発行するAIマガジンで発表される。
世紀の変わり目にはセマンティックウェブコミュニティで活躍し、RDF-Coreとして知られるRDFの改訂版セマンティクスに大きく（おそらく単独で）貢献し、ウェブオントロジー言語セマンティクスの3人設計者（ピーター・パテル・シュナイダー、イアン・ホロックス[16]とともに）の1人となり、最近ではSPARQLにも貢献しました。また、哲学者のクリストファー・メンツェルとともにISO Common Logic標準の主要設計者でもあります。
ヘイズ氏は、 AISBの事務局長 (1968-79)、 IJCAIの会長および評議員(1980-84)、Artificial Intelligence Journalの副編集長 (1979-86)、認知科学協会の理事(1983-86)、AAAIの会長 (1991-93)を歴任しました。ヘイズ氏は、 AAAIおよび認知科学協会の チャーター フェローです。
彼のウェブサイトによると、彼の研究対象には「知識表現と自動推論、特に空間と時間の表現、セマンティックウェブ、オントロジー設計、AIとコンピュータサイエンスの哲学的基礎」が含まれます。「余暇には、アンティークの機械式時計を修復したり、古い家を改築したりしています。また、地元のコンテストや国際的なコレクションに作品を展示している現役のアーティストでもあります。」[17]また、「家庭の配管、大工仕事、電気工事の専門的能力」も持っています。[18]
参考文献
- ^ 数学系譜プロジェクトのパット・ヘイズ
- ^ ab 素朴な物理学の宣言、ミッチー、ドナルド(1979)。マイクロエレクトロニクス時代のエキスパートシステム。エディンバラ: エディンバラ大学出版局。ISBN 978-0-85224-381-7。
- ^ ヘイズ、パトリック (1995)。「第2の素朴な物理学の宣言」。計算と知能。pp. 567–585。ISBN 978-0262621014。
- ^ 「Pat Hayes」。IHMC | 人間と機械の認知研究所。 2024年10月9日閲覧。
- ^ Hayes, Patrick John (1973).セマンティックツリー: 自動定理証明の新しい基盤(博士論文). エディンバラ大学. hdl :1842/8115. EThOS uk.bl.ethos.586181.
- ^ DBLP書誌サーバーの Pat Hayes
- ^ Hayes, P.; Eskridge, TC; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). 「オントロジーにおける協調的知識キャプチャ」。知識キャプチャに関する第 3 回国際会議の議事録 - K-CAP '05。p. 99。doi : 10.1145 /1088622.1088641。ISBN 978-1595931634. S2CID 15663316。
- ^ Carroll, JJ; Bizer, C.; Hayes, P.; Stickler, P. (2005). 「名前付きグラフ、出所、信頼」。第 14 回国際ワールドワイドウェブ会議議事録 - WWW '05。p. 613。CiteSeerX 10.1.1.1.2197。doi : 10.1145 / 1060745.1060835。ISBN 978-1595930460. S2CID 207156699。
- ^ Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). 「コンポーネントのグラフィカルなアセンブリとしての知識エントリ」。知識キャプチャに関する国際会議の議事録 - K-CAP 2001。p. 22。CiteSeerX 10.1.1.24.9465。doi :10.1145 / 500737.500745。ISBN 978-1581133806. S2CID 663883。
- ^ Carroll, JJ; Bizer, C.; Hayes, P.; Stickler, P. ( 2005). 「名前付きグラフ」。Webセマンティクス: World Wide Web 上の科学、サービス、エージェント。3 (4): 247. doi :10.1016/j.websem.2005.09.001。
- ^ ジェンセン、CS;ダイレソン、CE;ベーレン、M.クリフォード、J.エルマスリ、R.サウスカロライナ州ガディア。グランディ、F.ヘイズ、P.ジャジョディア、S.ケーファー、W.クライン、N.ロレンツォス、N.ミツポロス、Y.モンタナリ、A.ノネン、D.ペレッシ、E.ペルニチ、B.ロディック、JF。ニュージャージー州サルダ。スカラス氏、MR。セゲブ、A. RT、スノッドグラス。スー医学博士。タンセル、A.ティベリオ、P. Wiederhold、G. (1998)。 「テンポラル データベース概念のコンセンサス用語集 — 1998 年 2 月版」。時間データベース: 研究と実践。コンピューターサイエンスの講義ノート。 Vol. 1399. p. 367. doi :10.1007/BFb0053710. ISBN 978-3-540-64519-1。
- ^ Hayes, PJ, Ford, KM and Agnew, N., 1994.赤ちゃんとお風呂の水について：警告の物語。AIマガジン、15(4)、pp.15-15。
- ^ シャナハン、マレー（1997）。フレーム問題の解決：慣性の常識法則の数学的調査。MITプレス。p.45。ISBN 978-0-262-19384-9. 2010年11月12日閲覧。
- ^ Hayes, Patrick J.; John McCarthy (1969). 「人工知能の観点から見たいくつかの哲学的問題」.機械知能. 4 : 463–502.
- ^ Hayes, PJ, & Ford, KM (1995). サイモン・ニューカム賞。AI Magazine、16(1)、11。https://doi.org/10.1609/aimag.v16i1.1120
- ^ Fikes, R.; Hayes, P.; Horrocks, I. (2004). 「OWL-QL - セマンティック ウェブ上での演繹的クエリ応答言語」Web セマンティクス: World Wide Web 上の科学、サービス、エージェント. 2 : 19–29. CiteSeerX 10.1.1.67.1967 . doi :10.1016/j.websem.2004.07.002.
- ^ https://www.flickr.com/photos/pathayes/
- ^ 「Pat Hayes」。IHMC | 人間と機械の認知研究所。 2024年10月9日閲覧。