Situations, si! Situation terms, no! Export

@inproceedings{lakemeyer04situations, abstract = {The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that captures much of the expressive power of the original, but where certain technical results are much more easily proven. This is illustrated using two existing non-trivial results: the regression theorem and the determinacy of knowledge theorem of Reiter. We also obtain a regression theorem for knowledge, and show...}, author = {Lakemeyer and Levesque, Hector J.}, booktitle = {Proceedings of KR-2004}, citeulike-article-id = {1182194}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.773}, keywords = {ai, es, logic, reasoning\_about\_action, situation\_calculus}, posted-at = {2007-03-24 00:56:58}, priority = {0}, title = {Situations, si! Situation terms, no!}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.773}, year = {2004} }

TY - CONF ID - lakemeyer04situations L3 - citeulike-article-id:1182194 N2 - The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that captures much of the expressive power of the original, but where certain technical results are much more easily proven. This is illustrated using two existing non-trivial results: the regression theorem and the determinacy of knowledge theorem of Reiter. We also obtain a regression theorem for knowledge, and show... TI - Situations, si! Situation terms, no! T2 - Proceedings of KR-2004 KW - ai KW - es KW - logic KW - reasoning_about_action KW - situation_calculus AU - Lakemeyer AU - Levesque, Hector PY - 2004/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.773 ER -