Resolving ambiguity in nonmonotonic inheritance hierarchies

DOI10.1016/0004-3702(92)90057-5zbMath0766.68120OpenAlexW2078237001MaRDI QIDQ1193489

Lynn Andrea Stein

Publication date: 27 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1721.1/6577

zbMATH Keywords

specificitymodel-theoretic semanticsinheritance hierarchiesinheritance reasoningpath-based inheritance

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Dynamic Reasoning Systems ⋮ On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ On the equivalence of upward and downward inheritance reasoners ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ Dynamic reasoning with qualified syllogisms ⋮ Defeasible inheritance on cyclic networks ⋮ Locality in inheritance networks ⋮ An argument-based approach to reasoning with specificity ⋮ Skepticism and floating conclusions ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry

Cites Work

• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Formalizing nonmonotonic reasoning systems
• A model for belief revision
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Hard problems for simple default logics
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolving ambiguity in nonmonotonic inheritance hierarchies