内容説明
本書は、知識情報処理システム学の初学者向けのテキスト・参考書としてまとめたもので、知識処理系を設計する上で必要な概念の大要と基礎的技巧について概説している。解説上の留意点としては、Ｃを用いてソフトウェアを作成する上での基礎的技巧と考え方について実用的観点から記述している。多値論理における処理の原理と現実の計算機における処理を具体的に記述している。計算機言語の種類によらずソフトウェア作成の感覚が身につくように工夫。ブール代数上にある多値論理を採用することで、ブール論理における数多くの知見を継承し、直ちに多値の推論系に応用できるよう配慮している。
目次
第１章 基礎知識（半順序；束 ほか）
第２章 Ｃ言語による多値論理処理（Ｃ言語；文字列の処理 ほか）
第３章 帰納の合理化（帰納；硬貨投げ ほか）
第４章 探索の要所（探索の分類；探索の意義 ほか）
