Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision

被引:15
作者
Aravanis, Theofanis, I [1 ]
Peppas, Pavlos [1 ]
Williams, Mary-Anne [2 ]
机构
[1] Univ Patras, Dept Business Adm, Patras 26500, Greece
[2] Univ Technol Sydney, FEIT, Ctr Artificial Intelligence, Sydney, NSW 2007, Australia
关键词
INTERPOLATION; LOGIC;
D O I
10.1613/jair.1.11838
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this article, the epistemic-entrenchment and partial-meet characterizations of Parikh's relevance-sensitive axiom for belief revision, known as axiom (P), are provided. In short, axiom (P) states that, if a belief set K can be divided into two disjoint compartments, and the new information y relates only to the first compartment, then the revision of K by should not affect the second compartment. Accordingly, we identify the subclass of epistemic-entrenchment and that of selection-function preorders, inducing AGM revision functions that satisfy axiom (P). Hence, together with the faithful-preorders characterization of (P) that has already been provided, Parikh's axiom is fully characterized in terms of all popular constructive models of Belief Revision. Since the notions of relevance and local change are inherent in almost all intellectual activity, the completion of the constructive view of (P) has a significant impact on many theoretical, as well as applied, domains of Artificial Intelligence.
引用
收藏
页码:765 / 792
页数:28
相关论文
共 45 条
[1]  
Alchourron C. E., 1985, Studia Logica, V44, P405, DOI [10.1007/BF00370430, DOI 10.1007/BF00370430]
[2]  
Alchourron Carlos., 1986, Studia Logica, V45, P187
[3]   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]  
[Anonymous], 2001, J APPL NONCLASSICAL
[5]  
Aravanis T, 2017, PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P772
[6]  
Aravanis Theofanis, 2017, P 21 PAN HELL C INF
[7]  
Aravanis Theofanis, 2019, ANN MATH ARTIFICIAL, V2019
[8]   Relevance sensitive belief structures [J].
Chopra, S ;
Parikh, R .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2000, 28 (1-4) :259-285
[9]   On the logic of iterated belief revision [J].
Darwiche, A ;
Pearl, J .
ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) :1-29
[10]  
Delgrande J, 2018, SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, P230