Machine Invention of First-order Predicates by Inverting Resolution

Proceedings of the 5th International Conference on Machine Learning, ICML 1988

Volumn , Issue , 1988, Pages 339-352

  Muggleton, Stephen ^a   Buntine, Wray ^b  

^a The Turing Institute ^*  (United Kingdom)

^b UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINE LEARNING;

DESCRIPTION LANGUAGES; FIRST ORDER; GENERALISATION; HORN CLAUSE; HUMAN TEACHERS; IDEAL SYSTEMS; PERFORMANCE; PROBLEM DESCRIPTION; PROBLEM REPRESENTATION; TEACHERS';

KNOWLEDGE REPRESENTATION;

EID: 84957053329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/B978-0-934613-64-4.50040-2     Document Type: Conference Paper

References (21)

1. Buntine, W. (1986). Generalised Subsumption. In Proceedings of the European Conference on Artificial Intelligence. London.
2. Clocksin, W. F. & Mellish, C. S. (1981). Programming in Prolog. New York: Springer.
3. DeJong, G. & Mooney R. (1986). Explanation-based learning: an alternative view. Machine Learning, 1 (2), 145-176.
4. Epstein, S. L. (1987). On the discovery of mathematical theorems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (pp. 194-197). Los Altos, CA: Morgan Kaufmann.
5. Kedar-Cabelli, S. T. & McCarty, L. T. (1987). Explanation-based learning as resolution theorem proving. In Proceedings of the Fourth International Machine Learning Workshop. Los Altos, CA: Morgan Kaufmann.
6. Langley, P., Simon, H., & Bradshaw, G. L. (1983). Rediscovering chemistry with the BACON system. In R. S. Michalski, J. G. Carbonell, & T. M. Mitchell (Eds.), Machine learning: An artificial intelligence approach (pp. 307-330). Los Altos, CA: Morgan Kaufmann.
7. Lassez, M. J., Marriot, J. L., & Maher, M. J. (1987). Unification revisited. In Who Knows, Springer-Verlag.
8. Lenat, D. B. (1979). On automated scientific theory formation: a case study using the AM program. In J. E. Hayes, D. Michie & L. I. Mikulich (Eds.), Machine intelligence 9 (pp. 251-283). Chichester: Horwood.
9. Michalski, R. S., & Stepp R. (1982). Revealing conceptual structure in data by inductive inference. In J. E. Hayes, D. Michie & Y. H. Pao (Eds.), Machine Intelligence 10 (pp. 173-196). Chichester Horwood.
10. Mitchell, T. M., Keller R. M., & Kedar-Cabelli S. T. (1986). Explanation-based generalisation: a unifying view. Machine Learning, 1 (1), 47-80.
11. Muggleton, S. H. (1987). Duce, an oracle based approach to constructive induction. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (pp. 287-292). Los Altos, CA: Morgan Kaufmann.
12. Muggleton, S. H. (in press). Inverting the resolution principle. In J. E. Hayes & D. Michie, Machine Intelligence 12, Oxford University Press.
13. Muggleton, S. H., Buntine W. (1988). Towards constructive induction in first-order predicate calculus. Turing Institute working paper.
14. Plotkin, G. D. (1971). Automatic methods of inductive inference. Doctoral thesis, Edinburgh University.
15. Rendell, L. (1985). Substantial constructive induction using layered information compression: tractable feature formation in search. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence (pp. 650-658). Los Altos, CA: Morgan Kaufmann.
16. Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. JACM, 12(1), 23-41.
17. Sammut, C. (1981). Learning Concepts by Performing Experiments. Doctoral dissertation, Department of Computer Science, University of New South Wales,Australia.
18. Sammut, C, & Banerji, R. B. (1986). Learning concepts by asking questions. In R. Michalski, J. Carbonnel, & T. Mitchell (Eds.), Machine learning: an artificial intelligence approach (Vol. 2). Los Altos, CA: Morgan Kaufmann.
19. Shapiro, E. Y. (1983). Algorithmic program debugging. MIT Press.
20. Utgoff, P. E. (1986). Machine learning of inductive bias. Boston: Kluwer.
21. Wirth, R. (1988). Completing proofs by inverting resolution (Technical report). University of Tuebingen, Tuebingen, West Germany.