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 条
  • [41] THE COMPLEXITY OF ITERATED MULTIPLICATION
    IMMERMAN, N
    LANDAU, S
    [J]. INFORMATION AND COMPUTATION, 1995, 116 (01) : 103 - 116
  • [42] ON THE COMPLEXITY OF ITERATED SHUFFLE
    WARMUTH, MK
    HAUSSLER, D
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 28 (03) : 345 - 358
  • [43] On the complexity of iterated insertions
    Holzer, M
    Lange, KJ
    [J]. NEW TRENDS IN FORMAL LANGUAGES: CONTROL, COOPERATION, AND COMBINATORICS, 1997, 1218 : 440 - 453
  • [44] The Irreducibility of Iterated to Single Revision
    Richard Booth
    Jake Chandler
    [J]. Journal of Philosophical Logic, 2017, 46 : 405 - 418
  • [45] On iterated revision in the AGM framework
    Herzig, A
    Konieczny, S
    Perrussel, L
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING, 2003, 2711 : 477 - 488
  • [46] ITERATED REVISION IN DEFAULT LOGIC
    Ren, Shuang
    Qi, Guilin
    Lin, Zuoquan
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2009, 5 (12B): : 4845 - 4857
  • [47] A kinematics principle for iterated revision
    Kern-Isberner, Gabriele
    Sezgin, Meliha
    Beierle, Christoph
    [J]. ARTIFICIAL INTELLIGENCE, 2023, 314
  • [48] Cooperation by iterated plan revision
    Moree, BJ
    Bos, A
    Tonino, H
    Witteveen, C
    [J]. FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 191 - 198
  • [49] The Irreducibility of Iterated to Single Revision
    Booth, Richard
    Chandler, Jake
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (04) : 405 - 418
  • [50] Conditional Ranking Revision Iterated Revision with Sets of Conditionals
    Weydert, Emil
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (01) : 237 - 271
12345