Encoding Argumentation Frameworks into Propositional Logic Systems

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种新方法,将论证框架($AF$s)编码为不同逻辑系统中的公式,增强了$AF$s与逻辑的联系,为新方程语义的构建提供了新思路。

🎯

关键要点

  • 本研究提出了一种新方法,将论证框架($AF$s)编码为不同逻辑系统中的公式。
  • 该方法增强了$AF$s与逻辑的联系。
  • 研究表明,实现$AF$s到不同值和模糊命题逻辑系统的编码,可以加强$AF$s与命题逻辑系统的连接。
  • 为构建新的方程语义提供了一种新思路。
➡️

继续阅读