BriefGPT - AI 论文速递
·
半抽象的基于价值的论证框架
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
该研究探讨了 Argumentation Framework 和 Partial Stable Models 之间的关系，证明 Delta 可以被翻译成逻辑程序，不同 Delta 语义扩展对应不同 PSM 子集。该研究为新的基于 AF 的框架的语义定义提供了可能性。
🎯
关键要点
-
该研究探讨了基于 Argumentation Framework 的框架和 Partial Stable Models 之间的关系。
-
证明每个基于 AF 的框架 Delta 都可以被翻译成一个逻辑程序 P_Delta。
-
不同的 Delta 语义扩展可以对应于 P_Delta 的不同 PSM 子集。
-
该研究为新的基于 AF 的框架的语义定义提供了可能性。
-
研究涉及带有递归攻击和递归演绎支持的 AFs。
➡️
