知識の帰納的推論

知識情報処理シリーズ　３
Ｉｎｄｕｃｔｉｖｅ　ｉｎｆｅｒｅｎｃｅ　ｏｆ　ｔｈｅｏｒｉｅｓ　ｆｒｏｍ　ｆａｃｔ．

共立出版
Ｓｈａｐｉｒｏ，Ｅｈｕｄ　Ｙ．　有川節夫　

• 価格: 1,870円（本体1,700円＋税）
• 発行年月: 1986年07月
• 判型: Ａ５
• ISBN: 9784320022638

内容情報

[BOOKデータベースより]

問題の定義
モデル推論問題の計算量
決定的実践による仮説の反駁
反駁された仮説の精密化
一般的な漸増的モデル推論アルゴリズム

[日販商品データベースより]

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