|
|||||
|
|
A Logical Account of Formal Argumentation |
|
| Authors: | Martin W A Caminada Dov M Gabbay |
| Institution: | 1. Interdisciplinary Lab for Intelligent and Adaptive Systems, University of Luxembourg, Luxembourg, Belgium 2. King’s College, London, UK 3. Bar-Alan University, Ramat Gan, Israel 4. University of Luxembourg, Luxembourg, Belgium |
| Abstract: | In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |