A general framework for revision of nonmonotonic theories is presented. This framework can be applied if the intended nonmonotonic semantics is not (weakly) cumulative. For weaker semantics, it is shown that revision by contraction is not possible whenever the intended semantics satisfies Weak Cut and revision by expansion fails whenever Weak (Cautious) Monotony fails. Furthermore, it turns out that revision by expansion can be used to test whether the framework can be applied successfully and we analyse the case for logic programming.
CITATION STYLE
Witteveen, C., & van der Hoek, W. (1997). A general framework for revising nonmonotonic theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1265, pp. 258–272). Springer Verlag. https://doi.org/10.1007/3-540-63255-7_20
Mendeley helps you to discover research relevant for your work.