Netl and subsequent path-based inheritance theories

DOI10.1016/0898-1221(92)90140-DzbMath0800.68871MaRDI QIDQ1202630

Richmond H. Thomason

Publication date: 19 April 1993

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

zbMATH Keywords

inheritanceknowledge representationadequacyAI systemssubsequent path-based inheritance theories

Mathematics Subject Classification ID

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

Related Items (6)

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

Uses Software

• LISP

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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