Prioritized and Non-prioritized Multiple Change on Belief Bases

被引:35
作者
Falappa, Marcelo A. [1 ,2 ]
Kern-Isberner, Gabriele [3 ]
Reis, Mauricio D. L. [4 ,5 ]
Simari, Guillermo R. [1 ]
机构
[1] Univ Nacl Sur, Dept Comp Sci & Engn, Artificial Intelligence Res & Dev Lab, RA-8000 Bahia Blanca, Buenos Aires, Argentina
[2] Consejo Nacl Invest Cient & Tecn CONICET, Buenos Aires, DF, Argentina
[3] Univ Dortmund, Dept Comp Sci, D-4600 Dortmund, Germany
[4] Univ Madeira, Ctr Ciencias Exactas & Engn, Funchal, Portugal
[5] Univ Madeira, Madeira Interact Technol Inst, Funchal, Portugal
关键词
Belief revision; Merging; Multiple change; Belief bases; CONTRACTION; REVISION; LOGIC;
D O I
10.1007/s10992-011-9200-8
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
引用
收藏
页码:77 / 113
页数:37
相关论文
共 45 条
[1]  
Alchourron Carlos., 1986, Studia Logica, V45, P187
[2]   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
[3]  
[Anonymous], PERSPECTIVE KNOWLEDG
[4]  
[Anonymous], 2000, Multiagent Systems: AModern Approach to DistributedArtificial Intelligence
[5]   Prime Implicate-based Belief Revision Operators [J].
Bienvenu, Meghyn ;
Herzig, Andreas ;
Qi, Guilin .
ECAI 2008, PROCEEDINGS, 2008, 178 :741-+
[6]   Prime Implicates and Prime Implicants: From Propositional to Modal Logic [J].
Bienvenu, Meghyn .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 :71-128
[7]  
Bittencourt G, 2004, FR ART INT, V110, P788
[8]  
Delgrande JamesP., 2008, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, P411
[9]   TRUTH MAINTENANCE SYSTEM [J].
DOYLE, J .
ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272
[10]  
Doyle J., 1992, Belief Revision, P29