Multi-valued argumentation frameworks

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

Abstract

In this paper we explore how the seminal Dung's abstract argumentation framework can be extended to handle arguments containing gradual concepts. We allow arguments to have a degree of truth associated with them and we investigate the degree of truth to which each argument can be considered accepted, rejected and undecided by an abstract argumentation semantics. We propose a truth-compositional recursive computation, and we discuss examples using the major multi-valued logics such as Godel's, Zadeh's and Łukasiewicz's logic. The findings are a contribution in the field of non-monotonic approximate reasoning and they also represent a well-grounded proposal towards the introduction of gradualism in argumentation systems.

Original languageEnglish
Title of host publicationRules on the Web
Subtitle of host publicationFrom Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Proceedings
PublisherSpringer Verlag
Pages142-156
Number of pages15
ISBN (Print)9783319098692
DOIs
Publication statusPublished - 2014
Event8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
Duration: 18 Aug 201420 Aug 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8620 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014
Country/TerritoryCzech Republic
CityPrague
Period18/08/1420/08/14

Keywords

  • Abstract Argumentation
  • Possibility Theory
  • multi-valued Logic

Fingerprint

Dive into the research topics of 'Multi-valued argumentation frameworks'. Together they form a unique fingerprint.

Cite this