Merging in the Horn Fragment
Abstract
Belief merging is a central operation within the field of belief change and addresses the problem of combining multiple, possibly mutually inconsistent knowledge bases into a single, consistent one. A current research trend in belief change is concerned with tailored representation theorems for fragments of logic, in particular Horn logic. Hereby, the goal is to guarantee that the result of the change operations stays within the fragment under consideration. While several such results have been obtained for Horn revision and Horn contraction, merging of Horn theories has been neglected so far. In this paper, we provide a novel representation theorem for Horn merging by strengthening the standard merging postulates. Moreover, we present a concrete Horn merging operator satisfying all postulates.
Cite
Text
Haret et al. "Merging in the Horn Fragment." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Haret et al. "Merging in the Horn Fragment." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/haret2015ijcai-merging/)BibTeX
@inproceedings{haret2015ijcai-merging,
title = {{Merging in the Horn Fragment}},
author = {Haret, Adrian and Rümmele, Stefan and Woltran, Stefan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {3041-3047},
url = {https://mlanthology.org/ijcai/2015/haret2015ijcai-merging/}
}