Minimal Change in AGM Revision for Non-Classical Logics

被引：0
|
作者：
Ribeiro, Marcio M. [1 ]
Wassermann, Renata [1 ]
机构：
[1] Univ Sao Paulo, Sao Paulo, Brazil
来源：
FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | 2014年
关键词：
CONTRACTION; RECOVERY;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we address the problem of applying AGM-style belief revision to non-classical logics. We discuss the idea of minimal change in revision and show that for non-classical logics, some sort of minimality postulate has to be explicitly introduced. We also present two constructions for revision which satisfy the AGM postulates and prove the representation theorems including minimality postulates.
引用
收藏
页码：657 / 660
页数：4
相关论文
共 50 条
  • [1] On AGM for Non-Classical Logics
    Renata Wassermann
    [J]. Journal of Philosophical Logic, 2011, 40 : 271 - 294
  • [2] On AGM for Non-Classical Logics
    Wassermann, Renata
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (02) : 271 - 294
  • [3] BELIEF REVISION IN NON-CLASSICAL LOGICS
    Gabbay, Dov
    Rodrigues, Odinaldo
    Russo, Alessandra
    [J]. REVIEW OF SYMBOLIC LOGIC, 2008, 1 (03): : 267 - 304
  • [4] Non-classical Metatheory for Non-classical Logics
    Bacon, Andrew
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (02) : 335 - 355
  • [5] Non-classical Metatheory for Non-classical Logics
    Andrew Bacon
    [J]. Journal of Philosophical Logic, 2013, 42 : 335 - 355
  • [6] Interpolation in non-classical logics
    D'Agostino, Giovanna
    [J]. SYNTHESE, 2008, 164 (03) : 421 - 435
  • [7] SEMANTICS FOR NON-CLASSICAL LOGICS
    NAGAI, S
    [J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
  • [8] Interpolation in non-classical logics
    Giovanna D’Agostino
    [J]. Synthese, 2008, 164 : 421 - 435
  • [9] Constructive canonicity in non-classical logics
    Ghilardi, S
    Meloni, G
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (01) : 1 - 32
  • [10] Non-classical logics for quantum computations
    Pykacz, J
    Zapatrin, RR
    [J]. PHOTONIC QUANTUM COMPUTING, 1997, 3076 : 150 - 161
12345