Senses of ‘argument’ in instantiated argumentation frameworks

Adam Wyner, Trevor Bench-Capon, Paul Dunne, Federico Cerruti

Research output: Contribution to journalArticlepeer-review

12 Citations (Scopus)


Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different senses of argument, namely a single-step reason to a claim, a series of reasoning steps to a single claim, and reasoning steps for and against a claim. Concrete instantiations encounter difficulties and complexities as a result of conflating these senses. To distinguish them, we provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments in these senses emerge from this framework as distinctive structures of nodes and paths. As a consequence of the approach, we reduce the effort of computing argumentation extensions, which is in contrast to other approaches. Our framework retains the theoretical and computational benefits of an abstract AF, distinguishes senses of argument, and efficiently computes extensions. Given the mixed intended audience of the paper, the style of presentation is semi-formal.
Original languageEnglish
Pages (from-to)50-72
Number of pages23
JournalArgument and Computation
Issue number1
Publication statusPublished - 2 Jan 2015


  • argumentation frameworks
  • logic
  • case-based reasoning
  • instantiated argumentation
  • structured argumentation
  • logic


Dive into the research topics of 'Senses of ‘argument’ in instantiated argumentation frameworks'. Together they form a unique fingerprint.

Cite this