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