Encoding Argumentation Frameworks into Propositional Logic Systems
💡
原文英文,约100词,阅读约需1分钟。
📝
内容提要
本研究提出了一种新方法,将论证框架($AF$s)编码为不同逻辑系统中的公式,增强了$AF$s与逻辑的联系,为新方程语义的构建提供了新思路。
🎯
关键要点
- 本研究提出了一种新方法,将论证框架($AF$s)编码为不同逻辑系统中的公式。
- 该方法增强了$AF$s与逻辑的联系。
- 研究表明,实现$AF$s到不同值和模糊命题逻辑系统的编码,可以加强$AF$s与命题逻辑系统的连接。
- 为构建新的方程语义提供了一种新思路。
➡️