Available under a Creative Commons Attribution Non-Commercial Share Alike 4.0 International Licence
1.2 COMPUTER AND INFORMATION SCIENCE, Computer Sciences
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.
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