REVISE: An extended logic programming system for revising knowledge bases

In this paper we describe REVISE, an extended logic programming system for revising knowl-edge bases. REVISE is based on logic program-ming with explicit negation, plus a two-valued assumption revision to face contradiction, en-compasses the notion of preference levels. Its reliance on logic programming allows efficient computation and declarativity, whilst its use of explicit negation, revision and preference levels enables modeling of a variety of problems includ-ing default reasoning, belief revision and model-based reasoning. It has been implemented as a Prolog–meta interpreter and tested on a spate of examples, namely the representation of diagnosis strategies in modelbased reasoning systems.