Analogical and Inductive Inference [[electronic resource] ] : International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings / / edited by Klaus P. Jantke

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989
• Edizione: 1st ed. 1989.
• Descrizione fisica: 1 online resource (IX, 338 p.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Computer programming; Computer logic; Mathematical logic; Artificial Intelligence; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Foundations
• Persona (resp. second.): JantkeKlaus P
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Analogical and Inductive Inference
• ISBN: 3-540-46798-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465729803316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 397