ジャック・ピトラ
ジャック・ピトラ（1934年2月生まれ、2019年10月没）は、フランスのシンボリック人工知能の先駆者の一人です。彼は知識ベースシステム、エキスパートシステム、定理証明器を開発し、メタ知識ベースシステムの強力な提唱者でした。
エコール・ポリテクニークを卒業し、軍団に所属し、 1959年から1967年までフランス国防高等研究計画局（ DARPA ）の中央軍需研究所でキャリアをスタートした。 1966年にメタ定理を使った定理証明ソフトウェアに関する学位論文（ Doctorat d'État）を擁護した。
彼は1967年から退職までCNRSに勤務し、2015年末に名誉研究ディレクターとしてキャリアを終えた。彼は1967年から1998年までパリのピエール・エ・マリー・キュリー大学で人工知能を教えた。彼は1994年にAAAIフェローに選出された。[ 1 ]
出版された書籍
- ヒューリスティックな方法論の実用的なプログラムのデモンストレーション。論文、1966 年。
- テオレムのデモンストレーションプログラム。 AFCET の情報に関するモノグラフィー。デュノッド。 1970年。
- テキスト、構成、および理解。エロールズ。 1985. 英語に翻訳:自然言語を理解するための人工的なアプローチ。 North Oxford Academic (Grande-Bretagne) および GP Publishing (USA) 1988。
- メタコネッサンス、未来の知能技術。エルメス。 1990年。
- ペンサー・オートレメント・インフォマティック。エルメス。 1993年。
- 知性を備えた機械。エルメス。 1995年。
- 人工存在 - 意識を持つ機械の良心ISTE、Wiley、2009年3月。ISBN 978-1848211018
参考文献
- ^ “AAAI フェローの選出” .ああああ。2024 年 1 月 4 日に取得。
ウェブリソース
- ジャック・ピトラに関するフランス語版ウィキペディアのページ
- LIP6ページ
- 人工知能のブートストラップブログ
- ジャック・ピトラ氏を記念したセミナー（2020年3月、フランス語）
- ジャック・ピトラに関するフランス語のウィキページ（より詳しい）
- Pitrat に触発されたオープンソース ソフトウェアAI システム( RefPerSys - REFlexive PERsistent SYStem)
- ジャック・ピトラが作成した最後のソフトウェアであるCAIAの自己生成ソースコード
