商品詳細
1988年初版発行以来27刷を重ねた本を時代に合わせてアップデート!述語理論を詳説!
本書は、人工知能という分野で行われている議論や研究を理解するために必要な基礎知識の提供を目的として、単に「こういうことがある」という知識ではなく、「なぜこのように考えるのか?」という疑問に答えられる真の理解と実力を身につけられるような構成と解説をしている。新たに演習問題とその解答も掲載。
第1章 人工知能概説
第2章 問題解決
第3章 探索
第4章 論理と推論
第5章 述語論理
第6章 導出原理
第7章 論理による問題解決
第8章 論理プログラミング
第9章 知識表現
第10章 不完全な知識
著者情報
太原育夫[タハライクオ]
1979年東京大学大学院工学系研究科電子工学専門課程博士課程修了。1979年工学博士(東京大学)。1979年東京理科大学助手。1981年東京理科大学講師。1999年東京理科大学助教授。現在、東京理科大学教授(本データはこの書籍が刊行された当時に掲載されていたものです)