Skip to Main content Skip to Navigation
Conference papers

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 unkown annoucement (a formula µ) 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 µ? 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 µ is known to be independent from a given set of variables. We also investigate the completeness issue, i.e., whether µ can be exactly identified. We present some sufficient conditions for it, identify its computational complexity, and report the results of some experiments about it.
Document type :
Conference papers
Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03060338
Contributor : Sebastien Konieczny <>
Submitted on : Tuesday, December 29, 2020 - 12:10:35 PM
Last modification on : Tuesday, July 6, 2021 - 7:38:06 PM

Links full text

Identifiers

Collections

Citation

Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis. What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. 28th International Joint Conference on Artificial Intelligence , Aug 2019, Macao, China. pp.1865-1871, ⟨10.24963/ijcai.2019/258⟩. ⟨hal-03060338⟩

Share

Metrics

Record views

81