Abstract
This paper describes a framework based on logic programming to provide computational instruments to design cognitive agents and systems in Situation Theory.
This framework provides a representation in Prolog for the Situation Theory objects: individuals, relations, infons, situations, parameters, anchors, types (object types and situation types) and for making inferences by using rules such as “supports” and “constraints”. It provides also two mechanisms for inferences: based upon backward chaining and upon forward chaining. These inferences are situated in a particular or in a general context.
We conclude this paper giving examples of applications of this framework and showing how it can be used as a tool to build agents and systems having Situation Theory as their theoretical basis. We claim that this framework can be easily extended to include induction and belief systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Aczel, P. Israel, D., Katagiri, Y. and Peters, S.(Eds), Situation Theory and its Applications, Vol 3, CSLI Lectures Notes N∘ 37, 1993.
Barwise, J. and Perry, J., Situations and Attitudes. Bradford Books, MIT Press, 1983.
Barwise, J., Constraints, Channels and the Flow of Information. In Aczel, P. Israel, D., Katagiri, Y. and Peters, S.(Eds), Situation Theory and its Applications, Vol 3, CSLI Lectures Notes N∘ 37, 1993.
Bratko, I., Prolog programming for Artificial Intelligence. Addison Wesley Publishing Company, 1986.
Corrêa M. and Coelho H., Around the architectural approach to model converstations. In Proceedings of Modelling Autonomous Agents in a Multi-Agent World (MAAMAW), Nêuchatel, Swiss, 1993.
Corrêa, M., The Architecture of Dialogs of Distributed Cognitive Agents, D.Sc. Thesis, (in Portuguese). Federal University of Rio de Janeiro, 1994.
Devlin, K., Logic and Information, Cambridge University Press, Cambridge, 1991.
Devlin, K., and Rosenberg, D., Situation Theory and Cooperative Action. In Aczel, P. Israel, D., Katagiri, Y. and Peters, S.(Eds), Situation Theory and its Applications, Vol 3, CSLI Lectures Notes N∘ 37, 1993.
Nakashima, H., Suzuki, H., Halvorsen, P. and Peters, S., Towards a Computational Inerpretation of Situation Theory. Proceedings of the International Conference on Fifth Generation Computer Systems, 1988.
Poesio, M., A Situation-Theoretic Formalization of Definite Description Interpretaiton in Plan Elaboration Dialogues. In Aczel, P. Israel, D., Katagiri, Y. and Peters, S.(Eds), Situation Theory and its Applications, Vol 3, CSLI Lectures Notes N∘ 37, 1993.
Sterling, L. and Shapiro, E., The Art of Prolog: Advanced Programming Techniques. The MIT Press, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corrêa, M., Mendes, S. (1995). A computational approach to situation theory based on logic programming to design cognitive agents. In: Wainer, J., Carvalho, A. (eds) Advances in Artificial Intelligence. SBIA 1995. Lecture Notes in Computer Science, vol 991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034815
Download citation
DOI: https://doi.org/10.1007/BFb0034815
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60436-5
Online ISBN: 978-3-540-47467-8
eBook Packages: Springer Book Archive