ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

A Modal Logic for Epistemic Tests

Andreas Herzig, Jérôme Lang, Thomas Polacsek

We study a modal logic of knowledge and action, focussing on knowledge gathering actions. Such tests increase the agent's knowledge. We propose a semantics, and associate an axiomatics and a rewriting-based proof procedure.

Keywords: reasoning about actions and change, knowledge acquisition, diagnosis, logics of knowledge and action

Citation: Andreas Herzig, Jérôme Lang, Thomas Polacsek: A Modal Logic for Epistemic Tests. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.553-557.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.