On the Interactions of Awareness and Certainty
We examine the interactions of knowledge and awareness in dynamic epistemic logic. Implicit knowledge describes the things that an agent could infer from what is known, if the agent were aware of the necessary concepts. Reasoning techniques that are robust to incomplete awareness are important when considering interactions of automated agents in complex dynamic environments, such as the semantic web. Here we revisit Hector Levesque’s original motivation of implicit knowledge and consider several contemporary realizations of implicit knowledge. We present a framework to compare different interactions of knowledge and awareness in the context of public announcements, and introduce a new formalism for tacit knowledge.
KeywordsModal Logic Tacit Knowledge Explicit Knowledge Implicit Knowledge Epistemic Logic
Unable to display preview. Download preview PDF.
- 1.Agotnes, T., Alechina, N.: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. In: Proceedings of TARK XI, pp. 6–14. ACM, New York (2007)Google Scholar
- 2.van Benthem, J., Velazquez-Quesada, F.: Inference, promotion and the dynamics of awareness. In: Knowledge, Rationality and Action (2009)Google Scholar
- 3.Cadoli, M., Schaerf, M.: Approximate reasoning and non-omniscient agents. In: TARK (1992)Google Scholar
- 12.Sim, K.M.: Epistemic logic and logical omniscience ii: A unifying framework. International Journal of Intelligent Systems 15 (2000)Google Scholar
- 13.Levesque, H.: Logic of implicit and explicit belief. In: Proceedings of AAAI 1984, pp. 198–202 (1984)Google Scholar
- 18.Velazquez-Quesada, F.: Small steps in dynamics of information. Ph.D. thesis, University of Amsterdam (2011), iLLC Dissertation Series DS-2011-02Google Scholar