Abstract
A novel approach to interactively acquire knowledge about new objects in a logic environment is presented. When the user supplies an unknown fact containing unknown objects (constants), the system will ask interesting membership and existential queries about the objects. The answers to these questions allow the system to update its knowledge base. Two basic strategies are implemented: one that examines existing Horn-Clauses for the predicate and another one that uses types. Furthermore, a powerful heuristic, based on analogy, to pose the most interesting questions first is presented.
Chapter PDF
References
Dana Angluin. Queries and concept-learning. Machine Learning, 1988.
I. Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley, 1986.
J.G. Carbonell, R.S. Michalski, and T.M. Mitchell. An overview of machine learning. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Morgan Kaufmann, 1983.
L. De Raedt and M. Bruynooghe. On interactive concept-learning and assimilation. In D. Sleeman, editor, Proceedings of the 3rd European Working Session On Learning, pages 167–176. Pitman, 1988.
L. De Raedt and M. Bruynooghe. Towards friendly concept-learners. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 849–856. Morgan Kaufmann, 1989.
L. De Raedt and M. Bruynooghe. Indirect relevance and bias in inductive concept-learning. Knowledge Acquisition, 1990. to appear.
B. Gaines and J. Boose. The knowledge acquisition journal. Academic Press.
M. Genesereth and N. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann, 1987.
N. Haas and G. Hendrix. Learning by being told: acquiring knowledge for information management. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Morgan Kaufmann, 1983.
J.U. Kietz. Incremental and reversible acquisition of taxonomies. In M. Linster, B. Gaines, and J. Boose, editors, Proceedings of the 2nd European Knowledge Acquisition for Knowledge Based Systems Workshops, 1988.
Y. Kodratoff. Introduction to Machine Learning. Pitman, 1988.
Yves Kodratoff and R.S. Michalski, editors. Machine Learning: an artificial intelligence approach, Volume 3. Morgan Kaufmann, 1990.
Y. Kodratoff and G. Tecuci. Disciple-1: interactive system in weak theory fields. In Proceedings of the 10th International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 1987.
R.S. Michalski. A theory and methodology of inductive learning. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Morgan Kaufmann, 1983.
R.S. Michalski, J.G. Carbonell, and T.M. Mitchell. Machine Learning: an artificial intelligence approach, Volume 1. Morgan Kaufmann, 1983.
R.S. Michalski, J.G. Carbonell, and T.M. Mitchell. Machine Learning: an artificial intelligence approach, Volume 2. Morgan Kaufmann, 1986.
Katharina Morik. Sloppy modeling. In Katharina Morik, editor, Knowledge Representation and Organization in Machine Learning, volume 347 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1989.
S. Muggleton and W. Buntine. Machine invention of first order predicates by inverting resolution. In Proceedings of the 5th International Conference on Machine Learning. Morgan Kaufmann, 1988.
J.R. Quinlan. Induction of decision trees. Machine Learning, 1:81–106, 1986.
J.R. Quinlan. Learning logical definition from relations. Machine Learning, 5:239–266, 1990.
Ehud Y. Shapiro. Algorithmic Program Debugging. The MIT press, 1983.
Leon Sterling and Ehud Shapiro. The art of Prolog. The MIT press, 1986.
G. Tecuci and Y. Kodratoff. Apprenticeship learning in non-homogeneous domain theories. In Y. Kodratoff and R.S. Michalski, editors, Machine Learning: an artificial intelligence approach, volume 3. Morgan Kaufmann, 1990.
A. Tomasovic. View update translation via deduction and annotation. In Proceedings 2nd International Conference on Database Theory. Lecture Notes in Computer Science, Volume 326, Springer-Verlag, 1988.
R. Wirth. Learning by failure to prove. In D. Sleeman, editor, Proceedings of the 3rd European Working Session on Learning. Pitman, 1988.
S. Wrobel. Automatic representation adjustment in an observational discovery system. In Sleeman D., editor, Proceedings of the 3rd European Working Session on Learning. Pitman, 1988.
S. Wrobel. Demand driven concept-formation. In K. Morik, editor, Knowledge Representation and Organization in Machine Learning, volume 347 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Raedt, L., Feyaerts, J., Bruynooghe, M. (1991). Acquiring object-knowledge for learning systems. In: Kodratoff, Y. (eds) Machine Learning — EWSL-91. EWSL 1991. Lecture Notes in Computer Science, vol 482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017019
Download citation
DOI: https://doi.org/10.1007/BFb0017019
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53816-5
Online ISBN: 978-3-540-46308-5
eBook Packages: Springer Book Archive