The anomalous extension problem in default reasoning

DOI10.1016/0004-3702(88)90022-7zbMath0648.03016OpenAlexW2039797670MaRDI QIDQ1104922

Paul H. Morris

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90022-7

zbMATH Keywords

nonmonotonic logictemporal logicnonmonotonic reasoningtemporal reasoningtruth maintenance systemsnonnormal default rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99)

Related Items (4)

A three-valued semantics for deductive databases and logic programs ⋮ A paraconsistent approach to deal with epistemic inconsistencies in argumentation ⋮ Nonmonotonic reasoning in the framework of situation calculus ⋮ Answer set programming and plan generation

Cites Work

• Some representational issues in default reasoning
• Formalizing nonmonotonic reasoning systems
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

This page was built for publication: The anomalous extension problem in default reasoning