Counterfactual Reasoning in Argumentation Frameworks
Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014),
Frontiers in Artificial Intelligence and Applications, IOS Press, pages 385-396, 2014.
In a formal argumentation framework, one is interested in whether a particular argument is accepted or not
under argumentation semantics. When an argument A is accepted, on the other hand,
one may ask a question ``what if A were rejected?"
We formulate such counterfactual reasoning in abstract argumentation frameworks.
Based on Lewis's logic, we define two counterfactual conditionals in AF and
investigate formal properties. We also argue counterfactual dependencies in AF and
modal interpretation of AF in terms of counterfactual conditionals.
Full Paper (PDF 109K)