Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems |
| |
Authors: | Alejandro J García Carlos I Chesñevar Nicolás D Rotstein Guillermo R Simari |
| |
Affiliation: | Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur, Av. Alem 1253, (8000) Bahía Blanca, Argentina |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|