Hostname: page-component-84b7d79bbc-5lx2p Total loading time: 0 Render date: 2024-08-05T01:26:28.879Z Has data issue: false hasContentIssue false

Knowledge-base revision

Published online by Cambridge University Press:  04 June 2001

ODILE PAPINI
Affiliation:
SIS, équipe informatique, Faculté des Sciences et Techniques, Université de Toulon et du Var, BP 132, Avenue de l'université. 83957 La Garde Cedex, France. papini@univ-tln.fr

Abstract

This paper surveys the most representative approaches of knowledge-base revision. After a description of the revision characterization according to the AGM paradigm, the paper reviews different revision methods. In each case, the same example is used, as a reference example, to illustrate the different approaches. Closely connected with revision, some other non-monotonic approaches, like update, are briefly presented.

Type
Review Article
Copyright
© 2000 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

A preliminary draft of this paper was presented as invited conference at the 1996 Journées Françaises de Programmation Logique avec Contraintes (Papini 1996b). The final version of this paper was completed while the author was visiting the Simon Fraser University. Many thanks to J Doyle for helpful comments and to J Cohen, J Delgrande, D Dubois, JL Imbert, C Schwind and V Risch for helping the author to publish this survey.