Argumentative inference in uncertain and inconsistent knowledge bases

03/06/2013
by   Salem Benferhat, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 4

page 5

page 6

page 7

page 8

page 9

07/11/2012

Using arguments for making decisions: A possibilistic logic approach

Humans currently use arguments for explaining choices which are already ...
01/30/2013

On the Acceptability of Arguments in Preference-Based Argumentation

Argumentation is a promising model for reasoning with uncertain knowledg...
01/10/2013

Graphical readings of possibilistic logic bases

Possibility theory offers either a qualitive, or a numerical framework f...
05/24/2021

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

Approximation fixpoint theory (AFT) provides an algebraic framework for ...
06/09/2009

Toward a Category Theory Design of Ontological Knowledge Bases

I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_a...
05/16/2018

On Affine Tropical F5 Algorithms

Let K be a field equipped with a valuation. Tropical varieties over K ca...
07/11/2011

Advancing Multi-Context Systems by Inconsistency Management

Multi-Context Systems are an expressive formalism to model (possibly) no...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.