Analogical and Inductive Inference de Klaus P. Jantke

Analogical and Inductive Inference

Klaus P. Jantke

en Limba Engleză Paperback – 20 sep 1989

This volume contains the text of the five invited papers and16 selected contributions presented at the thirdInternational Workshop on Analogical and InductiveInference, AII `92, held in Dagstuhl Castle, Germany,October 5-9, 1992.Like the two previous events, AII '92 was intended to bringtogether representatives from several research communities,in particular, from theoretical computer science, artificialintelligence, and from cognitive sciences.The papers contained in this volume constitute astate-of-the-art report on formal approaches to algorithmiclearning, particularly emphasizing aspects of analogicalreasoning and inductive inference. Both these areas arecurrently attracting strong interest: analogical reasoningplays a crucial role in the booming field of case-basedreasoning, and, in the fieldof inductive logic programming,there have recently been developed a number of newtechniques for inductive inference.

Citește tot Restrânge

Cuprins

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.