Abstract
We propose a new approach to the use of circumscription for representing knowledge. Nested abnormality theories are similar to simple abnormality theories introduced by McCarthy, except that their axioms may have a nested structure, with each level corresponding to another application of the circumscription operator. The new style of applying circumscription sometimes leads to more economical and elegant formalizations. Mathematical properties of nested abnormality theories may be easier to investigate. These advantages are demonstrated by recasting several familiar applications of circumscription in the new format, including some examples of inheritance hierarchies, the domain closure assumption and causal minimization. Nested abnormality theories provide also a convenient representation for the explanation closure approach to the frame problem developed by Schubert.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
