本研究探讨了Argumentation Framework和Partial Stable Models之间的关系,并证明了基于AF的框架可以翻译成逻辑程序,不同的Delta语义扩展对应于不同的PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性。
该研究探讨了 Argumentation Framework 和 Partial Stable Models 之间的关系,证明 Delta 可以被翻译成逻辑程序,不同 Delta 语义扩展对应不同 PSM 子集。该研究为新的基于 AF 的框架的语义定义提供了可能性。
完成下面两步后,将自动完成登录并继续当前操作。