认知状态中的遗忘公式与签名元素
人工智能
2021-08-20 v1 计算机科学中的逻辑
摘要
Delgrande的遗忘知识层刻画提供了一种从公式集合中遗忘语法元素的通用方法，并与许多其他遗忘操作相关联，特别是与布尔变量消去相关。另一方面，认知状态的边缘化是一种在特定更复杂语义框架中主动缩减签名的具体方法，同样旨在遗忘原子，这在概率论中广为人知。本文将这两种遗忘视角结合，表明边缘化可视为Delgrande方法在认知状态层面的扩展。更精确地，我们将Delgrande的遗忘公理推广到认知状态中的遗忘，并证明边缘化是满足这些公理的最具体且信息量最大的遗忘算子。此外，我们通过将公理的基本思想迁移到从认知状态遗忘公式，阐述了Delgrande遗忘公式概念的合适表述。然而，我们在此表明这导致了平凡的遗忘公式方法。该发现支持了如下主张：遗忘语法元素本质上不同于信念收缩，例如AGM信念变更框架中所公理化者。
引用
@article{arxiv.2108.08603,
title = {Forgetting Formulas and Signature Elements in Epistemic States},
author = {A. Becker and G. Kern-Isberner and K. Sauerwald and C. Beierle},
journal= {arXiv preprint arXiv:2108.08603},
year = {2021}
}
备注
Accepted at NMR 2021