Abstract
Methods for performing inductive inference have become very important in Artificial Intelligence, especially in the area of Machine Learning. One technique capable of performing induction is based on inverting the resolution process (with the help of an oracle). This is known as inverse resolution.
In this paper we investigate how inverse resolution can be performed using conceptual graphs. This is done by showing how the individual inverse resolution operators can be implemented using conceptual graphs. We show that the processes involved can actually be viewed as inverses of beta (and alpha) rules. Also, the operations can be seen as analogues to inverse resolution operators suggested, in the literature, for predicate calculus (e.g., absorption, identification, etc.).
The advantage of this approach is that it develops a technique for performing induction using conceptual graphs. In particular, two of the operators are capable of performing constructive induction through the introduction of new relations not present in the original graphs. We also claim that the use of conceptual graphs provides a natural way of performing these operations and that this leads to a better understanding of the processes involved.
Keywords
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Stephen Muggleton. Duce, an oracle based approach to constructive induction. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, pages 287–292. Morgan Kaufman, 1987.
Stephen Muggleton. Inverting the resolution process. In J. E. Hayes and D. Michie, editors, Machine intelligence 12. 1989.
Stephen Muggleton and Wray Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the 5th International Machine Learning Workshop, pages 339–352. Morgan Kaufman, 1988.
Celine Rouveirol and Jean Francois Puget. Beyond inversion of resolution. In Proceedings of the 7th International Machine Learning Workshop, pages 122–130. Morgan Kaufman, 1990.
John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pagnucco, M., Foo, N. (1993). Inverting resolution with conceptual graphs. In: Mineau, G.W., Moulin, B., Sowa, J.F. (eds) Conceptual Graphs for Knowledge Representation. ICCS 1993. Lecture Notes in Computer Science, vol 699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56979-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-56979-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56979-4
Online ISBN: 978-3-540-47848-5
eBook Packages: Springer Book Archive