On a Flexible Representation for Defeasible Reasoning Variants

Abdelraouf Hecham 1 Pierre Bisquert 2 Madalina Croitoru 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We propose Statement Graphs (SG), a new logical formalism for defeasible reasoning based on argumentation. Using a flexible labeling function, SGs can capture the variants of defeasible reasoning (ambiguity blocking or propagating, with or without team defeat, and circular reasoning). We evaluate our approach with respect to human reasoning and propose a working first order defeasible reasoning tool that, compared to the state of the art, has richer expressivity at no added computational cost. Such tool could be of great practical use in decision making projects such as H2020 NoAW.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742
Contributor : Abdelraouf Hecham <>
Submitted on : Friday, October 12, 2018 - 5:45:56 PM
Last modification on : Friday, March 29, 2019 - 9:12:12 AM
Long-term archiving on : Sunday, January 13, 2019 - 3:18:50 PM

File

hecham2018onaflexible.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-01894742, version 1

Collections

Citation

Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru. On a Flexible Representation for Defeasible Reasoning Variants. AAMAS: Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1123-1131. ⟨lirmm-01894742⟩

Share

Metrics

Record views

165

Files downloads

40