TY - JOUR
T1 - Minimality, necessity and sufficiency for argumentation and explanation
AU - Borg, AnneMarie
AU - Bex, Floris
N1 - Publisher Copyright:
© 2024 The Author(s)
PY - 2024/5
Y1 - 2024/5
N2 - We discuss explanations for formal (abstract and structured) argumentation – the question whether and why a certain argument or claim can be accepted (or not) under various extension-based semantics. We introduce a flexible framework, which can act as the basis for many different types of explanations. For example, we can have simple or comprehensive explanations in terms of arguments for or against a claim, arguments that (indirectly) defend a claim, the evidence (knowledge base) that supports or is incompatible with a claim, and so on. We show how selection based on necessity and sufficiency can be captured in our basic framework and discuss a real-life application.
AB - We discuss explanations for formal (abstract and structured) argumentation – the question whether and why a certain argument or claim can be accepted (or not) under various extension-based semantics. We introduce a flexible framework, which can act as the basis for many different types of explanations. For example, we can have simple or comprehensive explanations in terms of arguments for or against a claim, arguments that (indirectly) defend a claim, the evidence (knowledge base) that supports or is incompatible with a claim, and so on. We show how selection based on necessity and sufficiency can be captured in our basic framework and discuss a real-life application.
KW - AI and law
KW - Explainable artificial intelligence
KW - Formal argumentation
KW - Structured argumentation frameworks
UR - http://www.scopus.com/inward/record.url?scp=85185890035&partnerID=8YFLogxK
U2 - 10.1016/j.ijar.2024.109143
DO - 10.1016/j.ijar.2024.109143
M3 - Article
SN - 0888-613X
VL - 168
JO - International Journal of Approximate Reasoning
JF - International Journal of Approximate Reasoning
M1 - 109143
ER -