Jantke | Analogical and Inductive Inference | Buch | 978-3-540-51734-4 | sack.de

Buch, Englisch, 338 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1090 g

Reihe: Lecture Notes in Artificial Intelligence

Jantke

Analogical and Inductive Inference

International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings
1989
ISBN: 978-3-540-51734-4
Verlag: Springer Berlin Heidelberg

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

Buch, Englisch, 338 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1090 g

Reihe: Lecture Notes in Artificial Intelligence

ISBN: 978-3-540-51734-4
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Jantke Analogical and Inductive Inference jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.