Conservative Extension Concepts for Nonmonotonic Knowledge Bases

G. Antoniou, Cara MacNish

    Research output: Contribution to journalArticlepeer-review


    Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper provides a detailed analysis of conservative extension concepts in the contest of nonmonotonic knowledge bases, in particular default theories. Since there are different approaches to nonmonotonic reasoning based on different strategics for dealing with multiple extensions, we define several alternative refinement concepts and study their interrelationships. We also show that refinement is well behaved with respect to strong stratification, a technique for reducing computational effort in default reasoning. (C) 2000 John Wiley & Sons, Inc.
    Original languageEnglish
    Pages (from-to)859-877
    JournalInternational Journal of Intelligent Systems
    Issue number9
    Publication statusPublished - 2000


    Dive into the research topics of 'Conservative Extension Concepts for Nonmonotonic Knowledge Bases'. Together they form a unique fingerprint.

    Cite this