Abstract
In intentional systems, dynamic attitudes of an agent are characterized around the notion of action. Possible-world semantics presents an intuitive manner in order to model such attitudes. An action is basically a change from a mental state to another mental state. In this paper, we argue that action that changes not only mental state but also mental context needs a semantics more expressive. In this perspective, we propose a semantics that combines possible-world and a context-oriented semantics, called Local Models Semantics.
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
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Computer Science Dept. University of Toronto, Toronto (1990)
Chellas, B.F.: Modal logic. Cambridge University Press, Cambridge (1980)
Fagin, R., Halpern, J.Y.: Belief, Awareness, and Limited Reasoning. AI 34, 39–76 (1988)
Ghidini, C.: Modelling (un)bounded beliefs. In: Bouquet, P., Serafini, L., Brézillon, P., Benercetti, M., Castellani, F. (eds.) CONTEXT 1999. LNCS (LNAI), vol. 1688, pp. 145–158. Springer, Heidelberg (1999)
Giunchiglia, F.: Contextual reasoning. Technical Report 9211–20, Istituto per la Ricerca Scientifica e Technoligica, Trento, Italy (1992)
Giunchiglia, F., Ghidini, C.: Local Models semantics, or contextual reasoning = locality + compatibility. In: KR, pp. 282–291 (1998)
Harel, D.: Dynamic logic, pp. 497–604, Reidel (1984)
Kokinov, B.N.: A dynamic approach to context modeling. In: Proceedings of the IJCAI-1995 Workshop on Modeling Context in Knowledge representation and Reasoning. LAFORIA (1995)
Kokinov, B.N.: A dynamic theory of implicit context. In: Proceedings of the Second European Conference on Cognitive Science, University of Manchester Press (1997)
Kripke, S.: Naming and Necessity. Harvard University Press, Cambridge (1972)
Kripke, S.: Semantical considerations on modal logics. Acta philosophica fennica 16, 83–94 (1963)
Pauly, M., Parikh, R.: Game Logic - An Overview. Studia Logica 75(2), 165–182 (2003)
Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: proceedings of the First International Conference Multi-Agent Systems, pp. 312–319 (1995)
Sadek, M.D.: Attitudes mentales et interaction rationnelle: vers une théorie formelle de la communication, PhD in computer sciences, Université Rennes I (1991)
Sadek, M.D.: Communication theory = rationality principles + communicative act models. In: AAAI 1994 - Workshop on Planning for InterAgent Communication (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Devooght, K. (2007). A Semantics for Changing Frames of Mind. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds) Modeling and Using Context. CONTEXT 2007. Lecture Notes in Computer Science(), vol 4635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74255-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-74255-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74254-8
Online ISBN: 978-3-540-74255-5
eBook Packages: Computer ScienceComputer Science (R0)