Abstract
Analogical representations have long been of interest to the knowledge representation community. Such representations provide compact encodings of information that can be cumbersome to represent and inefficient to manipulate in sentential languages. In this document, we address the problem of using analogical representations effectively in automated deduction systems. The primary contribution is a formal framework for combining analogical and deductive reasoning. The framework consists of a set of generic operations on analogical structures and accompanying inference methods for integrating analogical and sentential information. The capabilities of the framework are demonstrated for the task of reasoning to extend incomplete maps. The examples presented here have all been solved automatically by an implementation of the integration framework.
Preview
Unable to display preview. Download preview PDF.
References
J. Barwise and J. Etchemendy. Visual information and valid reasoning. In W. Zimmerman, editor, Visualization in Mathematics. Mathematical Association of America, Washington, DC, 1990.
C. Chang and H. J. Keisler. Model Theory. Elsevier Press, New York, 1977.
A. M. Frisch, editor. Proceedings of the AAAI 1991 Fall Symposium on Principles of Hybrid Reasoning, 1991.
A. M. Frisch and R. B. Scherl. A bibliography on hybrid reasoning. AI Magazine, 11(5), 1991.
B. V. Funt. Problem-solving with diagrammatic representations. Artificial Intelligence, 13, 1980.
G. W. Furnas. Formal models for imaginal deduction. In Proceedings of the Twelfth Annual Conference of the Cognitive Science Society, pages 662–669. Lawrence Erlbaum, 1990.
F. Gardin and B. Meltzer. Analogical representations of naive physics. Artificial Intelligence, 38:139–159, 1989.
H. Gelernter. Realization of a geometry-theorem proving machine. In E. A. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw-Hill, New York, 1963.
P. J. Hayes. Some problems and non-problems in representation theory. In Proceedings of the AISB Summer Conference, pages 63–79, University of Sussex, 1974.
P. N. Johnson-Laird. Mental models in cognitive science. Cognitive Science, 4:71–115, 1980.
S. M. Kosslyn. Image and Mind. Harvard University Press, Cambridge, MA, 1980.
J. H. Larkin and H. A. Simon. Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11:65–99, 1987.
K. L. Myers. Universal Attachment: An Integration Method for Logic Hybrids. PhD thesis, Stanford University, 1991.
K. L. Myers. Universal attachment: An integration method for logic hybrids. In J. A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference. Morgan Kaufmann, 1991.
K. L. Myers. Hybrid reasoning using universal attachment. Artificial Intelligence, 1992. To appear.
K. L. Myers and K. Konolige. Integrating analogical and sentential reasoning for perception. In Proceedings of the AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992.
N. Narayanan and B. Chandrasekaran. Reasoning visually about spatial interactions. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991.
E. P. Novak, Jr. and W. C. Bulko. Understanding natural language with diagrams. In Proceedings of the Eighth National Conference on Artificial Intelligence, pages 465–470, 1990.
D. Papadias and J. I. Glasgow. A knowledge representation scheme for computational imagery. In Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society. Lawrence Erlbaum Associates, 1991.
S.-J. Shin. An information-theoretic analysis of valid reasoning with Venn diagrams. In J. Barwise, J. M. Gawron, G. Plotkin, and S. Tutiya, editors, Situation Theory and its Applications, volume 2. 1991.
S.-J. Shin. Valid Reasoning and Visual Representation. PhD thesis, Dept. of Philosophy, Stanford University, 1991.
A. Sloman. Interactions between philosophy and AI. Artificial Intelligence, 2, 1971.
A. Sloman. Afterthoughts on analogical representation. In Proceedings of Theoretical Issues in Natural Language Processing, 1975.
K. Stenning and J. Oberlander. Spatial containment and set membership. In J. Barnden and K. Holyoak, editors, Analogical Connections. 1992.
M. E. Stickel. Automated deduction by theory resolution. Journal of Automated Reasoning, 1(4), 1985.
M. E. Stickel. The KLAUS automated deduction system. In Proceedings of the Ninth International Conference on Automated Deduction, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Myers, K.L., Konolige, K. (1994). Reasoning with analogical representations. In: Lakemeyer, G., Nebel, B. (eds) Foundations of Knowledge Representation and Reasoning. Lecture Notes in Computer Science, vol 810. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58107-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-58107-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58107-9
Online ISBN: 978-3-540-48453-0
eBook Packages: Springer Book Archive