May, 2024

抽象论证中的对立假设和半事实解释:形式基础、复杂性与计算

TL;DR该论文探讨了可解释人工智能和形式论证在抽象论证框架中的反事实和半事实推理,研究了其计算复杂性,并提供了通过 ASP 求解器的计算策略。