Proving Properties of States in the Situation Calculus Export

@article{reiter93proving, abstract = {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...}, author = {Reiter, Raymond}, citeulike-article-id = {1401703}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.3791}, journal = {Artificial Intelligence}, keywords = {ai, foundations, logic, reasoning\_about\_action, situation\_calculus}, number = {2}, pages = {337--351}, posted-at = {2007-06-20 23:16:57}, priority = {0}, title = {Proving Properties of States in the Situation Calculus}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.3791}, volume = {64}, year = {1993} }

TY - JOUR ID - reiter93proving L3 - citeulike-article-id:1401703 N2 - 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... IS - 2 JF - Artificial Intelligence EP - 351 TI - Proving Properties of States in the Situation Calculus VL - 64 SP - 337 KW - ai KW - foundations KW - logic KW - reasoning_about_action KW - situation_calculus AU - Reiter, Raymond PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.3791 ER -