共 50 条
On uniform belief revision
被引:6
|作者:
Aravanis, Theofanis
[1
]
机构:
[1] Univ Patras, Sch Econ & Business, Dept Business Adm, Patras 26500, Greece
关键词:
Belief change;
parametrized-difference revision;
total preorders;
iteration;
relevance;
kinetic consistency;
knowledge representation;
KNOWLEDGE-BASE REVISION;
RELEVANCE;
LOGIC;
D O I:
10.1093/logcom/exaa058
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
Rational belief-change policies are encoded in the so-called AGM revision functions, defined in the prominent work of AlchourrOn, Gardenfors and Makinson. The present article studies an interesting class of well-behaved AGM revision functions, called herein uniform-revision operators (or UR operators, for short). Each UR operator is uniquely defined by means of a single total preorder over all possible worlds, a fact that in turn entails a significantly lower representational cost, relative to an arbitrary AGM revision function, and an embedded solution to the iterated-revision problem, at no extra representational cost. Herein, we first demonstrate how weaker, more expressive-yet, more representationally expensive types of uniform revision can be defined. Furthermore, we prove that UR operators, essentially, generalize a significant type of belief change, namely, parametrized-difference revision. Lastly, we show that they are (to some extent) relevance-sensitive, as well as that they respect the so-called principle of kinetic consistency.
引用
收藏
页码:1357 / 1376
页数:20
相关论文