Constrained Argumentation Frameworks

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis

We present a generalization of Dung's theory of argumentation enabling to take account for some additional constraints on the admissible sets of arguments, expressed as a propositional formula over the set of arguments. We point out several semantics for such constrained argumentation frameworks, and compare the corresponding inference relations w.r.t. cautiousness. We show that our setting encompasses some previous approaches based on Dung's theory as specific cases. We also investigate the complexity issue for the inference relations in the extended setting. Interestingly, we show that our generalization does not lead to a complexity shift w.r.t. inference for several semantics.

Subjects: 11. Knowledge Representation; 5. Common Sense Reasoning

Submitted: Mar 6, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.