[论文解读] Automatic Belief Revision in SNePS

Stuart C. Shapiro, Frances L. Johnson|ArXiv.org|Mar 6, 2000

Bayesian Modeling and Causal Inference参考文献 12被引用 11

一句话总结

本文提出在 SNePS 2.6 中实现自动信念修正，使系统能够在信念选择中明确无歧义时，自动检测并解决矛盾，无需用户干预。该方法在 SNePS 现有基于 ATMS 的信念收缩机制基础上，扩展了对不一致信念状态的自动化处理，通过集成推理与行动，提升了认知代理的鲁棒性。

ABSTRACT

SNePS is a logic- and network- based knowledge representation, reasoning, and acting system, based on a monotonic, paraconsistent, first-order term logic, with compositional intensional semantics. It has an ATMS-style facility for belief contraction, and an acting component, including a well-defined syntax and semantics for primitive and composite acts, as well as for ``rules'' that allow for acting in support of reasoning and reasoning in support of acting. SNePS has been designed to support natural language competent cognitive agents. When the current version of SNePS detects an explicit contradiction, it interacts with the user, providing information that helps the user decide what to remove from the knowledge base in order to remove the contradiction. The forthcoming SNePS 2.6 will also do automatic belief contraction if the information in the knowledge base warrents it.

研究动机与目标

• 使 SNePS 能够在知识库中出现矛盾时自动执行信念修正。
• 通过自动化选择并移除冲突假设，减轻用户管理不一致信念状态的负担。
• 将信念修正与 SNePS 现有的推理与行动组件无缝集成，以支持认知代理。
• 通过系统性地应用完整性约束和信念修正公理，支持演绎开放的信念空间。
• 通过在基于逻辑与网络的、内涵性的知识表示系统中实现信念修正，推动信念修正技术的前沿发展。

提出的方法

• 利用 SNePS 现有基于 ATMS 的信念收缩机制，检测知识库中的矛盾。
• 当系统识别出仅有一个信念导致不一致时，引入自动化假设移除机制。
• 采用信念修正算法，在选择明确无歧义时移除支持度最低或明显冲突的信念。
• 通知用户被移除的信念，以及因修正而不再受支持的其他信念。
• 将信念修正与 SNePS 的行动组件集成，使行动可基于修正后的一致信念状态进行。
• 采用具有组合性内涵语义的 paraconsistent 一阶项逻辑，用于表示和推理信念。

实验结果

研究问题

• RQ1 当认知代理知识库中出现矛盾时，如何实现信念修正的自动化？
• RQ2 在何种条件下，系统可无需用户输入即确定应从矛盾集合中移除哪一信念？
• RQ3 如何在统一且语义一致的框架中，将信念修正与推理和行动进行集成？
• RQ4 在演绎开放、内涵性的信念空间中，实现信念修正的设计原则是什么？
• RQ5 自动信念修正如何影响认知代理行为的一致性与连贯性？

主要发现

• 当冲突信念可明确识别时，SNePS 2.6 可自动执行信念收缩，显著减少用户干预。
• 系统会通知用户被具体移除的信念，以及因修正而不再受支持的其他信念。
• 信念修正与 SNePS 的行动组件集成，支持基于修正后一致信念状态的稳定行动规划。
• 该方法在处理递归规则时可避免无限循环，确保信念修正过程中的系统稳定性。
• 系统可处理约 1,000 个 SNePS 术语的知识库，得益于优化与更快的硬件，性能相比早期版本有所提升。
• SNePS 2.6 在实现完全自主的认知代理、实现实时自我修正信念状态方面迈出了重要一步。