Analogical and Inductive Inference

International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

AvKlaus P. Jantke

Häftad, Engelska, 1989

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-09-20
Mått:155 x 235 x 20 mm
Vikt:534 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:338
Upplaga:1989
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540517344

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Transforming the Hermeneutic Context

Gayle L. Ormiston, Alan D. Schrift

Häftad, 1989

477 kr

Nonmonotonic and Inductive Logic

Klaus P. Jantke, Peter H. Schmitt

Häftad, 1991

573 kr

Discovery Science

Nada Lavrač, Ljupco Todorovski, Klaus P. Jantke

Häftad, 2006

556 kr

Federation over the Web

Klaus P. Jantke, Aran Lunzer, Nicolas Spyratos, Yuzuru Tanaka

Häftad, 2006

573 kr

Eagle and the Lion

James A. Bill

Häftad, 1989

768 kr

Pornography, Feminism and the Individual

Alison Assiter

Häftad, 1989

525 kr

Coding Theory and Applications

Gerard Cohen, Jacques Wolfmann

Häftad, 1989

556 kr

Algorithmic Learning Theory

Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori

Häftad, 1993

556 kr

Discovery Science

Klaus P. Jantke, Ayumi Shinohara

Häftad, 2001

556 kr

Algebraic Methods: Theory, Tools and Applications

Martin Wirsing, Jan A. Bergstra

Häftad, 1989

1 138 kr

Analogical and Inductive Inference

International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings

AvKlaus P. Jantke

Häftad, Engelska, 1989

Del i serien Lecture Notes in Computer Science

573 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-09-20
Mått:155 x 235 x 20 mm
Vikt:534 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:338
Upplaga:1989
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540517344

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

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.