[Back]

P. Besnard, A. Hunter, S. Woltran:
"Encoding deductive argumentation in quantified Boolean formulae";
Artificial Intelligence, 173 (2009), 15; 1406 - 1423.

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 left angle bracketΦ,αright-pointing angle bracket where Φ is minimal subset of the knowledge-base 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. To better explore this issue, we use quantified Boolean formulae to characterise an approach to argumentation based on classical logic.

http://dx.doi.org/10.1016/j.artint.2009.06.006

Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen