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...

• Type: Conference
• Year: 2008
• Where: FOIKS
• Authors: Vasiliki Efstathiou, Anthony Hunter
• Keywords: Argumentation, Connection Graph, FOIKS 2008, Information Management, Logicbased Argumentation