On the interactions of awareness and certainty

Authors:
Hans van Ditmarsch;Tim French
Affiliations:
Department of Logic, University of Sevilla, Spain;Computer Science and Software Engineering, The University of Western Australia, Australia
Venue:
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Year:
2011

Citing 7
Cited 0

Belief, awareness, and limited reasoning

Artificial Intelligence
Approximate reasoning and non-omniscient agents

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge

Reasoning about knowledge
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Twelve angry men: a study on the fine-grain of announcements

LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Becoming aware of propositional variables

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications

Quantified Score

Hi-index	0.00

Visualization

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 .