比较思辨系统：信念变更中的矛盾与反例
人工智能
2025-07-10 v1 逻辑
摘要
思辨系统是一种数学形式化模型，用于建模代理更新知识库以寻求一致性的过程。该模型于1970年代由罗贝尔·马加里（Roberto Magari）引入，最初旨在捕捉工作数学家或研究社区在追求真理过程中如何 refined 信念的行为。思辨系统也作为自动化代理信念变更的自然模型，提供了统一、可计算的动态信念管理框架。文献将思辨系统分为三种主要模型：基于当信念被视为不一致时进行修订的(d-)思辨系统，基于寻找反例进行修订信念的(p-)思辨系统，以及能够同时完成两种任务的(q-)思辨系统。我们通过证明(q-)思辨系统在(p-)思辨系统之上，进而证明(p-)思辨系统在(d-)思辨系统之上，从而解决了文献中的一个开放问题。这一结果凸显了反例与矛盾在自动化信念修订中的互补作用，也揭示了数学家和研究社区在推理过程中的作用。
引用
@article{arxiv.2507.06798,
title = {Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)},
author = {Uri Andrews and Luca San Mauro},
journal= {arXiv preprint arXiv:2507.06798},
year = {2025}
}
备注
25 pages, accepted at JELIA 2025