Nonmonotonic reasoning in the framework of situation calculus

DOI10.1016/0004-3702(91)90004-4zbMath0749.03017OpenAlexW1989492347MaRDI QIDQ1182155

Andrew B. Baker

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/0004-3702(91)90004-4

zbMATH Keywords

nonmonotonic logicframe problemsituation calculuscircumscriptionunintended minimal models in the Yale shooting problem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (15)

Two counterexamples related to Baker's approach to the frame problem ⋮ Lifschitz and Circumscription ⋮ Applying the persistent set approach in temporal reasoning ⋮ Representing action: indeterminacy and ramifications ⋮ Situation calculus specifications for event calculus logic programs ⋮ Ramification and causality ⋮ Constrained consequence ⋮ Event calculus and temporal action logics compared ⋮ A unifying action calculus ⋮ Value minimization in circumscription ⋮ Frame problem in dynamic logic ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ Nested abnormality theories ⋮ A circumscriptive calculus of events ⋮ A unifying semantics for time and events

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about action. I: A possible worlds approach
• The anomalous extension problem in default reasoning
• Nonmonotonic logic and temporal projection
• Chronological ignorance: Experiments in nonmonotonic temporal reasoning
• Circumscription - a form of non-monotonic reasoning

This page was built for publication: Nonmonotonic reasoning in the framework of situation calculus