Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Circumscription—a form of non-monotonic reasoning
Readings in nonmonotonic reasoning
Applications of circumscription to formalizing common-sense knowledge
Readings in nonmonotonic reasoning
A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Reasoning about action I: a possible worlds approach
Readings in nonmonotonic reasoning
A framework for comparison of update semantics
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Revisions of Knowledge Systems Using Epistemic Entrenchment
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Explaining Updates by Minimal Sums
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Deriving properties of belief update from theories of action
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
| Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible as a form of circumscription. This shows that in certain applications, the cumbersome conceptually machinery of circumscription can be replaced by the intuitively simpler ideas of model-based theory revision. Where theory revision techniques are insufficient to capture the semantics of change in an application, circumscription will offer a more flexible environment. In addition, future advances in computing circumscription can be mapped to improvements in computing theory revisions, and vice versa.