I’m co-author of a paper in the special session on argumentation at The 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain, September 16-18, 2013.
This photo of La Coruna courtesy of TripAdvisor
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks
Adam Wyner, Trevor Bench-Capon, and Paul Dunne
Abstract
Abstract 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 conceptions of argument, and concrete instantiations encounter difficulties as a result of conflating these conceptions. We distinguish three distinct senses of the term. We provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments, in each of the three senses, then emerge from this framework as distinctive structures of nodes and paths. Our framework retains the theoretical and computational benefits of an abstract AF, while keeping notions distinct which are conflated in other approaches to instantiation.
Bibtex
@INPROCEEDINGS{WynerBench-CaponDunne2013,
author = {Adam Wyner and Trevor Bench-Capon and Paul Dunne},
title = {On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks},
booktitle = {Proceedings of 14th International Workshop on Computational Logic in Multi-Agent Systems},
year = {2013},
publisher = {Springer},
series = {LNCS},
pages = {??-??},
note = {To appear}
}
Presentation slides for “On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks”
Shortlink to this page.
By Adam Wyner
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.
Skip to content
Adam Zachary Wyner, Associate Professor of Law and Computer Science, Swansea University