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 studies conservative extension ideas in the context of default logic. In particular, we define several alternative concepts, study their properties, and derive interconnections among the concepts. The main result provides an interesting distinctive feature of Reiter’s default logic over some well-known variants.
CITATION STYLE
Antoniou, G., Macnish, C. K., & Foo, N. Y. (1996). Conservative expansion concepts for default theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1114, pp. 522–533). Springer Verlag. https://doi.org/10.1007/3-540-61532-6_44
Mendeley helps you to discover research relevant for your work.