目次
１ 序論
２ 状態空間
３ 探索
４ 命題論理
５ 述語論理
６ 導出原理
７ 論理による問題解決とフレーム問題
８ Ｐｒｏｌｏｇ
９ 知識表現
著者等紹介
國藤進［クニフジススム］
１９７１年東京工業大学工学部制御工学科卒業。１９７２年東京工業大学工学部制御工学科研究生修了。１９７４年東京工業大学大学院理工学研究科制御工学専攻修士課程修了。富士通株式会社国際情報社会科学研究所勤務。１９８２年新世代コンピュータ技術開発機構研究所主任研究員。１９８６年富士通株式会社国際情報社会科学研究所第二協力開発室長。１９９２年北陸先端科学技術大学院大学教授。１９９４年博士（工学）（東京工業大学）。２０１０年東京大学大学院総合文化研究科客員教授（至現在）
中田豊久［ナカダトヨヒサ］
１９９３年東京工科大学機械制御工学科卒業。１９９３～１９９５年日本電気ロボットエンジニアリング株式会社勤務。１９９６～１９９７年株式会社日本総研テクノス勤務。１９９７～２０００年株式会社ソリトンシステムズ勤務。２００２年北陸先端科学技術大学院大学知識科学研究科博士前期課程修了。２００３～２００４年株式会社本田技術研究所勤務。２００６年北陸先端科学技術大学院大学知識科学研究科博士後期課程修了、博士（知識科学）。２００６～２００８年北陸先端科学技術大学院大学産学官連携研究員。２００８年新潟国際情報大学講師
羽山徹彩［ハヤマテッサイ］
２００１年同志社大学工学部知識工学科卒業。２００３年北陸先端科学技術大学院大学知識科学研究科博士前期課程修了。２００６年北陸先端科学技術大学院大学知識科学研究科博士後期課程修了、博士（知識科学）。北陸先端科学技術大学院大学助手（２００７年～助教）。２０１２年金沢工業大学講師（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
ばぶパパ
