Artificial Intelligence
A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic inference based on expectations
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Methodology for Iterated Theory Change
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Legal contractions: a logical analysis
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
| Hi-index | 0.00 |
We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The resulting base is semantically equivalent to that generated by the other approaches, in the sense that it has the same models, but the rule part alone has fewer models, that is, is subjected to a smaller change.