ジャック・ピトラ

ジャック・ピトラ（1934年2月生まれ、2019年10月死去）は、フランスのシンボリック人工知能の先駆者の1人でした。彼は知識ベースシステム、エキスパートシステム、定理証明器を開発し、メタ知識ベースシステムの強力な支持者でした。

エコール・ポリテクニークを卒業し、軍団に所属し、 1959年から1967年までフランス国防高等研究計画局（DARPA ）に勤務してキャリアをスタート。1966年にメタ定理を使った定理証明ソフトウェアに関する博士号を取得。

彼は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、Mars 2009。ISBN 978-1848211018 

• ジャック・ピトラに関するフランス語ウィキペディアのページ
• LIP6 ページ
• 人工知能のブートストラップブログ
• ジャック・ピトラ氏を記念したセミナー（2020年3月、フランス語）
• ジャック・ピトラに関するフランス語ウィキページ（より詳細）
• Pitrat (RefPerSys) に触発されたソフトウェア AI システム
• ジャック・ピトラが作成した最後のソフトウェアであるCAIAの自己生成ソースコード