将高阶论证框架编码为命题逻辑系统

Research Paper#Argumentation, Logic, AI🔬 Research|分析: 2026年1月3日 16:04•
发布: 2025年12月29日 14:46
•
1分で読める
•ArXiv

分析

本文通过引入一个新的框架（HAFS）来解决现有高阶论证框架（HAF）的局限性，该框架允许更灵活的交互（攻击和支持），并定义了一套语义，包括三值和模糊语义。核心贡献是一种将HAFS转换为命题逻辑系统的标准编码方法，从而能够使用轻量级求解器和统一处理不确定性。这很重要，因为它弥合了复杂的论证框架与更容易获得的计算工具之间的差距。
引用 / 来源
查看原文
"The paper proposes a higher-order argumentation framework with supports ($HAFS$), which explicitly allows attacks and supports to act as both targets and sources of interactions."
A
ArXiv2025年12月29日 14:46
* 根据版权法第32条进行合法引用。
较旧

U.S. clears way for antitrust inquiries of Nvidia, Microsoft and OpenAI

较新

Demo of an OpenAI language model applied to code generation [video]

相关分析

Research Paper

SpaceTimePilot：时空控制的生成视频渲染

2026年1月3日 06:10

Research Paper

量子混沌哈密顿量演化下的随机性生成

2026年1月3日 06:10

Research Paper

GaMO：几何感知扩散用于稀疏视角3D重建

2026年1月3日 06:32

来源: ArXiv