Counterfactual Reasoning in Argumentation Frameworks

Chiaki Sakama

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) Slide