Revising the logical foundations of inductive logic programming systems with ground reduced programs

New Generation Computing

Volumn 17, Issue 1, 1999, Pages 119-127

  Yamamoto, Akihiro ^a  

^a HOKKAIDO UNIVERSITY   (Japan)

Author keywords

Inductive Inference; Inductive Logic Programming; Inverse Entailment; Least General Correct Hypotheses; Reduced Logic Programs

Indexed keywords

INFERENCE ENGINES; MATHEMATICAL MODELS;

HERBRAND MODEL; INDUCTIVE LOGIC PROGRAMMING (ILP); INVERSE ENTAILMENT;

LOGIC PROGRAMMING;

EID: 0032762356     PISSN: 02883635     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF03037585     Document Type: Article

References (19)

1. Bergadano, F. and Gunetti, D., Inductive Logic Programming : From Machine Learning to Software Engineering, the MIT Press, Cambridge, MA, 1996.
2. Buntine, W., "Generalized Subsumption and its Applications to Induction and Redundancy," Artificial Intelligence, 36, pp. 149-176, 1988.
3. Chang, C.-L. and Lee, R.C.-T., Symbolic Logic and Mechanical Theorem Proving, Academic Press, Orlando, FL, 1973.
4. Fujita, H., Yagi, N., Ozaki, T. and Furukawa, K., "A New Design and Implementation of Progol by Bottom-up Computation," in Proceedings of the 6th International Workshop on Inductive Logic Programming (LNAI 1314), Springer, pp. 163-174, 1996.
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. Lavrac, N. and Dzeroski, S., Inductive Logic Programming : Techniques and Applications, Ellis Horwood, Hemel Hempstead, 1994.
7. Lloyd, J.W., Foundations of Logic Programming (Second, Extended Edition), Springer-Verlag, Berlin, 1987.
8. Maher, M.J., "Equivalences of Logic Programs," in Deductive Database and Logic Programming (Minker, J. ed.), Morgan Kaufmann, Los Altos, CA, pp. 627-658, 1988.
9. Muggleton, S., "Inverse Entailment and Progol," New Generation Computing, 13, pp. 245-286, 1995.
10. Muggleton, S. and Feng, C., "Efficient Induction of Logic Programs," in Inductive Logic Programming (Muggleton, S. ed.), Academic Press, London, pp. 281-298, 1992.
11. Muggleton, S., Page, D. and Srinivasan, A., "An Initial Experiment into Stereochemistry-based Drug Design using ILP," in Proceedings of the 6th International Workshop on Inductive Logic Programming (LNAI 1314), Springer, pp. 25-40, 1996.
12. Plotkin, G., Automatic Methods of Inductive Inference, Ph.D. Thesis, Edinburgh University, 1971.
13. Shapiro, E., "Inductive Inference of Theories From Facts," Research Report YALEU/DCS/TR-192, Yale University, New Haven, CT, 1981.
14. Reprinted in Computational Logic (Lassez, J.-L. and Plotkin, G. eds.), the MIT Press, Cambridge, MA, pp. 199-254, 1991.
15. Shinohara, T., "Inductive Inference of Monotonic Formal Systems From Positive Data," New Generation Computing, 8, pp. 371-384, 1991.
16. Srinivasan, A., Muggleton, S.H., Sternberg, M.J.E, and King, R.D., "Theories for Mutagenicity: A Study in First-Order and Feature-based Induction," Artificial Intelligence, 85, pp. 277-299, 1996.
17. Yamamoto, A., "Which Hypotheses Can Be Found with Inverse Entailment?" in Proceedings of the 7th International Workshop on Inductive Logic Programming (LNAI 1297), Springer, pp. 296-308, 1997.
18. The extended abstract is in Proceedings of the IJCAI '97 Workshop on Frontiers of Inductive Logic Programming, pp. 19-23, 1997.
19. Yamamoto, A., "An Inference Method for the Complete Inverse of Relative Subsumption," New Generation Computing, 17, 1998.