How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements

Thomas Eiter, Aaron Hunter, Francois Schwarzentruber

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Main Track. Pages 1866-1872. https://doi.org/10.24963/ijcai.2021/257

Consider a set of agents with initial beliefs and a formal operator for incorporating new information. Now suppose that, for each agent, we have a formula that we would like them to believe. Does there exist a single announcement that will lead all agents to believe the corresponding formula? This paper studies the problem of the existence of such an announcement in the context of model-preference definable revision operators. First, we provide two characterisation theorems for the existence of announcements: one in the general case, the other for total partial orderings. Second, we exploit the characterisation theorems to provide upper bound complexity results. Finally, we also provide matching optimal lower bounds for the Dalal and Ginsberg operators.
Keywords:
Knowledge Representation and Reasoning: Belief Change
Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief