Non-Markovian control in the situation calculus Export

@inproceedings{gabaldon00nonmarkovian, abstract = {The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most formalizations of action. It is not difficult, however, to run into scenarios when the Markov property is not present. We consider removing this assumption from the situation calculus based formalization of actions of Reiter, which forms the basis of the programming language Golog, and define an operator for regressing...}, author = {Gabaldon, A.}, booktitle = {Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany}, citeulike-article-id = {2247641}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5437}, editor = {Lakemeyer, G.}, keywords = {ai, logic, reasoning\_about\_action, situation\_calculus}, pages = {28--33}, posted-at = {2008-01-17 22:17:01}, priority = {0}, title = {Non-Markovian control in the situation calculus}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5437}, year = {2000} }

TY - CONF ID - gabaldon00nonmarkovian L3 - citeulike-article-id:2247641 N2 - The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most formalizations of action. It is not difficult, however, to run into scenarios when the Markov property is not present. We consider removing this assumption from the situation calculus based formalization of actions of Reiter, which forms the basis of the programming language Golog, and define an operator for regressing... EP - 33 TI - Non-Markovian control in the situation calculus T2 - Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany SP - 28 KW - ai KW - logic KW - reasoning_about_action KW - situation_calculus AU - Gabaldon, A A2 - Lakemeyer, G PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5437 ER -