Aug, 2020

抽象论证框架语义:逻辑编程方法

TL;DR本研究探讨了基于Argumentation Framework的框架和Partial Stable Models之间的关系,证明每个基于AF的框架Delta都可以被翻译成一个逻辑程序P_Delta,而不同的Delta语义扩展可以对应于P_Delta的不同PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性,例如带有递归攻击和递归演绎支持的AFs。