• 教科書献本のご案内
  • ニュースメール
  • アフターサービス
  • facebook

知識の帰納的推論

書籍情報
シリーズ名知識情報処理シリーズ 全8巻+別巻2 【3】巻
ISBN978-4-320-02263-8
判型A5 
ページ数118ページ
発行年月1986年07月
本体価格1,700円
知識の帰納的推論 書影
知識の帰納的推論

論理プログラミングを対象としたモデルの推論という観点から,プログラミングの自動合成,自動デバッギング,知識の獲得といった実用的な応用を可能にした画期的論文の全訳。

目次

第1章 序論

第2章 問題の定義

第3章 モデル推論問題の計算量

第4章 決定的実験による仮設の反駁

第5章 反駁された仮設の精密化

第6章 一般的な漸増的モデル推論アルゴリズム

第7章 結論