知識の帰納的推論(知識情報処理シリーズ ; 3)

• Material Type: 図書
• ISBN: 4-320-02263-7
• Title: 知識の帰納的推論
• Title Transcription: チシキ ノ キノウテキ スイロン
• Author/Editor: E.Y.Shapiro 著; 有川節夫 訳
• Series Title: 知識情報処理シリーズ ; 3
• Author Heading: Shapiro, Ehud Y ( 00456231 )Authorities; 有川, 節夫, 1941- アリカワ, セツオ, 1941- ( 00003159 )Authorities
• Publication, Distribution, etc.: 東京 : 共立出版
• Publication Date: 1986.7
• Publication Date (W3CDTF): 1986
• Extent: 106p
• Size: 22cm
• Additional Title: Inductive inference of theories from fact
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Original Text Lang. Code: eng
• Subject Heading: アルゴリズム アルゴリズム ( 00560337 )Authorities
• NDC 8th ed.: 007.64
• NDLC: MA41
• Target Audience: 一般
• Note (General): 原タイトル: Inductive inference of theories from fact
• Note (Bibliography): 参考文献: p99～101
• Price: 1700円
• Holding library: 国立国会図書館
• Call No.: MA41-106
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000001810660; http://id.ndl.go.jp/bib/000001810660
• National Bibliography No. (JPNO): 86049517
• Cataloging Rule: Nippon Cataloging Rules, Preliminary New Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: 論理プログラミングを対象としたモデルの推論という観点から、プログラミングの自動合成、自動デバッギング、知識の獲得といった実用的な応用を可能にした画期的論文の全訳。(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

第1章 序論

第2章 問題の定義

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

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

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