On Explanation of Propositional Logic-based Argumentation System

We present a characterization about argumentation and proof in logic. Indeed, we show that proof for a claim a from a set of premises F can be deemed as a structured form of an argument for that claim. Due to the expressivity of classical propositional logic (PL), this work considers that the knowledge-base is represented in PL, in which the semantics and proof systems for individual arguments are studied and utilized. We show that natural deduction (ND) can be used as a basis of proof for an argument and also for modeling counterarguments in the form of canonical undercut. We reveal that ND does not merely enable for the construction of arguments but also paves the way naturally for a human-understandable form of argumentative reasoning. Finally, we demonstrate that our approach gives the feasibility of developing explainable artificial intelligence systems that can offer human-friendly explanations to the users.