Academic
Publications
The Complexity of the Warranted Formula Problem in Propositional Argumentation

The Complexity of the Warranted Formula Problem in Propositional Argumentation,10.1093/logcom/exp074,Journal of Logic and Computation,Robin Hirsch,Nik

The Complexity of the Warranted Formula Problem in Propositional Argumentation   (Citations: 4)
BibTex | RIS | RefWorks Download
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive defeat: an argument is warranted if each of its counter-arguments is itself defeated by a warranted counter-argument. However, few complexity results exist on checking whether an argument is warranted in the context of deductive models of argumentation, i.e., models where an argument is a deduction of a claim from a set of premises using some logic. We investigate the computational complexity of checking whether a claim is warranted in propositional argumentation under two natural definitions of warrant and show that it is PSPACE-complete in both cases.
Journal: Journal of Logic and Computation - LOGCOM , vol. 20, no. 2, pp. 481-499, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: