Belief Update in the Horn Fragment

Abstract : In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment. We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible worlds. Since the Horn fragment is not closed under disjunction, the standard postulates have to be adapted for the Horn fragment. Moreover, a restriction on the preorders (i.e., Horn compliance) and additional postulates are needed to obtain sensible characterizations for the Horn fragment, and this leads to our main contribution: a representation result which shows that the class of update operators captured by Horn compliant partial (resp. total) preorders over possible worlds is precisely that given by the adapted and augmented Horn update postulates. With these results at hand, we provide concrete Horn update operators and are able to shed light on Horn revision operators based on partial preorders.
Complete list of metadatas
Contributor : Nadia Creignou <>
Submitted on : Sunday, March 24, 2019 - 5:58:46 PM
Last modification on : Friday, April 5, 2019 - 10:34:31 AM
Long-term archiving on : Tuesday, June 25, 2019 - 12:28:17 PM


Files produced by the author(s)




Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran. Belief Update in the Horn Fragment. Twenty-Seventh International Joint Conference on Artificial Intelligence , Jul 2018, Stockholm, Sweden. pp.1781-1787, ⟨10.24963/ijcai.2018/246⟩. ⟨hal-02077737⟩



Record views


Files downloads