A skeptical theory of inheritance in nonmonotonic semantic networks
From MaRDI portal
Publication:2638811
DOI10.1016/0004-3702(90)90057-7zbMath0717.68085OpenAlexW1967115134MaRDI QIDQ2638811
David S. Touretzky, John F. Horty, Richmond H. Thomason
Publication date: 1990
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(90)90057-7
Related Items (44)
Inheritance systems with exceptions ⋮ On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ Making the right exceptions ⋮ Argumentation through a distributed self-stabilizing approach ⋮ 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 ⋮ Hybridizing nonmonotonic inheritance with theorem proving ⋮ An approach to default reasoning based on a first-order conditional logic: Revised report ⋮ Defaults with priorities ⋮ Minimal model semantics for sorted constraint representation ⋮ Rethinking specificity in defeasible reasoning and its effect in argument reinstatement ⋮ Static semantics for normal and disjunctive logic programs ⋮ On the equivalence of upward and downward inheritance reasoners ⋮ Well-founded and stationary models of logic programs ⋮ Autoepistemic logic of knowledge and beliefs ⋮ Nonmonotonic inheritance, argumentation and logic programming ⋮ Defeasible inheritance with doubt index and its axiomatic characterization ⋮ Fixed-parameter tractability of disjunction-free default reasoning ⋮ Well-founded semantics for defeasible logic ⋮ Dynamic reasoning with qualified syllogisms ⋮ Defeasible inheritance on cyclic networks ⋮ Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments ⋮ Explaining default intuitions using maximum entropy. ⋮ Graded inheritance nets for knowledge representation ⋮ Impediments to universal preference-based default theories ⋮ Hard problems for simple default logics ⋮ Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ A theory of nonmonotonic inheritance based on annotated logic ⋮ Locality in inheritance networks ⋮ The complexity of path-based defeasible inheritance ⋮ How to reason defeasibly ⋮ Netl and subsequent path-based inheritance theories ⋮ Defeasible inheritance: A lattice based approach ⋮ Two problems of direct inference ⋮ A logic-based theory of deductive arguments ⋮ A mathematical treatment of defeasible reasoning and its implementation. ⋮ An argument-based approach to reasoning with specificity ⋮ Skepticism and floating conclusions ⋮ Artificial nonmonotonic neural networks ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ A simple signed system for paraconsistent reasoning ⋮ Interdefinability of defeasible logic and logic programming under the well-founded semantics ⋮ Argument-based extended logic programming with defeasible priorities ⋮ Nonmonotonic inconsistency
Cites Work
- Semantical considerations on nonmonotonic logic
- Formalizing nonmonotonic reasoning systems
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Non-monotonic logic. I
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A skeptical theory of inheritance in nonmonotonic semantic networks
