Finding hypotheses from examples by computing the least generalization of bottom clauses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1532, Issue , 1998, Pages 303-314

  Ito, Kimihito ^a   Yamamoto, Akihiro ^a  

^a HOKKAIDO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

A-PROLOG; BACKGROUND THEORY; SEARCH SPACES;

LEARNING SYSTEMS;

EID: 84949230464     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49292-5_27     Document Type: Conference Paper

References (15)

1. Flach, P.: Simply Logical –Intelligent Reasoning by Example–, Wiley (1994).
2. Inoue, K.: Linear Resolution for Consequence Finding. Artificial Intelligence, 56 (1992) 301–353
3. Jung, B.: On Inverting Generality Relations. In Proceedings of the 3rd International Workshop on Inductive Logic Programming (1993) 87–101
4. Lloyd, J. W.: Foundations of Logic Programming: Second, Extended Edition. Springer - Verlag (1987)
5. Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Vol.13, No.3-4 (1995) 245–86
6. Muggleton, S.(Ed.): Inductive Logic Programming. Academic Press, the APIC Series, No 38(1992)
7. Plotkin, G. D.: A Note on Inductive Generalization. Machine Intelligence 5 (1970) 153-163
8. Plotkin, G. D.: A Further Note on Inductive Generalization. Machine Intelligence, 6 (1971) 101–124
9. Rouveirol, C.: Extensions of Inversion of Resolution Applied to Theory Completion. In:Muggleton, S.(ed.):Inductive Logic Programming, Academic Press (1992) 63–92.
10. Sterling, L., Shapiro, E.: The Art of Prolog. The MIT Press, Cambridge MA (1986)
11. Yamamoto, A.: Representing Inductive Inference with SOLD-Resolution. In Proceedings of the IJCAI’97Workshop on Abduction and Induction in AI (1997) 59–63
12. Yamamoto, A.: Which Hypotheses Can Be Found with Inverse Entailment? In Proceedings of the Seventh International Workshop on Inductive Logic Programming (LNAI 1297) (1997) 296-308, The extended abstract is in Proceedings of the IJCAI’97 Workshop on Frontiers of Inductive Logic Programming (1997) 19–23
13. Yamamoto, A.: An Inference Method for the Complete Inverse of Relative Subsumption. To appear in New Generation Computing (1998)
14. Yamamoto, A.: Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Programs. To appear in New Generation Computing (1998)
15. Yamamoto, A.: Using Abduction for Induction based on Bottom Generalization. To appear in: A. Kakas and P. Flach (eds.): Abductive and Inductive Reasoning: Essays on their Relation and Integration (1998).