From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

DOI10.1016/S0004-3702(99)00033-8MaRDI QIDQ1606307zbMATH OpenOpenAlexWikidataFDO

Authors Michael Thielscher

Publication date 24 July 2002

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00033-8

zbMATH Keywords

frame problemsituation calculusfluent calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• scientific article; zbMATH DE number 1748588
• scientific article; zbMATH DE number 1418373
• Proving properties of states in the situation calculus
• scientific article; zbMATH DE number 89002
• From Situation Calculus to Dynamic Epistemic Logic
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Reconciling the event calculus with the situation calculus
• Representing actions in logic programs and default theories a situation calculus approach
• scientific article; zbMATH DE number 2085243
• scientific article; zbMATH DE number 6747990

Cited in

(20)

• First-order logical filtering
• John McCarthy's legacy
• scientific article; zbMATH DE number 1748588 (Why is no real title available?)
• Bounded situation calculus action theories
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• A unifying action calculus
• Multivalued action languages with constraints in \(CLP(FD)\)
• The qualification problem: A solution to the problem of anomalous models
• A probabilistic interval-based event calculus for activity recognition
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• Probabilistic event calculus for event recognition
• The concurrent, continuous fluent calculus
• Event calculus and temporal action logics compared
• Belief revision and projection in the epistemic situation calculus
• A family of dynamic description logics for representing and reasoning about actions
• Epistemic planning: perspectives on the special issue
• scientific article; zbMATH DE number 1696832 (Why is no real title available?)
• A Semantical Account of Progression in the Presence of Defaults
• Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
• Simulation of action theories and an application to general game-playing robots

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

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