The attack as strong negation, part I

Reference : The attack as strong negation, part I


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/26043

Title :	The attack as strong negation, part I
Language :	English
Author, co-author :	Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	2015
Journal title :	Logic Journal of the IGPL
Peer reviewed :	Yes
Keywords :	[en] Intuitionistic logic ; strong negation ; argumentation network
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/26043
DOI :	10.1093/jigpal/jzv033
Other URL :	http://jigpal.oxfordjournals.org/content/early/2015/09/28/jigpal.jzv033.abstract

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Dov-Negation-JPL.pdf		Publisher postprint	1.26 MB	View/Open

All documents in ORBi^lu are protected by a user license.