The complexity of iterated belief revision

被引:0
|
作者
Liberatore, P [1 ]
机构
[1] Univ Roma La Sapienza, Dipartimento Informat & Sistemist, I-00198 Rome, Italy
来源
DATABASE THEORY - ICDT'97 | 1997年 / 1186卷
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper we analyze the complexity of revising a knowledge base when an iteration of this process is necessary. The analysis concerns both the classical problems of belief revision (inference, model checking, computation of the new base) and new issues, related to the problem of "committing" the changes.
引用
收藏
页码:276 / 290
页数:15
相关论文
共 50 条
  • [1] Iterated Belief Revision
    Robert Stalnaker
    [J]. Erkenntnis, 2009, 70 : 189 - 209
  • [2] Iterated Belief Revision
    Stalnaker, Robert
    [J]. ERKENNTNIS, 2009, 70 (02) : 189 - 209
  • [3] Iterated belief revision, revised
    Jin, Yi
    Thielscher, Michael
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (01) : 1 - 18
  • [4] On the logic of iterated belief revision
    Darwiche, A
    Pearl, J
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) : 1 - 29
  • [5] Iterated Belief Revision, Revised
    Jin, Yi
    Thielscher, Michael
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 478 - 483
  • [6] Iterated belief revision and conditional logic
    Giordano L.
    Gliozzi V.
    Olivetti N.
    [J]. Studia Logica, 2002, 70 (1) : 23 - 47
  • [7] Properties of iterated multiple belief revision
    Zhang, DM
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 314 - 325
  • [8] A conditional logic for iterated belief revision
    Giordano, L
    Gliozzi, V
    Olivetti, N
    [J]. ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 28 - 32
  • [9] Believability based iterated belief revision
    Yang, P
    Gao, Y
    Chen, ZQ
    Chen, SF
    [J]. PRICAI 2004: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3157 : 936 - 937
  • [10] Representing states in iterated belief revision
    Liberatore, Paolo
    [J]. ARTIFICIAL INTELLIGENCE, 2024, 336