BriefGPT - AI 论文速递 · 2025-03-10T00:00:00Z

Encoding Argumentation Frameworks into Propositional Logic Systems

📝

内容提要

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

🏷️

标签

公式 方法 论证框架 语义 逻辑系统