Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
The complexity of belief update
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
If a new piece of information contradicts our previously held beliefs, we have to revise our beliefs. This problem of belief revision arises in a number of areas in Computer Science and Artificial Intelligence, e.g., in updating logical database, in hypothetical reasoning, and in machine learning. Most of the research in this area is influenced by work in philosophical logic, in particular by Gardenfors and his colleagues, who developed the theory of belief revision}. Here we will focus on the computational aspects of this theory, surveying results that address the issue of the computational complexity of belief revision.