What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario
Abstract
We consider the problem of identifying the change formula in a belief revision scenario: given that an unknown announcement (a formula mu) led a set of agents to revise their beliefs and given the prior beliefs and the revised beliefs of the agents, what can be said about mu? We show that under weak conditions about the rationality of the revision operators used by the agents, the set of candidate formulae has the form of a logical interval. We explain how the bounds of this interval can be tightened when the revision operators used by the agents are known and/or when mu is known to be independent from a given set of variables. We also investigate the completeness issue, i.e., whether mu can be exactly identified. We present some sufficient conditions for it, identify its computational complexity, and report the results of some experiments about it.
Cite
Text
Schwind et al. "What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/258Markdown
[Schwind et al. "What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/schwind2019ijcai-said/) doi:10.24963/IJCAI.2019/258BibTeX
@inproceedings{schwind2019ijcai-said,
title = {{What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario}},
author = {Schwind, Nicolas and Inoue, Katsumi and Konieczny, Sébastien and Lagniez, Jean-Marie and Marquis, Pierre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1865-1871},
doi = {10.24963/IJCAI.2019/258},
url = {https://mlanthology.org/ijcai/2019/schwind2019ijcai-said/}
}