{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:32:30Z","timestamp":1723015950388},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/246","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:49:10Z","timestamp":1530755350000},"page":"1781-1787","source":"Crossref","is-referenced-by-count":0,"title":["Belief Update in the Horn Fragment"],"prefix":"10.24963","author":[{"given":"Nadia","family":"Creignou","sequence":"first","affiliation":[{"name":"Aix Marseille Univ, Universite de Toulon, CNRS, LIS, Marseille, France"}]},{"given":"Adrian","family":"Haret","sequence":"additional","affiliation":[{"name":"TU Wien, Institute of Logic and Computation 192-02, TU Wien, Vienna, Austria"}]},{"given":"Odile","family":"Papini","sequence":"additional","affiliation":[{"name":"Aix Marseille Univ, Universite de Toulon, CNRS, LIS, Marseille, France"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[{"name":"TU Wien, Institute of Logic and Computation 192-02, TU Wien, Vienna, Austria"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:51:15Z","timestamp":1530755475000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/246"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/246","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}