出版社内容情報
ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する．
内容説明
ソフトウエアに知識と推論の機構を組み込むために理論、方法、プログラム技法をやさしく系統的に解説する。まず，知識表現の方法を紹介し，次にその知識を有効に利用する効果的な探索／推論の方法を解きあかす。さらに応用として、質問応答システム、エキスパートシステムなどの技法を詳しく解説する。プログラムレベルでの解説を十分に与え、実際のソフトウエアシステムへの応用に役立つようにした。
目次
１ 知識とは何か（哲学における知識のとらえ方；自然科学におけるいくつかの方法；人工知能における知識のとらえ方；事実的知識の立場：推論的知識の立場）
２ 事実的知識とその体系化（文献情報の組織化；事実的知識の体系；用語の知識体系；情報の記憶；情報の検索；分類の数学的理論）
３ 推論的知識と問題解決（１）（問題の状態表現；探索木；ゲームの木探索のプログラム；グラフの探索；状態表現による問題の解法の特徴；アルゴリズムの発見）
４ 推論的知識と問題解決（１１）（経験的知識の利用；問題の分解による解法；黒板モデル；拘束条件的知識；相互モデル）
５ 記号論理による推論（記号論理による法則性の表現；前向き推論、後向き推論による証明；導出原理による証明；質問の形式；データベースの記号論理表現；変化を伴う場合の推論；その他の推論方法）
６ 知識表現と質問応答
（意味ネットワーク；フレームとスクリプト；対話のモデル）
７ エキスパートシステム（エキスパートシステムの特徴；プロダクションシステム；前向き推論のプログラム；後向き推論のプログラム；推論の信頼度；ユーザーとの対話；エキスパートシステムのもつべき性質）
