Dialectic Reasoning with Inconsistent Information

by   Morten Elvang-Gøransson, et al.

From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept. This kind of uncertainty is called logical uncertainty. We define a concept of "acceptability", which induces a means for differentiating arguments. The more acceptable an argument, the more confident we are in it. A specific interest is to use the acceptability classes to assign linguistic qualifiers to propositions, such that the qualifier assigned to a propositions reflects its logical uncertainty. A more general interest is to understand how classes of acceptability can be defined for arguments constructed from an inconsistent database, and how this notion of acceptability can be devised to reflect different criteria. Whilst concentrating on the aspects of assigning linguistic qualifiers to propositions, we also indicate the more general significance of the notion of acceptability.



There are no comments yet.


page 1

page 2

page 3

page 4


Polymorphism and the obstinate circularity of second order logic: a victims' tale

The investigations on higher-order type theories and on the related noti...

Uncertain Inferences and Uncertain Conclusions

Uncertainty may be taken to characterize inferences, their conclusions, ...

Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

In this paper, we present a preliminary work on an approach to fill the ...

Graduality in Argumentation

Argumentation is based on the exchange and valuation of interacting argu...

Attacker and Defender Counting Approach for Abstract Argumentation

In Dung's abstract argumentation, arguments are either acceptable or una...

Strong & Weak Methods: A Logical View of Uncertainty

The last few years has seen a growing debate about techniques for managi...

David Poole's Specificity Revised

In the middle of the 1980s, David Poole introduced a semantical, model-t...
This week in AI

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