May, 2024
抽象论证中的对立假设和半事实解释:形式基础、复杂性与计算
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
TL;DR该论文探讨了可解释人工智能和形式论证在抽象论证框架中的反事实和半事实推理,研究了其计算复杂性,并提供了通过 ASP 求解器的计算策略。