Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
This paper describes a theory of inheritance theories. We present an original theory of inheritance in nonmonotonic hierarchies. The structures on which this theory is based delineate a framework that subsumes most inheritance theories in the literature, providing a new foundation for inherita...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6577 |
| _version_ | 1826205895252508672 |
|---|---|
| author | Stein, Lynn Andrea |
| author_facet | Stein, Lynn Andrea |
| author_sort | Stein, Lynn Andrea |
| collection | MIT |
| description | This paper describes a theory of inheritance theories. We present an original theory of inheritance in nonmonotonic hierarchies. The structures on which this theory is based delineate a framework that subsumes most inheritance theories in the literature, providing a new foundation for inheritance. * Our path-based theory is sound and complete w.r.t. a direct model-theoretic semantics. * Both the credulous and the skeptical conclusions of this theory are polynomial-time computable. * We prove that true skeptical inheritance is not contained in the language of path-based inheritance. Because our techniques are modular w.r.t. the definition of specificity, they generalize to provide a unified framework for a broad class of inheritance theories. By describing multiple inheritance theories in the same "language" of credulous extensions, we make principled comparisons rather than the ad-hoc examination of specific examples makes up most of the comparative inheritance work. |
| first_indexed | 2024-09-23T13:20:44Z |
| id | mit-1721.1/6577 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:20:44Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/65772019-04-12T08:31:35Z Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies Stein, Lynn Andrea This paper describes a theory of inheritance theories. We present an original theory of inheritance in nonmonotonic hierarchies. The structures on which this theory is based delineate a framework that subsumes most inheritance theories in the literature, providing a new foundation for inheritance. * Our path-based theory is sound and complete w.r.t. a direct model-theoretic semantics. * Both the credulous and the skeptical conclusions of this theory are polynomial-time computable. * We prove that true skeptical inheritance is not contained in the language of path-based inheritance. Because our techniques are modular w.r.t. the definition of specificity, they generalize to provide a unified framework for a broad class of inheritance theories. By describing multiple inheritance theories in the same "language" of credulous extensions, we make principled comparisons rather than the ad-hoc examination of specific examples makes up most of the comparative inheritance work. 2004-10-08T20:28:54Z 2004-10-08T20:28:54Z 1991-08-01 AIM-1316 http://hdl.handle.net/1721.1/6577 en_US AIM-1316 7847601 bytes 6345355 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Stein, Lynn Andrea Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title | Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title_full | Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title_fullStr | Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title_full_unstemmed | Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title_short | Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies |
| title_sort | resolving ambiguity in nonmonotonic inheritance hierarchies |
| url | http://hdl.handle.net/1721.1/6577 |
| work_keys_str_mv | AT steinlynnandrea resolvingambiguityinnonmonotonicinheritancehierarchies |