Abstract
Reasoning practices and decision making often require information from many different sources, which can be both sentential and diagrammatic. In such situations, there are many advantages to reasoning with the diagrams themselves, as opposed to re-expressing the information content of the diagram in sentential form and reasoning in an abstract sentential language. Thus for these practices, being able to extract and re-express pieces of information from one kind of representation into another is essential. The main goal of this paper is to propose a general framework for the modeling of heterogeneous reasoning systems and, most importantly, heterogeneous rules of inference in those systems. Unlike some other work in designing heterogeneous systems, our purpose will not be to define just one notion of heterogeneous inference, but rather to provide a framework in which many different kinds of heterogeneous rules of inference can be defined. After proposing this framework, we will then show how it can be applied to a sample heterogeneous system to define a number of different heterogeneous rules of inference. We will also discuss how the framework can be used to define rules of inference similar to the Observe Rule in Barwise and Etchemendy’s Hyperproof 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., Etchemendy, J.: Hyperproof. CSLI Publications, Stanford (1994)
Barker-Plummer, D., Bailin, S.C.: On the practical semantics of mathematical diagrams. In Anderson, M., ed.: Reasoning with Diagrammatic Representations. Number FS-97-03 in Technical Reports of the AAAI. AAAI Press (1997) 39–57
Jamnik, M.: Automating Diagrammatic Proofs of Arithmetic Arguments. PhD thesis, University of Edinburgh (1999)
Barwise, J., Seligman, J.: Information Flow — The Logic of Distributed Systems. Number 44 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1997)
Dretske, F.I.: Seeing and Knowing. Chicago University Press, Chicago (1969)
Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983)
Swoboda, N., Allwein, G.: A case study of the design and implementation of heterogeneous reasoning systems. In Magnani, L., Nersessian, N.J., eds.: Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic, Dordrecht (2002)
Swoboda, N.: Designing Heterogeneous Reasoning Systems with a Case Study on FOL and Euler/Venn Reasoning. PhD thesis, Indiana University (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Swoboda, N., Allwein, G. (2002). Modeling Heterogeneous Systems. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2002. Lecture Notes in Computer Science(), vol 2317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46037-3_17
Download citation
DOI: https://doi.org/10.1007/3-540-46037-3_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43561-7
Online ISBN: 978-3-540-46037-4
eBook Packages: Springer Book Archive