The anomalous extension problem in default reasoning

DOI10.1016/0004-3702(88)90022-7zbMATH Open0648.03016OpenAlexW2039797670MaRDI QIDQ1104922FDOQ1104922

Authors: 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

Recommendations

• Formalizing nonmonotonic reasoning systems
• scientific article; zbMATH DE number 4022663
• Operational characterization of extensions in some logics for default reasoning
• scientific article; zbMATH DE number 4106301
• Nonmonotonic reasoning in the framework of situation calculus

zbMATH Keywords

nonmonotonic reasoningtemporal reasoningtemporal logicnonmonotonic logictruth maintenance systemsnonnormal default rules

Mathematics Subject Classification ID

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

Cites Work

• 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
• Some representational issues in default reasoning
• Formalizing nonmonotonic reasoning systems

Cited In (4)

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

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

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