Abstract
We present a logic which allows to reason about the relationship between an agent’s beliefs and the information that the agent obtains by his senses. Our logic reconstructs standard doxastic logic by primitives denoting that an agent receives from his senses the datum that some propositional variable is true or false. We give a sound and complete axiomatization and prove that the logic is decidable. We also discuss extensions of the basic logic by principles of introspection and a variant in terms of knowledge instead of belief. We finally extend the logic by events in the style of dynamic epistemic logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
These are the L-PB models \(V \cup \{ {p}^{0}\}\), \(V \setminus \{{p}^{0}\}\), \((V \cup \{{\mathsf{datum}}^{\top }(i,p)\})\setminus \{{\mathsf{datum}}^{\perp }(i,p)\}\), \((V \cup \{{\mathsf{datum}}^{\perp }(i,p)\})\setminus \{{\mathsf{datum}}^{\top }(i,p)\}\), \(V \setminus \{{\mathsf{datum}}^{\top }(i,p)\}\), and \(V \setminus \{{\mathsf{datum}}^{\perp }(i,p)\}\).
- 2.
See van Ditmarsch et al. (2009) for a similar notion of forgetting.
- 3.
Precisely, \(\mathsf{MBel}_{C}^{k}p\) can be defined in the three steps as follows. First, we define \(\mathsf{EBel}_{C}^{}p\) as an abbreviation of \(\bigwedge _{i\in C}\mathsf{B}_{i}\). Then, we inductively define \(\mathsf{EBel}_{C}^{k}p\) for every \(k \in \mathbb{N}\): \(\mathsf{EBel}_{C}^{0}p\ \stackrel{\mathtt{def}}{=}\ p\) and \(\mathsf{EBel}_{C}^{k}p\ \stackrel{\mathtt{def}}{=}\ \mathsf{EBel}_{C}^{}\mathsf{EPerc}_{C}^{k-1}p\) for k > 0. Finally, we define \(\mathsf{MBel}_{C}^{n}p\) as an abbreviation of \(\bigwedge _{1\leq k\leq n}\mathsf{EBel}_{C}^{k}p\).
- 4.
References
Aumann, R. (1999). Interactive epistemology I: Knowledge. International Journal of Game Theory, 28(3), 263–300.
Clark, H. H., & Marshall, C. R. (1981). Definite reference and mutual knowledge. In A. K. Joshi, B. Webber, & I. A. Sag (Eds.), Elements of discourse understanding (pp. 10–63). Cambridge/ New York: Cambridge University Press.
Dretske, F. (1981). Knowledge and the flow of information. Cambridge: MIT.
Dretske, F. (1995). Meaningful perception. In D. N. Osherson & S. M. Kosslyn (Eds.), An invitation to cognitive science (Vol. 2): Visual cognition. Cambridge: MIT.
Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge: MIT.
Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT.
Herzig, A., Lorini, E., Moisan, F., & Troquard, N. (2011a). A dynamic logic of normative systems. In T. Walsh (Ed.), International joint conference on artificial intelligence (IJCAI), Barcelona (pp. 228–233). Morgan Kaufmann.
Herzig, A., Lorini, E., & Troquard, N. (2011b). A dynamic logic of institutional actions. In Computational logic in multi-agent systems (CLIMA): Vol. 6814. Lecture notes in computer science (pp. 295–311). Berlin: Springer.
Hintikka, J. (1962). Knowledge and belief. New York: Cornell University Press.
Kooi, B. P. (2003). Probabilistic dynamic epistemic logic. Journal of Logic, Language and Information, 12, 381–408.
Lorini, E., & Castelfranchi, C. (2007). The cognitive structure of surprise: Looking for basic principles. Topoi, 26(1), 133–149.
Lorini, E., Tummolini, L., & Herzig, A. (2005). Establishing mutual beliefs by joint attention: Towards a formal model of public events. In Proceedings of the 27th annual conference of the cognitive science society (CogSci 2005), Stresa, (pp. 1325–1330). Lawrence Erlbaum.
Pfeiffer-Leßmann, N., Wachsmuth, I. (2009). Formalizing joint attention in cooperative interaction with a virtual human. In Proceedings of KI 2009: Advances in artificial intelligence, 32nd annual german conference on AI, Paderborn (pp. 540–547).
Shanahan, M. (2002). A logical account of perception incorporating feedback and expectation. In Proceedings of the 8th international conference on principles of knowledge representation and reasoning (KR 2002), Toulouse (pp. 3–13). Morgan Kaufmann.
Tommasello, M. (1995). Joint attention as social cognition. In C. Moore & P. Dunham (Eds.), Joint attention: Its origins and role in development (pp. 103–130). Hillsdale: Lawrence Erlbaum.
van der Hoek, W., Troquard, N., & Wooldridge, M. (2011). Knowledge and control. In Proceedings of the 10th international joint conference on autonomous agents and multiagent systems (AAMAS’11), Taipei (pp. 719–726). ACM.
van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Synthese Library, 337, Springer.
van Ditmarsch, H., Herzig, A., Lang, J., & Marquis, P. (2009). Introspective forgetting. Synthese, 169(2), 405–423.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Herzig, A., Lorini, E. (2014). A Modal Logic of Perceptual Belief. In: Lihoreau, F., Rebuschi, M. (eds) Epistemology, Context, and Formalism. Synthese Library, vol 369. Springer, Cham. https://doi.org/10.1007/978-3-319-02943-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-02943-6_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02942-9
Online ISBN: 978-3-319-02943-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)