Abstract
When building artificial agents that have to make decisions, understanding what follows from what they know or believe is mandatory, but it is also important to understand what happens when those agents ignore some facts, where ignoring a fact is interpreted to stand for not knowing/not being aware of something. This becomes especially relevant when such agents ignore their ignorance, since this hinders their ability of seeking the information they are missing. Given this fact, it might prove useful to clarify in which circumstances ignorance is present and what might cause an agent to ignore that he/she is ignoring. This paper is an attempt at exploring those facts. In the paper, the relationship between ignorance and beliefs is analysed. In particular, three doxastic effects are discussed, showing that they can be seen as a cause of ignorance. The effects are formalized in a bi-modal formal language for knowledge and belief and it is shown how ignorance follows directly from those effects. Moreover, it is shown that negative introspection is the culprit of the passage between simply ignoring a fact and ignoring someone’s ignorance about that fact. Those results could prove useful when artificial agents are designed, since modellers would be aware of which conditions are mandatory to avoid deep forms of ignorance; this means that those artificial agents would be able to infer which information they are ignoring and they could employ this fact to seek it and fill the gaps in their knowledge/belief base.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
It is necessary to clarify that the term ignorance employed in this paper is given a specific meaning, i.e., to not know/not be aware of something.
- 3.
In this paper, the term doxastic will always refer to the act of believing.
- 4.
In the paper, ignorance will always be indicated with a specific order, which indicates the depth of the ignoring phenomenon. First-order ignorance means that a given fact is ignored; second-order ignorance means that it is ignored that a given fact is ignored, and so forth.
- 5.
The interested reader is referred to [17] for a standard presentation of Kripke structures.
- 6.
Note that an ignorance formula could represent instances of ignorance of any order, depending on how many occurrences of ignorance operators appear in the formula \(\phi \).
- 7.
Note that, given the semantic framework employed to interpret the two notions, those notions also distribute over implications.
- 8.
See, e.g., [2].
- 9.
The abbreviations that will be employed in the proofs of this paper will all be reported here. Ass. will stand for “assumption”; P. Taut. will stand for “propositional tautology”; Elim. will stand for “elimination rule”; Intr. will stand for “introduction rule”; Contrap. will stand for “contrapposition”; MP will stand for “Modus Ponens”; DM will stand for “DeMorgan rules”; DS will stand for “disjunctive syllogism”; Nec. will stand for “necessitation rule”; finally Distr. will stand for “distributivity rule”.
- 10.
See [6] for a discussion about different aspects that relate misbelieving and ignoring.
- 11.
It should be pointed out that Fine does not use the terms “first-order ignorance”, “second-order ignorance” and so on. However, to maintain coherence with the rest of the paper, those terms will be employed when the concepts expressed by Fine are aligned with the meanings attributed to those terms in this paper.
- 12.
Proofs of lemmas will not be provided. If the reader is interested, in [7] it is possible to find all the details concerning the lemmas which are introduced here. The only important detail is that Fine provides proofs in the axiomatic system S4, which is a system that defined languages weaker than the one employed in this paper. Therefore, every proof provided by Fine could be easily reproduced inside \(\mathcal {L}\).
- 13.
Fine proves such lemma while proving his main theorem. However, to make the proof easier to read, this lemma will be given separately. The proof of such lemma can be found in appendix A.
- 14.
This result is not novel to this paper, but is well known in the logical literature on formalizing ignorance.
References
Adam, C., Gaudou, B.: BDI agents in social simulations: a survey. Knowl. Eng. Rev. 31(3), 207–238 (2016)
Artemov, S., Fitting, M.: “Justification Logic”, The Stanford Encyclopedia of Philosophy (Summer 2020 Edition), Edward N. Zalta (ed.)
Baltag, A., Renne, B.: “Dynamic Epistemic Logic”, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.)
Caillou, P., Gaudou, B., Grignard, A., Truong, C. Q., Taillandier, P.: A simple-to-use BDI architecture for Agent-based Modeling and Simulation. In: Proceedings of the 11th Conference of the European Social Simulation Association (ESSA 2015) (2015)
Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Fano, V., Graziani, P.: A working hypothesis for the logic of radical ignorance, Synthese (2020)
Fine, K.: Ignorance of ignorance. Synthese 195(9), 4031–4045 (2018)
Georgeff, M., Pell, B., Pollack, M., Tambe, M., Wooldridge, M.: The belief-desire-intention model of agency. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998 (1999)
Halpern, J.Y.: A theory of knowledge and ignorance for many agents. J. Logic Comput. 7(1), 79–108 (1997)
Halpern, J., Moses., Y., Fagin, R., Vardi, M.: Reasoning about knowledge. The MIT Press, Cambridge (1995)
Hintikka, J.: Knowledge and beliefs: an Introduction to the logic of the two notions. Cornell University Press, Ithaca (1962)
van der Hoek, W., Lomuscio, A.: A logic for ignorance. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003 (2004)
Meyer, C., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge University Press, Cambridge (1995)
Mints, G.: Natural deduction for propositional logic. In: A Short Introduction to Intuitionistic Logic. The University Series in Mathematics, pp. 9–22. Springer, Boston (2002). https://doi.org/10.1007/0-306-46975-8_3
Plato, “Theaetetus”, traslation by McDowell, J., Oxford University Press, Oxford (2014)
Rao, A., Georgeff, M.: Formal models and decision procedures for multi-agent systems. Technical Note, AAII (1995)
Rendsvig, R., Symons, J.: “Epistemic Logic”. The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), Edward N. Zalta (ed.)
Smitha Rao, M.S., Jyothsna, A.N.: BDI: applications and architectures. Int. J. Eng. Res. Technol. 2(2), 1–5 (2013)
Steinsvold, C.: A Note on Logics of Ignorance and Borders. Notre Dame Journal of Formal Logic 49(4), 385–392 (2008)
Souza, M.: Choices that make you change your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming language, Ph.D. Thesis, University of Rio Grande (2016)
Aldini, A., Tagliaferri, M.: Logics to reason formally about trust computation and manipulation. In: Saracino, A., Mori, P. (eds.) ETAA 2019. LNCS, vol. 11967, pp. 1–15. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-39749-4_1
Tagliaferri, M., Aldini, A.: From knowledge to trust: a logical framework for pre-trust computations. IFIP Adv. Inf. Commun. Technol. 528, 107–123 (2018)
Tripathi, K.P.: A review on knowledge-based expert system: concept and architecture. IJCA Special Issue on “Artificial Intelligence Techniques - Novel Approaches and Practical Applications (2011)
Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)
Wooldridge, M.: Practical reasoning with procedural knowledge. In: Gabbay, D.M., Ohlbach, H.J. (eds.) FAPR 1996. LNCS, vol. 1085, pp. 663–678. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61313-7_108
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Formal Proofs
A Formal Proofs
Proof
(Proposition 1)
The proof will be split into two parts.
Case 1: The proof will be given directly.
Case 2: The proof will be given directly.
Proof
(Proposition 2)
The proof will be given directly.
Proof
(Proposition 3)
The proof will be split into two parts, showing that each disjunct of the antecedent of the conditional implies the consequent of the conditional.
Case 1: The proof will be given directly.
Case 2: The proof will be given directly.
Proof
(Lemma 5) The proof is given by contradiction.
Since a contradiction has been reached, one of the assumptions must be rejected. Thus, \(I(I(\phi ))\rightarrow \lnot K(I(I(\phi )))\) holds in \(\mathcal {L}\). \(\square \)
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Aldini, A., Graziani, P., Tagliaferri, M. (2021). Reasoning About Ignorance and Beliefs. In: Cleophas, L., Massink, M. (eds) Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. SEFM 2020. Lecture Notes in Computer Science(), vol 12524. Springer, Cham. https://doi.org/10.1007/978-3-030-67220-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-67220-1_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67219-5
Online ISBN: 978-3-030-67220-1
eBook Packages: Computer ScienceComputer Science (R0)