BriefGPT - AI 论文速递
·
认知逻辑程序：一些性质研究
💡
原文中文，约200字，阅读约需1分钟。
📝
内容提要
该文介绍了 Epistemic Logic Programs 中的自底向上和自顶向下的分割方法，并证明了它们的等价性。作者引入了新的定义和语义属性进行分析。
🎯
关键要点
- 文章介绍了Epistemic Logic Programs中的自底向上和自顶向下的分割方法。
- 作者证明了自底向上和自顶向下分割方法的等价性。
- 引入了新的定义和语义属性以进行分析。
🏷️
标签
➡️
