Analogical and inductive inference : [2nd] International Workshop All '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989 : proceedings
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science. Lecture notes in artificial intelligence
397 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Analogical and inductive inference, International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989, proceedings, édité par K.P. Jantke, Berlin, Springer-Verlag, 1989, 1 vol. (ix-338 p.)graphiques, ill., Lecture notes in computer science, 0-387-51734-0 • Analogical and Inductive Inference, Texte imprimé, 9783662173688 |
Sumário:
- 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.