Reasoning about knowledge
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
A general non-probabilistic theory of inductive reasoning
UAI '88 Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Electronic Notes in Theoretical Computer Science (ENTCS)
Internal models and private multi-agent belief revision
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Consistency Preservation and Crazy Formulas in BMS
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
How our beliefs contribute to interpret actions
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A logic of emotions: from appraisal to coping
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Studia Logica
| Hi-index | 0.00 |
In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchouròn, P. Gärdenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ([Spohn90,Spohn88]). We also give a proof system and a comparison with the AGM postulates.