Skip to Main content Skip to Navigation
Conference papers

Argumentation-Based Paraconsistent Logics

Jonathan Ben-Naim 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Argumentation is a promising approach for reasoning with inconsistent information. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments. The plausible conclusions to be drawn from the knowledge base are those supported by “good” arguments. In this paper, we discuss two families of such systems: the family using extension semantics and the one using ranking semantics. We discuss the outcomes of both families and compare them.
Document type :
Conference papers
Complete list of metadatas
Contributor : Jonathan Ben-Naim <>
Submitted on : Friday, January 22, 2021 - 10:04:26 AM
Last modification on : Friday, January 22, 2021 - 10:59:47 AM


Argumentation-Based Paraconsis...
Publisher files allowed on an open archive



Jonathan Ben-Naim. Argumentation-Based Paraconsistent Logics. 21st International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.19-24, ⟨10.1007/978-3-319-08389-6_2⟩. ⟨hal-03092770⟩



Record views


Files downloads