Abstract
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 language | English |
---|---|
Title of host publication | Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings |
Editors | Craig MacNish, David Pearce, Luis Moniz Pereira |
Pages | 122-136 |
Number of pages | 15 |
DOIs | |
State | Published - 1994 |
Event | European Workshop on Logics in Artificial Intelligence, JELIA 1994 - York, United Kingdom Duration: Sep 5 1994 → Sep 8 1994 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 838 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | European Workshop on Logics in Artificial Intelligence, JELIA 1994 |
---|---|
Country/Territory | United Kingdom |
City | York |
Period | 9/5/94 → 9/8/94 |
Bibliographical note
Publisher Copyright:© 1994, Springer Verlag. All rights reserved.
Funding
This work was partially supported by National Science Foundation under grant IRI-9012902.
Funders | Funder number |
---|---|
National Science Foundation (NSF) | IRI-9012902 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science