Conditional logics of belief change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Asking About Posibilities - Revision and Update Semantics for Subjunctive Queries
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
MArCo: Using Meta-cognitive Conflicts to Provoke Strategic Changes
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Calculus and Complexity Bound for Minimal Conditional Logic
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Belief Revision and the Ramsey Test: A Solution
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Weak AGM postulates and strong Ramsey Test: a logical formalization
Artificial Intelligence
| Hi-index | 0.00 |
In this paper we introduce a conditional logic BC to represent belief revision. Logic BC has a standard semantics in terms of possible worlds structures with a selection function and has strong similarities with Stalnaker's logic C2. Moreover, Gärdenfors' Triviality Result does not apply to BC. We provide a representation result, which shows that each belief revision system corresponds to a BC-model and every BC model satisfying the covering condition determines a belief revision system.