内容説明
この本は、計算機に行わせる推論メカニズムについて、いろいろな分野から事例を取りあげ、その解説を通じて最新の導出原理の基礎とその応用を説明している。また、読者の能力や興味のレベルに応じて、どの章からでも読み進めることができるよう各所に学習のための工夫を凝らしている。
目次
例を用いた論理の学習
パズル
代替表現と等価性
難しいパズル
要約と形式化
論理回路設計
論理回路検証
数学での研究
形式論理学での研究
リアルタイム・システム制御
プログラムのデバッグと検証
エキスパートシステム
Ｐｒｏｌｏｇ―プログラミング言語としての論理
自動推論の形式的なまとめ
自動推論の技法
