Netl and subsequent path-based inheritance theories

DOI10.1016/0898-1221(92)90140-DMaRDI QIDQ1202630zbMATH OpenFDO

Authors Richmond H. Thomason

Publication date 19 April 1993

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

adequacyinheritanceknowledge representationAI systemssubsequent path-based inheritance theories

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)

Cites work

• scientific article; zbMATH DE number 431927 (Why is no real title available?)
• scientific article; zbMATH DE number 4176500 (Why is no real title available?)
• scientific article; zbMATH DE number 4176506 (Why is no real title available?)
• scientific article; zbMATH DE number 4176507 (Why is no real title available?)
• scientific article; zbMATH DE number 4152345 (Why is no real title available?)
• scientific article; zbMATH DE number 4166919 (Why is no real title available?)
• scientific article; zbMATH DE number 4166920 (Why is no real title available?)
• scientific article; zbMATH DE number 3965458 (Why is no real title available?)
• scientific article; zbMATH DE number 4104922 (Why is no real title available?)
• scientific article; zbMATH DE number 3694633 (Why is no real title available?)
• scientific article; zbMATH DE number 3742670 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 45008 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• Nonmonotonic reasoning, preferential models and cumulative logics

Cited in

(6)

• Defeasible inheritance on cyclic networks
• Dynamic reasoning with qualified syllogisms
• Defeasible inheritance with doubt index and its axiomatic characterization
• Inheritance systems with exceptions
• On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies
• Hybridizing nonmonotonic inheritance with theorem proving

Describes a project that uses

Uses Software

• LISP

This page was built for publication: Netl and subsequent path-based inheritance theories

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