UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Nested Abnormality Theories (1995)
Vladimir Lifschitz
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.
View:
PS
Citation:
Artificial Intelligence
, Vol. 74 (1995), pp. 351-365.
Bibtex:
@ARTICLE{lif95c, title={Nested Abnormality Theories}, author={Vladimir Lifschitz}, volume={74}, journal={Artificial Intelligence}, pages={351-365}, url="http://www.cs.utexas.edu/users/ai-lab?lif95c", year={1995} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Circumscription
Nonmonotonic Reasoning