A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
On the logic of iterated belief revision
Artificial Intelligence
The logic of knowledge bases
Intelligent Database Systems
The Complexity of Iterated Belief Revision
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
A most crucial problem in knowledge representation is the revision of knowledge when new, possibly contradictory, information is obtained (belief revision). In this paper, this problem is addressed for propositional knowledge bases. A new, more expressive representation of propositional expressions is introduced, which uses 2-dimensional complex matrices to store knowledge. The increased expressiveness of this representation can be exploited for devising a solution to the problem of belief revision. A simple method for belief revision is proposed, and the new problems and opportunities arising for query answering under this new representation are addressed. Finally, some results regarding matrices are presented as well as their connection with logic.