Abstract.
Refinement of logical theories plays an important role in various application domains, notably in software engineering. This note introduces and studies refinement notions for nonmonotonic knowledge bases in default logic. The paper motivates and proposes refinement concepts, discusses their relationship, and establishes sufficient conditions for refinement.
Author information
Authors and Affiliations
Additional information
Received 27 July 1999 / Revised 3 November 1999 / Accepted 24 May 2000
Rights and permissions
About this article
Cite this article
Antoniou, G., MacNish, C. & Foo, N. A Note on the Refinement of Nonmonotonic Knowledge Bases. Knowledge and Information Systems 2, 479–486 (2000). https://doi.org/10.1007/PL00011653
Issue Date:
DOI: https://doi.org/10.1007/PL00011653