The attack as strong negation, part I

D. Gabbay, M. Gabbay

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)881-941
Number of pages61
JournalLogic Journal of the IGPL
Volume23
Issue number6
DOIs
StatePublished - 12 Mar 2015

Bibliographical note

Publisher Copyright:
© The Author 2015. Published by Oxford University Press. All rights reserved.

Keywords

  • Argumentation network
  • Disjunctive attack
  • Higher level attack
  • Intuitionistic logic
  • Strong negation

Fingerprint

Dive into the research topics of 'The attack as strong negation, part I'. Together they form a unique fingerprint.

Cite this