OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A logic to reason on contradictory beliefs with a majority approach

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 .

[img]
Preview
(Document in English)

PDF ( Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
195kB

Official URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.1769

Abstract

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
Uncontrolled Keywords:
Institution:French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
Laboratory name:
Statistics:download
Deposited By: Christophe Garion

Repository Staff Only: item control page