An inference method for the complete inverse of relative subsumption

New Generation Computing

Volumn 17, Issue 1, 1999, Pages 99-117

  Yamamoto, Akihiro ^a  

^a HOKKAIDO UNIVERSITY   (Japan)

Author keywords

Bottom Generalization; Inductive Logic Programming; Inverse Entailment; Relative Subsumption; Saturant Generalization; The V operator

Indexed keywords

COMPUTATIONAL LINGUISTICS; INFERENCE ENGINES; MATHEMATICAL OPERATORS;

BOTTOM GENERALIZATION; INDUCTIVE LOGIC PROGRAMMING (ILP); INVERSE ENTAILMENT;

LOGIC PROGRAMMING;

EID: 0032761817     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037584     Document Type: Article

References (26)

1. Arimura, H., "Learning Acyclic First-order Horn Sentences from Implication," in Proceedings of the 8th International Workshop on Algorithmic Learning Theory (LNAI 1316 ), Springer, pp. 432-445, 1997.
2. Buntine, W., "Generalized Subsumption and its Applications to Induction and Redundancy," Artificial Intelligence, 36, pp. 149-176, 1988.
3. Cohen, W. W., "PAC-learning Recursive Logic Programs: Efficient Algorithms," Journal of Artificial Intelligence Research, 2, pp. 501-539, 1995.
4. Cohen., W. W., PAC-learning Recursive Logic Programs: Negative Results," Journal of Artificial Intelligence Research, 2, pp. 541-573, 1995.
5. Furukawa, K., Murakami, T., Ueno, K., Ozaki, T. and Shimazu, K., "On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol," in Proceedings of the 7th International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 157-164, 1997.
6. Gelfond, M. and Lifschitz, V., "Classical Negation in Logic Programs and Disjunctive Databases," New Generation Computing, 9, pp. 365-385, 1991.
7. Jung, B., "On Inverting Generality Relations," in Proceedings of the 3rd International Workshop on Inductive Logic Programming, 3. Stefan Institute, Ljubljana, Slovenia, pp. 87-101, 1993.
8. Kietz, J.-U., Inductive Analyse relationaler Daten, Ph.D. thesis, Technische Universität Berlin, 1996 (in German).
9. Kowalski, R. A., "The Case for Using Equality Axioms in Automatic Demonstration," in Proceedings of the Symposium on Automatic Demonstration (Lecture Notes in Mathematics 185), Springer-Verlag, pp. 112-127, 1970.
10. Lee, R. C. T., A Completeness Theorem and Computer Program for Finding Theorems Derivable from Given Axioms, Ph.D. thesis, University of California, Berkeley, 1967.
11. Lloyd, J. W., Foundations of Logic Programming (Second, Extended Edition), Springer-Verlag, Berlin, 1987.
12. Muggleton, S., "Inductive Logic Programming," in Proceedings of the First International Workshop on Algorithmic Learning Theory, JSAI and Springer, pp. 42-62, 1990.
13. Muggleton, S., "Inverse Entailment and Progol," New Generation Computing, 13, pp. 245-286, 1995.
14. Muggleton, S., Personal Communication, 1996.
15. Nienhuys-Cheng, S.-H. and de Wolf, R., "The Subsumption Theorem in Inductive Logic Programming: Facts and Fallacies," in Advances in Logic Programming (De Raedt, L. ed.), IOS Press and Ohmsha, pp. 265-276, 1996.
16. Nienhuys-Cheng, S.-H. and de Wolf, R., Foundations of Inductive Logic Programming (LNAI 1228), Springer, Berlin, 1997.
17. Plotkin, G., Automatic Methods of Inductive Inference, Ph.D. thesis, Edinburgh University, 1971.
18. Rouveirol, C., "Completeness for Inductive Procedures," in Proceedings of the 8th International Workshop on Machine Learning, Morgan Kaufmann, pp. 452-456, 1991.
19. Rouveirol, C., "Extensions of Inversion of Resolution Applied to Theory Completion," in Inductive Logic Programming (Muggleton, S. ed.), Academic Press, London, pp. 63-92, 1992.
20. Yamamoto, A., "Representing Inductive Inference with SOLD-Resolution," in Proceedings of the IJCAI '97 Workshop on Abduction and Induction in AI, pp. 59-63, 1997.
21. Yamamoto, A., "Theoretical Foundations of Inductive Logic Programming," Journal of JSAI, 12, 5, pp. 665-674, 1997 (in Japanese).
22. Yamamoto, A., "Which Hypotheses Can Be Found with Inverse Entailment?" in Proceedings of the Seventh International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 296-308, 1997.
23. The extended abstract is in Proceedings of the IJCAI '97 Workshop on Frontiers of Inductive Logic Programming, pp. 19-23, 1997.
24. Yamamoto, A., "Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Programs," New Generation Computing, 17, 1998.
25. Yamamoto, A., "Logical Aspects of Several Bottom-up Fittings," to appear in Proceedings of the 9th International Workshop on Algorithmic Learning Theory, 1998.
26. Yamamoto, A., "Using Abduction for Induction based on Bottom Generalization," to appear in Abductive and Inductive Reasoning : Essays on their Relation and Integration (Kakas, A. and Flach, P. eds.), Kluwer Academic Press, 1998.