Ryan F. Kelly, Adrian R. Pearce
We develop a formal account of complex group-level epistemic modalities in the situation calculus, with a particular focus on reasoning about common knowledge. Expressions involving common knowledge cannot be handled by standard regression techniques and are thus difficult to reason about effectively. Taking our cue from recent promising work in dynamic epistemic logic, we overcome this limitation by increasing the expressive power of the epistemic language. The syntax of first-order dynamic logic is used to form complex epistemic modalities from the individual-level knowledge operators. Common knowledge is a special case of this syntax, using the unbounded iteration operator. We develop a regression rule for these complex modalities and demonstrate its use to reason about common knowledge in an example domain. The result is a rich multi-agent theory of knowledge and action in which complex group-level epistemic modalities are amenable to effective automated reasoning.
Subjects: 11. Knowledge Representation; 3. Automated Reasoning
Submitted: Jun 5, 2008