Abstract
This paper develops a formalism combining elements of epistemic and nonmonotonic logic, which is applied to the general topic of modeling the attitudes of other agents, and in particular to the problem of achieving mutuality.
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
Aumann, R. J. (1976). Agreeing to disagree. Annals of Statistics, 4(6):1236–1239.
Barwise, K. J. (1988). Three views of common knowledge. In Vardi, M. Y., editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 365–379, Los Altos, California. Morgan Kaufmann.
Buvač, S. and Mason, I. (1993). Propositional logic of context. In Fikes, R. and Lehnert, W., editors, Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 412–419, Menlo Park, California. American Association for Artificial Intelligence, AAAI Press.
Clark, H. (1992). Arenas of Language Use. University of Chicago Press, Chicago.
Clark, H. H. and Marshall, C. R. (1981). Definite reference and mutual knowledge. In Joshi, A., Webber, B., and Sag, I., editors, Linguistics Structure and Discourse Setting, pages 10–63. Cambridge University Press, Cambridge, England.
Clark, H. H. and Schober, M. (1989). Understanding by addressees and overhearers. Cognitive Psychology, 24:259–294. Republished in Clark, 1992.
Fagin, R., Halpern, J. Y., Moses, Y., and Vardi, M. Y. (1995). Reasoning about Knowledge. The MIT Press, Cambridge, Massachusetts.
Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36:336–346.
Guha, R. V. (1991). Contexts: a formalization and some applications. Technical Report STAN-CS-91-1399, Stanford Computer Science Department, Stanford, California.
Halpern, J. Y. and Lakemeyer, G. (1996). Multi-agent only knowing. In Shoham, Y., editor, Theoretical Aspects of Rationality and Knowledge: Proceedings of the Sixth Conference (TARK 1996), pages 251–265. Morgan Kaufmann, San Francisco.
Kremer, P. (1997). On the complexity of propositional quantification in intuitionistic logic. The Journal of Symbolic Logic, 62(2):529–544.
Kripke, S. (1965). A semantical analysis of modal logic II: Non-normal propositional calculi. In Henkin, L. and Tarski, A., editors, The Theory of Models, pages 206–220. North-Holland, Amsterdam.
Lemmon, E. (1957). New foundations for Lewis modal systems. Journal of Symbolic Logic, 22(2):176–186.
Lewis, D. K. (1969). Convention: A Philosophical Study. Harvard University Press, Cambridge, Massachusetts.
Lifschitz, V. (1986). Pointwise circumscription. In Kehler, T. and Rosenschein, S., editors, Proceedings of the Fifth National Conference on Artificial Intelligence, pages 406–410, Los Altos, California. American Association for Artificial Intelligence, Morgan Kaufmann.
McCarthy, J. (1980). Circumscription: A form of non-monotonic reasoning. Artificial Intelligence, 13:27–39.
Monteiro, A. M. and Wainer, J. (1996). Preferential multi-agent nonmonotonic logics. In Aiello, L. C., Doyle, J., and Shapiro, S., editors, KR′96: Principles of Knowledge Representation and Reasoning, pages 446–452. Morgan Kaufmann, San Francisco, California.
Morgenstern, L. (1990). A theory of multiple agent nonmonotonic reasoning. In Dietterich, T. and Swartout, W., editors, Proceedings of the Eighth National Conference on Artificial Intelligence, pages 538–544, Menlo Park, CA. American Association for Artificial Intelligence, AAAI Press.
Mortensen, C. D. (1996). Miscommunication. Sage Publications, Thousand Oaks, California.
Parikh, R. (1991). Monotonie and nonmonotonic logics of knowledge. Fundamenta Informaticae, 15(3–4):255–274.
Schiffer, S. (1972). Meaning. Oxford University Press, Oxford.
Stalnaker, R. C. (1975). Pragmatic presuppositions. In Munitz, M. K. and Unger, P., editors, Semantics and Philosophy. Academic Press, New York.
Thomason, R. H. (1990). Propagating epistemic coordination through mutual defaults I. In Parikh, R., editor, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference (TARK 1990), pages 29–39, Los Altos, California. Morgan Kaufmann.
Thomason, R. H. (1998). Intra-agent modality and nonmonotonic epistemic logic. In Gilboa, I., editor, Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference (TARK 1998), pages 57–69, San Francisco, California. Morgan Kaufmann.
Wainer, J. (1993). Epistemic extension of propositional preference logics. In Bajcsy, R., editor, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 382–387, San Mateo, California. Morgan Kaufmann.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Thomason, R.H. (2000). Modeling the Beliefs of other Agents. In: Minker, J. (eds) Logic-Based Artificial Intelligence. The Springer International Series in Engineering and Computer Science, vol 597. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1567-8_17
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1567-8_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5618-9
Online ISBN: 978-1-4615-1567-8
eBook Packages: Springer Book Archive