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

https://hal.archives-ouvertes.fr/hal-03092770
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

File

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

Identifiers

Citation

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⟩

Share

Metrics

Record views

31

Files downloads

15