Cholvy, Laurence and Garion, Christophe A logic to reason on contradictory beliefs with a majority approach. (2001) In: IJCAI'01 Workshop on Inconsistency in Data and Knowledge, 6 août 2001, Seattle, USA.
|(Document in English) |
PDF ( Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
The context of this paper is the problem of merging data provided by several information sources, which can be contradictory. It takes as a starting point, one of the majority merging operators that Konieczny and Pino-Perez have defined [ KPP98] , [ KPP99]. In these papers, the authors have characterized, from a semantical point of view, some majority merging operators. The aim of our work is to define a logical calculus which corresponds to one of these operators. This paper focuses on the case when the information sources are sets of literals. It presents a logic which is sound and complete for some interesting kind of formulas and an associated theorem prover.
|Item Type:||Conference or Workshop Item (Paper)|
|Audience (conference):||International conference without published proceedings|
|Institution:||French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA|
|Deposited By:||Christophe Garion|
Repository Staff Only: item control page