Log In Sign Up

A Revision-Based Approach to Resolving Conflicting Information

by   Guilin Qi, et al.

In this paper, we propose a revision-based approach for conflict resolution by generalizing the Disjunctive Maxi-Adjustment (DMA) approach (Benferhat et al. 2004). Revision operators can be classified into two different families: the model-based ones and the formula-based ones. So the revision-based approach has two different versions according to which family of revision operators is chosen. Two particular revision operators are considered, one is the Dalal's revision operator, which is a model-based revision operator, and the other is the cardinality-maximal based revision operator, which is a formulabased revision operator. When the Dalal's revision operator is chosen, the revision-based approach is independent of the syntactic form in each stratum and it captures some notion of minimal change. When the cardinalitymaximal based revision operator is chosen, the revision-based approach is equivalent to the DMA approach. We also show that both approaches are computationally easier than the DMA approach.


page 1

page 2

page 3

page 4


Operator preconditioning: the simplest case

Using the framework of operator or Calderón preconditioning, uniform pre...

Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases

Hybrid MKNF knowledge bases have been considered one of the dominant app...

On the evolution of the instance level of DL-lite knowledge bases

Recent papers address the issue of updating the instance level of knowle...

Compositional Belief Update

In this paper we explore a class of belief update operators, in which th...

Admissible and Restrained Revision

As partial justification of their framework for iterated belief revision...

Simulating Non Stationary Operators in Search Algorithms

In this paper, we propose a model for simulating search operators whose ...

A unified approach to calculation of information operators in semiparametric models

The infinite-dimensional information operator for the nuisance parameter...