Argumentative inference in uncertain and inconsistent knowledge bases release_rgcfv2gdrze7bl63ufrkkytamq

by Salem Benferhat, Didier Dubois, Henri Prade

Released as a report .

2013  

Abstract

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements, as well as prioritized ones where some elements are considered as more strongly entrenched than others are studied under different consequence relations. Lastly a paraconsistent-like treatment of prioritized knowledge bases is proposed, where both the level of entrenchment and the level of paraconsistency attached to a formula are propagated. The priority levels are handled in the framework of possibility theory.
In text/plain format

Archived Files and Locations

application/pdf  750.7 kB
file_dnvhz5urazbgraekeuhxcgfbny
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  report
Stage   submitted
Date   2013-03-06
Version   v1
Language   en ?
Number  UAI-P-1993-PG-411-419
arXiv  1303.1503v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 702ee747-781e-475d-858b-e56dea37b101
API URL: JSON