Abstract
In recent years we have witnessed a growing interest in heterogeneous reasoning systems. A heterogeneous reasoning system incorporates representations from a number of different representation systems, in our case a sentential and a diagrammatic system. The advantage of heterogeneous systems is that they allow a reasoner to bridge the gaps among various formalisms and construct threads of proof which cross the boundaries of the systems of representation. In doing this, these heterogeneous systems allow the reasoner to take advantage of each component system’s ability to express information in that component’s area of expertise. The purpose of this paper is twofold: to propose a general theoretical framework, inspired by Barwise and Seligman’s work in Information Theory [Barwise and Seligman, 1997], for the design of heterogeneous reasoning systems and to use this framework as the basis of an implementation of a First Order Logic and Euler/Venn reasoning system.
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
Barwise, J. and Etchemendy, J., 1994, Hyperproof, CSLI Publications, Stanford.
Barwise, J. and Etchemendy, J., 1995, Heterogeneous logic, in: Heterogeneous logic, J.I. Glasgow, N.H. Narayanan, and B. Chandrasekaran, eds., AAAI Press and MIT Press, Menlo Park, pp. 209–232.
Barwise, J. and Etchemendy, J., 1998, Computers, visualization, and the nature of reasoning, in: The Digital Phoenix: How Computers are Changing Philosophy, T.W. Bynum and J.H. Moor, eds., Blackwell Publishers, Oxford.
Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., and Liu, A., 1999, Language Proof and Logic, CSLI and Seven Bridges Press, Stanford.
Barwise, J. and Seligman, J., 1997, Information Flow — The Logic of Distributed Systems, Number 44 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge.
Dretske, F.I., 1969, Seeing and Knowing, Chicago University Press, Chicago.
Hammer, E.M., 1995, Logic and Visual Information, CSLI and FOLLI, Stanford.
Sawamura, H. and Kiyozuka, K., 2000, Jvenn: A visual reasoning system with diagrams and sentences, in: Theory and Application of Diagrams, M. Anderson, P. Cheng, and V. Haarslev, eds., Lecture Notes in Artificial Intelligence, New York, Springer-Ver lag.
Shin, S.-J., 1996, Situation-theoretic account of valid reasoning with Venn diagrams, in: Logical Reasoning with Diagrams, G. Allwein and J. Barwise, eds., Oxford University Press, New York, pp. 81–108.
Swoboda, N., 2001, Designing Heterogeneous Reasoning Systems with a Case Study on FOL and Euler/Venn Reasoning, PhD thesis, Indiana University.
Swoboda, N., 2002, Implementing Euler/Venn reasoning systems, in: Diagrammatic Representation and Reasoning, M. Anderson, B. Meyer, and P. Olivier, eds., Springer-Verlag, London, pp. 371–386.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Swoboda, N., Allwein, G. (2002). A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems. In: Magnani, L., Nersessian, N.J., Pizzi, C. (eds) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0550-0_1
Download citation
DOI: https://doi.org/10.1007/978-94-010-0550-0_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0791-0
Online ISBN: 978-94-010-0550-0
eBook Packages: Springer Book Archive