# Algorithms for effective argumentation in classical propositional logic: A connection graph approach

 Title Algorithms for effective argumentation in classical propositional logic: A connection graph approach Publication Type Book Chapters Year of Publication 2008 Authors Efstathiou, V, Hunter, A Book Title Foundations of Information and Knowledge Systems Pagination 272–290 Publisher Springer Abstract 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 logic-based argumentation is that an argument is a pair 〈{$\Phi$},$\alpha$〉 where {$\Phi$} is minimal subset of the knowledgebase such that {$\Phi$} is consistent and {$\Phi$} entails the claim $\alpha$. 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 theoretical framework and algorithms for this proposal, together with some theoretical results and some preliminary experimental results to indicate the potential of the approach. URL http://www.csri.gr/files/publications/7.algorithms for effective argumentation in classical propositional logic a connection graph approach.pdf