基于数据库视角的信念与意图AGM风格修正（初步版本）
人工智能
2016-04-27 v2
摘要
我们引入了一种基于Shoham数据库视角的时态信念与意图逻辑。我们将强信念与弱信念分离。强信念独立于意图，而弱信念是通过将意图添加到强信念以及由此衍生的一切而获得的。我们形式化了强信念与意图上的一致性条件。我们给出了用于强信念与意图修正的AGM风格公设。我们在一个表示定理中表明，满足我们公设的修正算子可由信念解释上的预序以及用于意图的选择函数来表示。
引用
@article{arxiv.1604.07183,
title = {AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)},
author = {Marc van Zee and Dragan Doder},
journal= {arXiv preprint arXiv:1604.07183},
year = {2016}
}