Document Type
Article
Rights
Available under a Creative Commons Attribution Non-Commercial Share Alike 4.0 International Licence
Disciplines
1.2 COMPUTER AND INFORMATION SCIENCE, Computer Sciences
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 multi-valued logic. Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multi-valued 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.
DOI
https://doi.org/10.1145/3019612.3019717
Recommended Citation
Pierpaolo Dondio. (2017) .Propagating Degrees of Truth on an Argumentation Framework: an Abstract Account of Fuzzy Argumentation. Proceedings of ACM SAC 17, the 32nd Symposium on Applied Computing, track on Knowledge Representation and Reasoning. Marrakesh, Morocco, April 2017. doi:10.1145/3019612.3019717
Publication Details
A final version of the paper will appear in this conference:
http://www.sigapp.org/sac/sac2017/
the 32nd Symposium on Applied Computing, track on Knowledge Representation and Reasoning. Marrakesh, Morocco, April 2017.