Accommodative Belief Revision

被引:2
作者
Eloranta, Satu [1 ]
Hakli, Raul [2 ]
Niinivaara, Olli [1 ]
Nykanen, Matti [3 ]
机构
[1] Univ Helsinki, Dept Comp Sci, POB 68 Gustaf Hallstromin Katu 2B, FIN-00014 Helsinki, Finland
[2] Univ Helsinki, Dept Philosophy, FIN-00014 Helsinki, Finland
[3] Univ Kuopio, Dept Comp Sci, FIN-70211 Kuopio, Finland
来源
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2008年 / 5293卷
关键词
belief change; belief revision; non-prioritized belief revision; integrity constraints; knowledge; INFORMATION; LOGIC;
D O I
10.1007/978-3-540-87803-2_16
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Accommodative revision is a novel method of non-prioritized belief revision. The epistemic state of an agent contains both knowledge that is immune to revision and beliefs that are allowed to change. Incoming information is first revised by the knowledge of the agent, and then the epistemic state of the agent is revised using this modified input. The properties of the method are studied and examples of its use are given.
引用
收藏
页码:180 / +
页数:3
相关论文
共 26 条
  • [1] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS
    ALCHOURRON, CE
    GARDENFORS, P
    MAKINSON, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 510 - 530
  • [2] [Anonymous], 9416 TR HEBR U
  • [3] [Anonymous], 1988, AAAI
  • [4] [Anonymous], THEORIA
  • [5] Weakening conflicting information for iterated revision and knowledge integration
    Benferhat, S
    Kaci, S
    Le Berre, D
    Williams, MA
    [J]. ARTIFICIAL INTELLIGENCE, 2004, 153 (1-2) : 339 - 371
  • [6] LANGUAGE FEATURES FOR FLEXIBLE HANDLING OF EXCEPTIONS IN INFORMATION-SYSTEMS
    BORGIDA, A
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1985, 10 (04): : 565 - 603
  • [7] Cravo M.R., 2001, LECT NOTES ARTIF INT, V2258, P335
  • [8] On the logic of iterated belief revision
    Darwiche, A
    Pearl, J
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) : 1 - 29
  • [9] Darwiche A., 1994, Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994), P5
  • [10] Delgrande JP, 2007, LECT NOTES ARTIF INT, V4724, P78