Reference : The attack as strong negation, part I
Scientific journals : Article
Engineering, computing & technology : Computer science
The attack as strong negation, part I
Gabbay, Dov M. mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Logic Journal of IGPL
[en] Intuitionistic logic ; strong negation ; argumentation network
[en] We add strong negation N to classical logic and interpret the attack relation of `x attacks y' in argumentation as (x?Ny). We write a corresponding object level (using N only) classical theory for each argumentation network and show that the classical models of this theory correspond exactly to the complete extensions of the argumentation network. We show by example how this approach simplifies the study of abstract argumentation networks. We compare with other translations of abstract argumentation networks into logic, such as classical predicate logic or modal logics, or logic programming, and we also compare with Abstract Dialectical Frameworks.

File(s) associated to this reference

Fulltext file(s):

Open access
Dov-Negation-JPL.pdfPublisher postprint1.26 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.