Knowledge, actions, and tests
Herzig, Andreas and Lang, Jérôme and Polacsek, Thomas
Abstract:
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.
Bibtex-entry:
@InProceedings{HeLaPo-WSijcai99,
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"
}
https://www.irit.fr/~Andreas.Herzig