Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems

The concept of explanation has received attention from different areas in Computer Science, particularly in the knowledge-based systems and expert systems communities. At the same time, argumentation has evolved as a new paradigm for conceptualizing commonsense reasoning, resulting in the formalization of different argumentation frameworks and the development of several real-world argument-based applications. Although the notions of explanation and argument for a claim share many common elements in knowledge-based systems their interrelationships have not yet been formally studied in the context of the current argumentation research in Artificial Intelligence. This article explores these ideas by providing a new perspective on how to formalize dialectical explanation support for argument-based reasoning. To do this, we propose a formalization of explanations for abstract argumentation frameworks with dialectical constraints where different emerging properties are studied and analyzed. As a concrete example of the formalism introduced we show how it can be fleshed out in an implemented rule-based argumentation system.

► We formalize dialectical explanation support for argument-based reasoning systems. ► We begin with abstract argumentation systems with constraints to show its generality. ► We explore the different properties of the formalization. ► A rule-based argumentation system where arguments with structure is considered. ► Our approach is compared with related work.