Revision specifications by means of programs

Victor W. Marek, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Scopus citations


We propose a formahsm for specifying revisions in knowledge bases and belief sets. This formalism extends logic programming with stable model semantics. Main objects of our system are revision programs consisting of revision rules. A revision rule expresses a specification of change or a constraint on a knowledge base. There are two types of revision rules. In-rules require that an element be in a knowledge base whenever some other elements are in the knowledge base and yet other elements are absent from it. Similar conditions in an out-rule force the absence of an element from the knowledge base. For a revision program P we introduce the notion of a P-justified revision, which we use to specify the meaning of the program. Main motivation for our formalism and for the semantics of P-justified revisions comes from default logic and logic programming with stable model semantics. In the paper, we show that if a knowledge base B is a model of a program P then B is the unique P-justified revision of B. We show that P-justified revisions are models of P. We also show that P-justified revisions of a given knowledge base satisfy some minimality criterion. We outline the proof theory for revision programs gad show its adequacy for the proposed semantics. We generalize the notion of a revision program to the case of disjunctive revision programs. A simple example of an application is also discussed.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings
EditorsCraig MacNish, David Pearce, Luis Moniz Pereira
Number of pages15
StatePublished - 1994
EventEuropean Workshop on Logics in Artificial Intelligence, JELIA 1994 - York, United Kingdom
Duration: Sep 5 1994Sep 8 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume838 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceEuropean Workshop on Logics in Artificial Intelligence, JELIA 1994
Country/TerritoryUnited Kingdom

Bibliographical note

Publisher Copyright:
© 1994, Springer Verlag. All rights reserved.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Revision specifications by means of programs'. Together they form a unique fingerprint.

Cite this