关于具有动态作用域的有限非优先信念修正算子
人工智能
2021-08-18 v1 计算机科学中的逻辑
摘要
对非优先修正的研究探讨不接纳所有新信念的修正算子。在本文中，我们通过引入动态有限修正的概念推进这一研究路线，这类修正可由一个有限世界集上的全预序表示。对于信念变更算子，我们考虑其作用域，即那些使修正成功的信念组成的集合。我们证明，对于满足单句闭包与析取完全性的每个集合，存在一个动态有限修正，以该集合与信念集的并作为作用域。我们研究了信念与作用域动力学的迭代公设，并刻画了它们在动态有限修正下的情形。作为一个应用，我们采用动态有限修正来研究所谓固有信念（即主体全局接受的信念）语境下的信念修正。这导出了我们称之为固有有限的修正算子。我们给出了固有有限修正的一个表示定理，并将这些算子及动态有限修正与密切相关的可信有限修正算子进行比较。
引用
@article{arxiv.2108.07769,
title = {On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope},
author = {Kai Sauerwald and Gabriele Kern-Isberner and Christoph Beierle},
journal= {arXiv preprint arXiv:2108.07769},
year = {2021}
}