论文标题
排名功能和总预订的模型转换
Model Transformations for Ranking Functions and Total Preorders
论文作者
论文摘要
在知识表示领域，所考虑的认知状态通常基于命题解释，也称为世界。例如，可以通过对世界上的函数进行排名或全部预订来对代理的认知状态进行建模。但是，通常有不同的方式来描述命题语言描述现实世界的状况。在同一情况下，这可以看作是不同的观点。在本文中，我们介绍了模型转化的概念，以将认知状态从一种角度转变为另一种观点，从而产生了认知状态等效的新颖概念。我们展示了最初为信仰集开发的语法分裂的众所周知的优势，后来又扩展到了认知状态和非单调推理的表示，可以通过识别以前没有存在的分裂来利用信念修订。此外，我们表征了信念变化操作员通过模型转换通勤的情况。
In the field of knowledge representation, the considered epistemic states are often based on propositional interpretations, also called worlds. E.g., epistemic states of agents can be modelled by ranking functions or total preorders on worlds. However, there are usually different ways of how to describe a real world situation in a propositional language; this can be seen as different points of view on the same situation. In this paper we introduce the concept of model transformations to convert an epistemic state from one point of view to another point of view, yielding a novel notion of equivalence of epistemic states. We show how the well-known advantages of syntax splitting, originally developed for belief sets and later extended to representation of epistemic states and to nonmonotonic reasoning, can be exploited for belief revision via model transformation by uncovering splittings not being present before. Furthermore, we characterize situations where belief change operators commute with model transformations.
