Proving Properties of States in the Situation Calculus


In the situation calculus, it is sometimes necessary to prove that certain properties are true in all world states accessible from the initial state. This is the case for some forms of reasoning about the physical world, for certain planning applications, and for verifying integrity constraints in databases. Not surprisingly, this requires a suitable form of mathematical induction. This paper motivates the need for proving properties of states in the situation calculus, proposes appropriate induction principles for this task, and gives examples of their use in databases and for reasoning about the physical world.

DOI: 10.1016/0004-3702(93)90109-O

Extracted Key Phrases


Citations per Year

216 Citations

Semantic Scholar estimates that this publication has 216 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Reiter1993ProvingPO, title={Proving Properties of States in the Situation Calculus}, author={Raymond Reiter}, journal={Artif. Intell.}, year={1993}, volume={64}, pages={337-351} }