A unified model of qualitative belief change: a dynamical systems perspective

被引:28
作者
Boutilier, C [1 ]
机构
[1] Univ British Columbia, Dept Comp Sci, Vancouver, BC V6T 1Z4, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
knowledge representation; reasoning about action; belief revision; belief update; explanation;
D O I
10.1016/S0004-3702(97)00066-0
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Belief revision and belief update have been proposed as two types of belief change serving different purposes, revision intended to capture changes in belief state reflecting new information about a static world, and update intended to capture changes of belief in response to a changing world. We argue that routine belief change involves elements of both and present a model of generalized update that allows updates in response to external changes to inform an agent about its prior beliefs. This model of update combines aspects of revision and update, providing a more realistic characterization of belief change. We show that, under certain assumptions, the original update postulates are satisfied. We also demonstrate that plain revision and plain update are special cases of our model. We also draw parallels to models of stochastic dynamical systems, and use this to develop a model that deals with iterated update and noisy observations in qualitative settings that is analogous to Bayesian updating in a quantitative setting. (C) 1998 Elsevier Science B.V.
引用
收藏
页码:281 / 316
页数:36
相关论文
共 32 条
[1]  
Adams ErnestW., 1975, LOGIC CONDITIONALS A
[2]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[4]  
Boutilier C., 1995, Notre Dame Journal of Formal Logic, V36, P158, DOI 10.1305/ndjfl/1040308833
[5]   UNIFYING DEFAULT REASONING AND BELIEF REVISION IN A MODAL FRAMEWORK [J].
BOUTILIER, C .
ARTIFICIAL INTELLIGENCE, 1994, 68 (01) :33-85
[6]   Abduction to plausible causes: An event-based model of belief update [J].
Boutilier, C .
ARTIFICIAL INTELLIGENCE, 1996, 83 (01) :143-166
[7]  
Boutilier C., 1992, Fundamenta Informaticae, V17, P5
[8]  
BOUTILIER C, 1996, J PHILOS LOGIC, V25, P263
[9]  
BOUTILIER C, 1993, P 13 INT JOINT C ART, P519
[10]  
Caines P. E., 1988, LINEAR STOCHASTIC SY