研究人员引入了基于证据的高阶集合论证框架(EHSAF),这是一个统一并扩展了现有论证形式主义的新颖系统。EHSAF通过要求论证必须有证据支持,来解决在处理证据支持、高阶关系和集体交互方面的局限性。该框架包含两种不同的语义:一种用于多值逻辑的相邻完备标记语义,以及一种用于严格证据主义的基于扩展的完备语义。在支持循环存在的情况下,这两种语义会发散,但在支持无环的情况下则会收敛。该论文还提出了EHSAF的命题编码,能够在三值Łukasiewicz逻辑和连续模糊逻辑(如G"{o}del和Product)中进行计算推理。 AI
影响 引入了一个新的证据论证形式框架,有可能增强AI在复杂场景下的推理能力。
排序理由 该条目是发表在arXiv上的研究论文,详细介绍了一个新的理论框架。[lever_c_demoted from research: ic=1 ai=1.0]
- EHSAF
- Evidential-Based Higher-Order Set Argumentation Framework
- G"{o}del
- Łukasiewicz logic
- Shuai Tang
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →