Belief merging within fragments of propositional logic

04/25/2014
by   Nadia Creignou, et al.
0

Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment. However, the problem of belief merging within fragments of propositional logic has been neglected so far. This paper presents a general approach to define new merging operators derived from existing ones such that the result of merging remains in the fragment under consideration. Our approach is not limited to the case of Horn fragment but applicable to any fragment of propositional logic characterized by a closure property on the sets of models of its formulae. We study the logical properties of the proposed operators in terms of satisfaction of merging postulates, considering in particular distance-based merging operators for Horn and Krom fragments.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/30/2009

A general approach to belief change in answer set programming

We address the problem of belief change in (nonmonotonic) logic programm...
research
03/15/2012

Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation

Belief merging is an important but difficult problem in Artificial Intel...
research
02/14/2018

Morphologic for knowledge dynamics: revision, fusion, abduction

Several tasks in artificial intelligence require to be able to find mode...
research
06/02/2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

Descriptor revision by Hansson is a framework for addressing the problem...
research
12/12/2014

Belief revision in the propositional closure of a qualitative algebra

Belief revision is an operation that aims at modifying old be-liefs so t...
research
03/31/2016

Distributing Knowledge into Simple Bases

Understanding the behavior of belief change operators for fragments of c...
research
05/05/2014

Belief revision in the propositional closure of a qualitative algebra (extended version)

Belief revision is an operation that aims at modifying old beliefs so th...

Please sign up or login with your details

Forgot password? Click here to reset