CONICET | Buscador de Institutos y Recursos Humanos

The concept of explanation has received attention from dierent 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 dierent 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 Articial 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 dierent emerging properties are studied and analyzed. As a concrete example of the formalism introduced we show how it can be eshed out in an implemented rule-based argumentation system.

enviar mensaje