Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
van Benthem, J., Velazquez-Quesada, F.: Inference, promotion and the dynamics of awareness. In: Knowledge, Rationality and Action (2009)
Cadoli, M., Schaerf, M.: Approximate reasoning and non-omniscient agents. In: TARK (1992)
van Ditmarsch, H., French, T.: Becoming Aware of Propositional Variables. In: Banerjee, M., Seth, A. (eds.) Logic and Its Applications. LNCS, vol. 6521, pp. 204–218. Springer, Heidelberg (2011)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, Synthese Library, vol. 337. Springer, Heidelberg (2007)
Fagin, R., Halpern, J.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Grossi, D., Velázquez-Quesada, F.R.: Twelve Angry Men: A Study on the Fine-Grain of Announcements. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 147–160. Springer, Heidelberg (2009)
Halpern, J., Rego, L.: Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2), 503–525 (2009)
Heifetz, A., Meier, M., Schipper, B.: Interactive unawareness. Journal of Economic Theory 130, 78–94 (2006)
Hill, B.: Awareness dynamics. Journal of Philosophical Logic 39, 113–137 (2010)
Sim, K.M.: Epistemic logic and logical omniscience ii: A unifying framework. International Journal of Intelligent Systems 15 (2000)
Levesque, H.: Logic of implicit and explicit belief. In: Proceedings of AAAI 1984, pp. 198–202 (1984)
Modica, S., Rustichini, A.: Unawareness and partitional information structures. Games and Economic Behavior 27, 265–298 (1999)
Polanyi, M.: The logic of tacit inference. Philosophy 41, 1 (1966)
Sillari, G.: Quantified logic of awareness and impossible possible worlds. Review of Symbolic Logic 1(4), 514–529 (2008)
Velázquez-Quesada, F.R.: Inference and update. Synthese (Knowledge, Rationality and Action) 169(2), 283–300 (2009)
Velazquez-Quesada, F.: Small steps in dynamics of information. Ph.D. thesis, University of Amsterdam (2011), iLLC Dissertation Series DS-2011-02
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Ditmarsch, H., French, T. (2011). On the Interactions of Awareness and Certainty. In: Wang, D., Reynolds, M. (eds) AI 2011: Advances in Artificial Intelligence. AI 2011. Lecture Notes in Computer Science(), vol 7106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25832-9_74
Download citation
DOI: https://doi.org/10.1007/978-3-642-25832-9_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25831-2
Online ISBN: 978-3-642-25832-9
eBook Packages: Computer ScienceComputer Science (R0)