Abstract
Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is one of the agents involved in the situation. For this approach we propose and axiomatize a logical formalism based on epistemic logic. This leads us to formalize some intuitions about the internal approach and about its connections with the external ones. Finally, we show that our internal logic is decidable and PSPACE-complete.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alchourrón Carlos, Peter Gärdenfors, David Makinson (1985) ‘On the logic of theory change: Partial meet contraction and revision functions’. Journal of Symbolic Logic 50(2): 510–530
Arló Costa Horacio, Isaac Levi (1996) ‘Two notions of epistemic validity (epistemic models for Ramsey’s conditionals)’. Synthese 109: 217–262
Aucher, Guillaume. ‘Internal models and private multi-agent belief revision’, in Muller Padgham, Parkes, and Parsons, (eds.), Proceedings of Autonomous Agents and Multi-agent Systems (AAMAS 2008), Estoril, Portugal, 12-16 May 2008, pp. 721–727.
Aucher, Guillaume. ‘Generalizing AGM to a multi-agent setting’, Logic Journal of the IGPL, (2009). To appear.
Baltag Alexandru, Larry Moss (2004) ‘Logic for epistemic programs’. Synthese 139(2): 165–224
Banerjee, Mohua, and Didier dubois. ‘A simple modal logic for reasoning about revealed beliefs’, in Claudio Sossai, and Gaetano Chemello, (eds.), ECSQARU, vol. 5590 of LNCS, Springer, 2009, pp. 805–816.
Battigalli Pierpaolo, Giacomo Bonanno (1999) ‘Recent results on belief, knowledge and the epistemic foundations of game theory’. Research in Economics 53: 149–225
Blackburn, Patrick, Maarten de Rijke, and Yde Venema, Modal Logic, vol. 53 of Cambridge Tracts in Computer Science, Cambridge University Press, 2001.
Booth, Richard, and Alexander Nittka. ‘Reconstructing an agent’s epistemic state from observations about its beliefs and non-beliefs’, Journal of Logic and Computation, (2007). Accepted for publication.
Castañeda Hector-Neri (1964) ‘Review of ‘knowledge and belief”. Journal of Symbolic Logic 29: 132–134
Cohen Philip, Hector Levesque (1990) ‘Intention is choice with commitment’. Artificial intelligence 42: 213–261
Duc, Ho Ngoc, Resource-Bounded Reasoning about Knowledge, Ph.D. thesis, University of Leipzig, 2001.
Fagin Ronald, Joseph Halpern (1988) ‘Belief, awareness, and limited reasoning’. Artificial Intelligence 34: 39–76
Fagin, Ronald, Joseph Halpern, Yoram Moses, and Moshe Vardi, Reasoning about knowledge, MIT Press, 1995.
Gärdenfors Peter (1988) Knowledge in Flux (Modeling the Dynamics of Epistemic States). Bradford/MIT Press, Cambridge, Massachusetts
Georgeff, Michael, and Anand Rao. ‘Asymmetry thesis and side-effect problems in linear time and branching time intention logics’, in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), (Sydney, Australia), 1991, pp. 498–504.
Herzig, Andreas, Jérôme Lang, and Pierre Marquis. ‘Revision and update in multiagent belief structures’, in 5th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6), Leipzig, 2004.
Hintikka Jaakko (1962) Knowledge and Belief, An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca and London
Lenzen, Wolfgang, Recent Work in Epistemic Logic, Acta Philosophica 30, North Holland Publishing Company, 1978.
Levesque, Hector. ‘A logic of implicit and explicit knowledge’, in AAAI-84, Austin Texas, 1984, pp. 198–202.
Levi, Isaac, The covenant of reason: rationality and the commitments of thought, Cambridge University Press, 1997.
Lin, Fangzhen, and Ray Reiter. ‘Forget it!’, in Proceedings of the AAAI Fall Symposium on Relevance, 1994, pp. 154–159.
Meyer, John-Jules Ch., Frank de Boer, Rogier van Eijk, Koen Hindriks, and Wiebe van der Hoek. ‘On programming KARO agents’, Logic Journal of the IGPL, 9 (2001), 2.
Nagel, Thomas, The view from nowhere, oxford university press, 1986.
Nittka, Alexander, A Method for Reasoning about other Agents’ Beliefs from Observations, Ph.D. thesis, University of Leipzig, 2008.
Rao, Anand, and Michael Georgeff. ‘Modeling rational agents within a BDI-architecture’, in R. Fikes, and E. Sandewall, (eds.), Proceedings of Knowledge Representation and Reasoning (KR & R-91), Morgan Kaufmann Publishers, 1991, pp. 473–484.
van Linder, Bernd, Wiebe van der Hoek, and John-Jules Ch. Meyer. ‘Formalising abilities and opportunities of agents’, Fundamenta Informaticae, 34 (1998), 1-2, 53–101.
Voorbraak, Frans, As Far as I know. Epistemic Logic and Uncertainty, Ph.D. thesis, Utrecht University, 1993.
Wooldridge, Michael, Reasoning About Rational Agents, MIT Press, 2000.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aucher, G. An Internal Version of Epistemic Logic. Stud Logica 94, 1–22 (2010). https://doi.org/10.1007/s11225-010-9227-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9227-9