Proving properties of states in the situation calculus

DOI10.1016/0004-3702(93)90109-OMaRDI QIDQ1313962zbMATH OpenOpenAlexFDO

Authors Raymond Reiter

Publication date 9 June 1994

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(93)90109-o

zbMATH Keywords

databasesintegrity constraintsmathematical inductionsituation calculus

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Proving entailment between conceptual state specifications
• scientific article; zbMATH DE number 1418373
• Proof tactics for a theory of state machines in a graphical environment
• Reasoning About States of Probabilistic Sequential Programs
• scientific article; zbMATH DE number 4055617
• Property persistence in the situation calculus
• Propositional statecharts for agent interaction protocols
• scientific article; zbMATH DE number 1302017

Cites work

• scientific article; zbMATH DE number 3862494 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• scientific article; zbMATH DE number 3298340 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• On specifying database updates
• Provably correct theories of action
• State Constraints Revisited
• What should a database know?

Cited in

(20)

• What robots can do: robot programs and effective achievability
• How to progress a database
• ConGolog, a concurrent programming language based on the situation calculus
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Reasoning about time in the situation calculus
• Asynchronous knowledge with hidden actions in the situation calculus
• A survey on temporal logics for specifying and verifying real-time systems
• Event calculus and temporal action logics compared
• Existential assertions and quantum levels on the tree of the situation calculus
• Planning from second principles
• Propositional statecharts for agent interaction protocols
• Knowledge assimilation in domains of actions: a possible causes approach
• scientific article; zbMATH DE number 1418373 (Why is no real title available?)
• Progression of decomposed local-effect action theories
• First-order logical filtering
• The well-designed logical robot: learning and experience from observations to the Situation Calculus
• Temporal representation and reasoning in artificial intelligence: A review
• Knowledge, action, and the frame problem
• Heuristic planning: A declarative approach based on strategies for action selection
• Property persistence in the situation calculus

This page was built for publication: Proving properties of states in the situation calculus

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