Necessary and Sufficient Explanations in Abstract Argumentation

2020/11/04 by Borg, AnneMarie, Bex, Floris
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2011.02414

Abstract

In this paper, we discuss necessary and sufficient explanations for formal argumentation - the question whether and why a certain argument can be accepted (or not) under various extension-based semantics. Given a framework with which explanations for argumentation-based conclusions can be derived, we study necessity and sufficiency: what (sets of) arguments are necessary or sufficient for the (non-)acceptance of an argument?

Related

• Contrastive Explanations for Argumentation-Based Conclusions
• Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)
• Defense semantics of argumentation: encoding reasons for accepting arguments
• An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation
• Notes on Abstract Argumentation Theory