Abstract
In this paper, we develop a computational formulation of situation theory using the conceptual graph language CGL. Situation theory has been developed as a mathematical theory of meaning that has been applied to various problems in the study of natural language, logic, information, philosophy, and the mind. A computational framework for situation theory will be useful in having a practically implementable system incorporating situation theoretic constructs that could be applied in clarifying and problem solving in many areas of natural language semantics and artificial intelligence. On the other hand, CGL offers many computational constructs that are very closely related to most of the features of situation theory from a computational perspective. Some of the properties of CGL useful for situation theoretic programming include partitioning and nesting information, parameterized abstractions, access to nested and partitioned information, and constraint specification and satisfaction. Based on these observations, in this paper, we develop a specific computational framework in CGL called GiSIT, that can be used for situation theoretic programming and computations.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. Barwise. Noun phrases, generalized quantifiers, and anaphora. In Generalized Quantifiers, pages 1–29. Reidel, Dordrecht, Holland, 1987.
J. Barwise. The Situation in Logic. CSLI Lecture Notes Number 17. Center for the Study of Language and Information, Stanford, USA, 1989.
J. Barwise and J. Etchemendy. The Liar: An Essay on Truth and Circularity. Oxford University Press, New York, USA, 1987.
J. Barwise and J. Perry. Situations and Attitudes. The MIT Press, 1983.
A. W. Black. A Situation Theoretic Approach to Computational Semantics. Ph.d. thesis, Department of Artificial Intelligencem, University of Edinburgh, Edinburgh. U.K., 1993.
K. Devlin. Logic and Information. Cambridge University Press, Cambridge, UK, 1991.
B. C. Ghosh. Conceptual Graph Language — A Language of Logic and Information in Conceptual Structures, Doctoral dissertation, Asian Institute of Technology, Bangkok, Thailand, April 1996.
B. C. Ghosh and V. Wuwongse. Declarative Semantics of Conceptual Graphs Programs. In Proceedings of the Second Workshop on Peirce held in conjunction with the First International Conference on Conceptual Structures, August 1993.
B. C. Ghosh and V. Wuwongse. Inference Systems for Conceptual Graph Programs. In W. M. Tepfenhart, J. P. Dick, and J. F. Sowa, editors, Conceptual Structures: Current Practices, Lecture Notes in Artificial Intelligence No. 835, pages 214–229. Springer-Verlag, 1994.
B. C. Ghosh and V. Wuwongse. A Direct Proof Procedure for Conceptual Graph Programs. In W. Rich G. Ellis, R. Levinson and J. F. Sowa, editors, Conceptual Structures: Applications, Implementaton and Theory, Lecture Notes in Artificial Intelligence No. 954, pages 157–172. Springer-Verlag, 1995.
B. C. Ghosh and V. Wuwongse. Conceptual Graph Programs and Their Declarative Semantics. IEICE Transactions on Information and Systems, E78-D(9):1208–1217, September 1995.
B. C. Ghosh and V. Wuwongse. Extended Conceptual Graph Language. Technical report, Asian Institute of Technology, Bangkok, Thailand, November 1995.
B. C. Ghosh and V. Wuwongse. Fundamentals of Conceptual Graph Programs. Technical report, Asian Institute of Technology, Bangkok, Thailand, March 1995.
H. Nakashima, H. Suzuki, P.-K. Halvorsen, and S. Peters. Towards a Computational Interpretation of Situation Theory. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 489–498. Institute for New Generation Computer Technology, Tokyo, Japan, 1988.
J. F. Sowa. Conceptual Structure: Information Processing in Mind and Machine. Addison-Wesley Publishing Company, Inc., 1984.
J. F. Sowa. Syntax, Semantics, and Pragmatics of Contexts. In W. Rich G. Ellis, R. Levinson and J. F. Sowa, editors, Conceptual Structures: Applications, Implementaton and Theory, Lecture Notes in Artificial Intelligence No. 954, pages 1–15. Springer-Verlag, 1995.
E. Tin and V. Akman. BABY-SIT: A Computational Medium Based on Situations. In P. Dekker and M. Stokhof, editors, Proceedings of the 9th Amsterdam Colloquium, volume Part III, pages 665–681. University of Amsterdam, Amsterdam, Holland: Institute of Logic, Language, and Computation, 1993.
E. Tin and V. Akman. Computational Situation Theory. ACM SIGART Bulletin, 5(4):4–17, October–November 1994.
E. Tin and V. Akman. Towards Situation-Oriented Programming Languages. ACM SIGPLAN Notices, 30(5):27–36, January 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghosh, B.C., Wuwongse, V. (1996). Computational situation theory in the conceptual graph language. In: Eklund, P.W., Ellis, G., Mann, G. (eds) Conceptual Structures: Knowledge Representation as Interlingua. ICCS 1996. Lecture Notes in Computer Science, vol 1115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61534-2_12
Download citation
DOI: https://doi.org/10.1007/3-540-61534-2_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61534-7
Online ISBN: 978-3-540-68730-6
eBook Packages: Springer Book Archive