Contradiction: when avoidance equals removal - Part II (1994)
Cached
Download Links
- [centria.di.fct.unl.pt]
- [centria.di.fct.unl.pt]
- DBLP
Other Repositories/Bibliography
| Venue: | 4TH INT. WS. ON EXTENSIONS OF LP, VOLUME 798 OF LNAI |
| Citations: | 10 - 5 self |
BibTeX
@INPROCEEDINGS{Pereira94contradiction:when,
author = {Luís Moniz Pereira and José Júlio Alferes},
title = {Contradiction: when avoidance equals removal - Part II},
booktitle = {4TH INT. WS. ON EXTENSIONS OF LP, VOLUME 798 OF LNAI},
year = {1994},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is the continuation of [1] in this volume. There we present a sceptical semantics which avoids contradiction for extended logic programs plus integrity contraints in the form of denials, based on the notion of optative hypotheses --an abductive approach. In this part we define a program revision method for removing contradiction from contradictory programs under WFSX, based on the notion of revisable hypotheses --a belief revision approach-- and show the equivalence between the contradiction avoidance semantics and the WFSX of revised programs obtained by contradiction removal. The motivation, as well as some preliminary definitions can be found in [1]. Proofs of all theorems are omitted for brevity, but exist in an extended version of this work.
