Counterfactual Reasoning in Argumentation Frameworks
Chiaki Sakama · Frontiers in artificial intelligence and applications · 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.