Propagating degrees of truth on an argumentation framework: An abstract account of fuzzy argumentation

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung's seminal work in argumentation semantics with multivalued logic. Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multivalued logic operators are used to quantify the degree of truth of such conditions. We propose a truth-compositional recursive computation based on the notion of irrelevant arguments, and we discuss examples using the major multi-valued logics: Godel's, Zadeh's and Łukasiewicz's logic.

Original languageEnglish
Title of host publication32nd Annual ACM Symposium on Applied Computing, SAC 2017
PublisherAssociation for Computing Machinery
Pages995-1002
Number of pages8
ISBN (Electronic)9781450344869
DOIs
Publication statusPublished - 3 Apr 2017
Event32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco
Duration: 4 Apr 20176 Apr 2017

Publication series

NameProceedings of the ACM Symposium on Applied Computing
VolumePart F128005

Conference

Conference32nd Annual ACM Symposium on Applied Computing, SAC 2017
Country/TerritoryMorocco
CityMarrakesh
Period4/04/176/04/17

Keywords

  • Approximate reasoning
  • Argumentation semantics
  • Fuzzy logic
  • Multi-valued logics

Fingerprint

Dive into the research topics of 'Propagating degrees of truth on an argumentation framework: An abstract account of fuzzy argumentation'. Together they form a unique fingerprint.

Cite this