Reference : The attack as strong negation, part I
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/26043
The attack as strong negation, part I
English
Gabbay, Dov M. mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2015
Logic Journal of IGPL
Yes
[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.
http://hdl.handle.net/10993/26043
10.1093/jigpal/jzv033
http://jigpal.oxfordjournals.org/content/early/2015/09/28/jigpal.jzv033.abstract

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
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.