<電子ブック>
Analogical and Inductive Inference : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings / edited by Klaus P. Jantke
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 397)
版 | 1st ed. 1989. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1989 |
本文言語 | 英語 |
大きさ | IX, 338 p : online resource |
著者標目 | Jantke, Klaus P editor SpringerLink (Online service) |
件 名 | LCSH:Artificial intelligence LCSH:Computer programming LCSH:Computer science LCSH:Mathematical logic FREE:Artificial Intelligence FREE:Programming Techniques FREE:Computer Science Logic and Foundations of Programming FREE:Mathematical Logic and Foundations |
一般注記 | Inductive inference from good examples -- Inductive inference, DFAs, and computational complexity -- Why and how program synthesis? -- Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning -- Towards representation independence in PAC learning -- Learning context-free languages efficiently -- Learning programs with an easy to calculate set of errors -- Inductive inference up to immune sets -- Refined query inference -- Learning ?-regular languages from queries and counter-examples (a preliminary report) -- A refutation of Barzdins' conjecture -- Generalizing multiple examples in explanation based learning -- Nested hyper-rectangles for exemplar-based learning -- Second-order inductive learning -- Modes of analogy -- Some aspects of analogy in mathematical reasoning -- A sketch of analogy as reasoning with equality hypotheses -- Analogical inference as generalised inductive inference -- Analogical reasoning for second generation expert systems -- Probabilistic inductive inference of indices in enumerable classes of total recursive functions -- Inductive inference for solving divergence in Knuth-Bendix completion -- Towards a set of inference rules for solving divergence in Knuth-Bendix completion -- Inductive synthesis of programs for symbolic sequences processing -- Inductive synthesis of encoding for algebraic abstract data types HTTP:URL=https://doi.org/10.1007/3-540-51734-0 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540467984 |
|
電子リソース |
|
EB00224792 |