Abstract
The first part of this paper presents a logico-algebraic reconstruction of conceptual graph fundamentals using an appropriately extended binary relation algebra. The algebraisation comprises axioms which in a straightforward and instructive fashion admit deductive reasoning by term rewriting. As an application of the described logico-algebraic framework, the second part of the paper addresses formalisation of analogical reasoning. It is suggested that analogical reasoning be carried out as clausal resolution inference using axioms of the binary relation algebra together with the application specific axioms corresponding to the domains under consideration. This makes the analogical reasoning amenable to implementation in logic programming languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Brink, K. Britz, and R. A. Schmidt. Peirce algebras. Formal Aspects of Computing, 6:339–358, 1994.
P. Coupey and C. Faron. Towards correspondences between conceptual graphs and description logics. In M.-L. Mugnier and M. Chein, editors, Proceedings of Sixth International Conference on Conceptual Structures, volume 1453 of LNAI. Springer-Verlag, 1998.
D. A. Cruse. Lexical Semantics. Cambridge University Press, 1986.
B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
Gentner and Jeziorski. The shift from metaphor to analogy in western science. In A. Ortony, editor, Metaphor and Thought, pages 447–480. Cambridge University Press, 1993.
D. Gentner. Structure-mapping: A theoretical framework for analogy. Cognitive Science, 7:155–170, 1983.
D. Gentner and A. B. Markman. Structure mapping in analogy and similarity. American Psychologist, 1997.
D. Gentner and C. Toupin. Systematicity and surface similarity in the developement of analogy. Cognitive Science, 10:277–300, 1986.
M. L. Gick and K. J. Holyoak. Analogical problem solving. Cognitive Psychology, 12:306–355, 1980.
W. J. J. Gordon. The metaphorical way of knowing. In G. Kepes, editor, Education of Vision. George Braziller Inc., University of Minnesota Press, 1965.
M. B. Hesse. Models and Analogies in Science. University of Notre Dame Press, Notre Dame, Indiana, 1966.
D. R. Hofstadter, T. M. Mitchell, and R. M. French. Fluid concepts and creative analogies: A theory and its computer implementation. Technical Report 87-1, Ann Arbor: University of Michigan, Fluid Analogies Research Group, 1987.
B. Indurkhya. Metaphor and Cognition-an Interactionist Approach. Kluwer Academic Publishers, 1992.
D. Leishman. Analogy as a constrained partial correspondence over conceptual graphs. In R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 223–234. Morgan Kaufmann Publishers Inc., 1989.
J. F. Nilsson. An algebraic logic for concept structures. In H. Jaakkola, H. Kangassalo, T. Kitahashi, and A. Markus, editors, Proceedings of Information Modelling and Knowledge Bases V, pages 75–84. IOS Press, 1994.
J. F. Nilsson and J. Palomäki. Towards computing with extensions and intensions of concepts. In Proceedings of Information Modelling and Knowledge Bases IX. IOS Press, 1998.
J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984.
G. Stumme. Boolesche Begriffe. Diplomarbeit, TH Darmstadt, 1994.
A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6:73–89, 1941.
E. C. Way. Knowledge Representation and Metaphor. Kluwer Academic Publishers, 1991.
P.H. Winston. Learning and reasoning by analogy. Communications of the ACM, 23:689–703, 1980.
P. H. Winston. Learning new principles from precedents and exercises. Artificial Intelligence, 19:321–350, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braüner, T., Nilsson, J.F., Rasmussen, A. (1999). Conceptual Graphs as Algebras - With an Application to Analogical Reasoning. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_29
Download citation
DOI: https://doi.org/10.1007/3-540-48659-3_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66223-5
Online ISBN: 978-3-540-48659-6
eBook Packages: Springer Book Archive