知識基盤社会のための人工知能入門(計測・制御テクノロジーシリーズ〈16〉) [全集叢書]

知識基盤社会のための人工知能入門(計測・制御テクノロジーシリーズ〈16〉) の 商品概要

• 目次（「BOOK」データベースより）

  １　序論
  ２　状態空間
  ３　探索
  ４　命題論理
  ５　述語論理
  ６　導出原理
  ７　論理による問題解決とフレーム問題
  ８　Ｐｒｏｌｏｇ
  ９　知識表現

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  國藤 進(クニフジ ススム)
  １９７１年東京工業大学工学部制御工学科卒業。１９７２年東京工業大学工学部制御工学科研究生修了。１９７４年東京工業大学大学院理工学研究科制御工学専攻修士課程修了。富士通株式会社国際情報社会科学研究所勤務。１９８２年新世代コンピュータ技術開発機構研究所主任研究員。１９８６年富士通株式会社国際情報社会科学研究所第二協力開発室長。１９９２年北陸先端科学技術大学院大学教授。１９９４年博士（工学）（東京工業大学）。２０１０年東京大学大学院総合文化研究科客員教授（至現在）
  
  中田 豊久(ナカダ トヨヒサ)
  １９９３年東京工科大学機械制御工学科卒業。１９９３～１９９５年日本電気ロボットエンジニアリング株式会社勤務。１９９６～１９９７年株式会社日本総研テクノス勤務。１９９７～２０００年株式会社ソリトンシステムズ勤務。２００２年北陸先端科学技術大学院大学知識科学研究科博士前期課程修了。２００３～２００４年株式会社本田技術研究所勤務。２００６年北陸先端科学技術大学院大学知識科学研究科博士後期課程修了、博士（知識科学）。２００６～２００８年北陸先端科学技術大学院大学産学官連携研究員。２００８年新潟国際情報大学講師
  
  羽山 徹彩(ハヤマ テッサイ)
  ２００１年同志社大学工学部知識工学科卒業。２００３年北陸先端科学技術大学院大学知識科学研究科博士前期課程修了。２００６年北陸先端科学技術大学院大学知識科学研究科博士後期課程修了、博士（知識科学）。北陸先端科学技術大学院大学助手（２００７年～助教）。２０１２年金沢工業大学講師

知識基盤社会のための人工知能入門(計測・制御テクノロジーシリーズ〈16〉) の商品スペック