Knowledge, actions, and tests

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


We study a modal logic of knowledge and action, focussing on epistemic tests. We view an epistemic test as an action undertaken by an agent in order to establish whether a given formula is true. Such tests increase the knowledge of agents. We propose a semantics, and associate an axiomatics and a proof procedure.




  author =       "Herzig, Andreas and Jerôme Lang and Thomas Polacsek",
  title =        "Knowledge, actions, and tests",
  editor = 	 "Bell, John",
  booktitle = 	 "IJCAI'95 Workshop on Practical Reasoning and Rationality", 
  address = 	 "Stockholm", 
  month = 	 aug,
  year =         "1999"