Sciweavers

Share
FOIKS
2008
Springer

Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach

9 years 11 months ago
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logicbased argumentation is that an argument is a pair , where is minimal subset of the knowledgebase such that is consistent and entails the claim . Different logics provide different definitions for consistency and entailment and hence give us different options for argumentation. Classical propositional logic is an appealing option for argumentation but the computational viability of generating an argument is an issue. Here we propose ameliorating this problem by using connection graphs to give information on the ways that formulae of the knowledgebase can be used to minimally and consistently entail a claim. Using a connection graph allows for a substantially reduced search space to be used when seeking all the arguments for a claim from a knowledgebase. We provide a the...
Vasiliki Efstathiou, Anthony Hunter
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FOIKS
Authors Vasiliki Efstathiou, Anthony Hunter
Comments (0)
books