论文信息 - Extensions as Possible Worlds

Extensions as Possible Worlds

This chapter presents a model-theoretic, path-based semantics for inheritance. Ambiguous inheritance hierarchies have multiple credulous extensions corresponding to their various possible disambiguations. Each of these extensions represents an unambiguous possible world-state and has a straightforward model-theoretic interpretation. Specificity can be seen as a preference over these multiple extensions; it is a path-based criterion for resolving certain types of inheritance ambiguity.

Lynn Andrea Stein | L. Stein

[1] Fahiem Bacchus. A Modest, but Semantically Well Founded, Inheritance Reasoner , 1989, IJCAI.

[2] Lynn Andrea Stein,et al. Resolving ambiguity in nonmonotonic reasoning , 1992 .

[3] David S. Touretzky,et al. A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

[4] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[5] Lynn Andrea Stein,et al. Skeptical Inheritance: Computing the Intersection of Credulous Extensions , 1989, IJCAI.

[6] Krishnaprasad Thirunarayan,et al. On the Declarative Semantics of Inheritance Networks , 1989, IJCAI.

[7] Hector J. Levesque,et al. The Tractability of Path-Based Inheritance , 1989, IJCAI.

[8] Raymond Reiter,et al. On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[9] David S. Touretzky,et al. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[10] Craig Boutilier. A Semantical Approach to Stable Inheritance Reasoning , 1989, IJCAI.

[11] E. Sandewall,et al. Nonmonotonic inference rules for multiple inheritance with exceptions , 1986, Proceedings of the IEEE.