PulseAugur
中
实时 10:02:19
English(EN) AGM-like Paraconsistent Partial Meet Abductive Expansion Operation

新的一致性偏序归纳扩张操作被引入用于AI推理

作者 PulseAugur 编辑部 · [1 个来源] ·

本文介绍了一种新颖的一致性偏序AGM类归纳扩张操作，旨在处理矛盾的解释性假设而不导致平凡化。该操作建立在Maurice Pagnucco最初的AGM类归纳扩张和归纳推理组件分类的基础上。这个新操作是AGMpabd系统的一部分，其开发得益于最近创建的一致性逻辑RCbr，该逻辑具有对信念修正至关重要的自延展性。 AI

影响 为处理AI推理系统中矛盾信息引入了新的理论框架。

排序理由 该集群包含一篇详细介绍人工智能研究新理论操作的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新的一致性偏序归纳扩张操作被引入用于AI推理

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Ulisses Franceschi Eliano ·

    类似AGM的次一致偏集归纳扩张运算

    arXiv:2607.09729v1 Announce Type: new Abstract: In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation. Taking his operation as a basis, as well as a taxonomy -- inspired by Atocha Aliseda -- responsible for highlighting and formali…

相关话题