Updating logical databases
Propositional belief base update and minimal change
Artificial Intelligence
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The PMA and Relativizing Minimal Change for Action Update
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we generalize the MPMA belief update operator by admitting first-order knowledge bases and restricted first-order update formulae. This allows us to consider scenarios which cannot be properly formalized either in the originalMPMA or in other existing approaches to belief update.