State Constraints Revisited Export

@article{citeulike:3015352, abstract = {We pursue the perspective of Reiter that in the situation calculus one can formalize primitive, determinate actions with axioms which, among others, include two disjoint sets: a set of successor state axioms and a set of action precondition axioms. We posed ourselves the problem of automatically generating successor state axioms, given only a set of effect axioms and a set of state constraints. This is a special version of what has been traditionally called the ramification problem. To our...}, author = {Lin, Fangzhen and Reiter, Raymond}, citeulike-article-id = {3015352}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3134}, journal = {Journal of Logic and Computation}, keywords = {progression, reasoning\_about\_action, situation\_calculus}, number = {5}, pages = {655--678}, posted-at = {2008-07-17 20:00:44}, priority = {0}, title = {State Constraints Revisited}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3134}, volume = {4}, year = {1994} }

TY - JOUR ID - citeulike:3015352 L3 - citeulike-article-id:3015352 N2 - We pursue the perspective of Reiter that in the situation calculus one can formalize primitive, determinate actions with axioms which, among others, include two disjoint sets: a set of successor state axioms and a set of action precondition axioms. We posed ourselves the problem of automatically generating successor state axioms, given only a set of effect axioms and a set of state constraints. This is a special version of what has been traditionally called the ramification problem. To our... IS - 5 JF - Journal of Logic and Computation EP - 678 TI - State Constraints Revisited VL - 4 SP - 655 KW - progression KW - reasoning_about_action KW - situation_calculus AU - Lin, Fangzhen AU - Reiter, Raymond PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.3134 ER -