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.