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

ALEJANDRO J. GARCÍA; CARLOS I. CHESÑEVAR; NICOLÁS D. ROTSTEIN; GUILLERMO R. SIMARI

EXPERT SYSTEMS WITH APPLICATIONS

PERGAMON-ELSEVIER SCIENCE LTD

Lugar: Amsterdam; Año: 2013 vol. 40 p. 3233 - 3247

0957-4174

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 reason- ing. 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.