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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png)
| (Document in English) PDF ( Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 190Kb |
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
