#### Filter Results:

#### Publication Year

1983

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the rst item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic deenitions for arguments, and various kinds of counter-arguments (defeaters). This leads us to the deenition of… (More)

Dung's argumentation system takes as input a set of arguments and a binary relation encoding attacks among these arguments, and returns different extensions of arguments. However, no indication is given on how to instantiate this setting, i.e. how to build arguments from a knowledge base and how to choose an appropriate attack relation. This leads in some… (More)

Considering Dung's argumentation framework and semantics , we are interested in the problem which consists in deciding whether a set of arguments is acceptable under a given semantics. We look at three approaches. The first one consists in testing whether the set satisfies an equation; In particular , we look at the equations presented in (Dung 1995;… (More)

Dung's argumentation framework takes as input two abstract entities: a set of arguments and a binary relation encoding attacks between these arguments. It returns acceptable sets of arguments, called extensions, wrt a given semantics. While the abstract nature of this setting is seen as a great advantage, it induces a big gap with the application that it is… (More)

Here we present a new paraconsistent logic, called quasi-classical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunc-tive normal form and the reasoning process is essentially that of clause nding. We present a proof-theoretic deenition, and semantics, and show that… (More)

The problem of combining pieces of information issued from several sources can be encountered in various fields of application. This paper aims at presenting the different aspects of information fusion in different domains, such as databases, regulations, preferences , sensor fusion, etc., at a quite general level. We first present different types of… (More)