Publications in Scientific Journals:
A. Haret, St. Rümmele, S. Woltran:
"Merging in the Horn Fragment";
ACM Transactions on Computational Logic,
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 representation theorems tailored to 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 article, we provide a novel representation theorem for Horn merging by strengthening the standard merging postulates. Moreover, we present concrete Horn merging operators satisfying all postulates.
Belief merging, belief change, Horn propositional logic
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Project Head Stefan Woltran:
Wissensadaption in Logik-Fragmenten
Created from the Publication Database of the Vienna University of Technology.