[Zurück]

A. Haret, St. Rümmele, S. Woltran:
"Merging in the Horn Fragment";
ACM Transactions on Computational Logic, 18 (2017), 1; S. 1 - 32.

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

http://dx.doi.org/10.1145/3043700

Projektleitung Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen

Projektleitung Stefan Woltran:
Wissensadaption in Logik-Fragmenten