This item is available under a Creative Commons License for non-commercial use only
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. "Propagating Degrees of Truth on an Argumentation Framework: an Abstract Account of Fuzzy Argumentation", in the proceedings of ACM SAC 17, the 32nd Symposium on Applied Computing, track on Knowledge Representation and Reasoning. Marrakesh, Morocco, April 2017.