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

DOI10.1016/S0004-3702(98)00073-3MaRDI QIDQ1274763zbMATH OpenOpenAlexFDO

Authors 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

applicationsartificial intelligencebenefits inquirycommercial applicationsexpert systemsfirst-order logicinheritanceinheritance networksinsurancemedical AImedical insurancenonmonotonic logicnonmonotonic reasoningnonmonotonic techniquesrule-based systemssemantic networks

Mathematics Subject Classification ID

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

Recommendations

• Nonmonotonic inheritance, argumentation and logic programming
• scientific article; zbMATH DE number 440108
• A skeptical theory of inheritance in nonmonotonic semantic networks
• scientific article; zbMATH DE number 710879

Cites work

• A logic for default reasoning
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Circumscription - a form of non-monotonic reasoning
• Complexity Results for Nonmonotonic Logics
• Fuzzy sets
• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 4166939 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 140394 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 6957 (Why is no real title available?)
• scientific article; zbMATH DE number 3992919 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Non-monotonic logic. I
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning, preferential models and cumulative logics
• Resolving ambiguity in nonmonotonic inheritance hierarchies
• Semantical considerations on nonmonotonic logic
• The complexity of path-based defeasible inheritance

Cited in

(5)

• Clausal logic and logic programming in algebraic domains
• scientific article; zbMATH DE number 710879 (Why is no real title available?)
• A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
• Defeasible inheritance with doubt index and its axiomatic characterization
• Elaboration tolerance through object-orientation

This page was built for publication: Inheritance comes of age: applying nonmonotonic techniques to problems in industry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274763)