Inheritance comes of age: applying nonmonotonic techniques to problems in industry

DOI10.1016/S0004-3702(98)00073-3zbMath0910.68205OpenAlexW2088076867MaRDI QIDQ1274763

Leora Morgenstern

Publication date: 12 January 1999

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(98)00073-3

zbMATH Keywords

nonmonotonic logicfirst-order logicartificial intelligenceapplicationsinheritanceinsuranceexpert systemsnonmonotonic reasoningrule-based systemsinheritance networkssemantic networksbenefits inquirycommercial applicationsmedical AImedical insurancenonmonotonic techniques

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Defeasible inheritance with doubt index and its axiomatic characterization ⋮ A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling ⋮ Clausal logic and logic programming in algebraic domains ⋮ Elaboration tolerance through object-orientation

Cites Work

• The complexity of path-based defeasible inheritance
• Semantical considerations on nonmonotonic logic
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Nonmonotonic reasoning, preferential models and cumulative logics
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Complexity Results for Nonmonotonic Logics
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item