First-Order Strong Progression for Local-Effect Basic Action Theories Export

@inproceedings{vassos09localeffect, abstract = {In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reiter that has the intended properties, and we show that in case actions have only local effects, progression is always first-order representable. Moreover, for a restricted class of local-effect axioms we show how to construct a new database that is finite.}, address = {Sydney, Australia}, author = {Vassos, Stavros and Lakemeyer, Gerhard and Levesque, Hector}, booktitle = {Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08)}, citeulike-article-id = {5870925}, citeulike-linkout-0 = {http://www.aaai.org/Papers/KR/2008/KR08-065.pdf}, editor = {Brewka, Gerhard and Lang, J{\'{e}}r{\^{o}}me}, keywords = {ai, logic, progression, reasoning\_about\_action, situation\_calculus}, pages = {662--672}, posted-at = {2009-10-01 23:06:00}, priority = {0}, publisher = {AAAI Press}, title = {First-Order Strong Progression for Local-Effect Basic Action Theories}, url = {http://www.aaai.org/Papers/KR/2008/KR08-065.pdf}, year = {2009} }

TY - CONF ID - vassos09localeffect L3 - citeulike-article-id:5870925 N2 - In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reiter that has the intended properties, and we show that in case actions have only local effects, progression is always first-order representable. Moreover, for a restricted class of local-effect axioms we show how to construct a new database that is finite. AD - Sydney, Australia EP - 672 TI - First-Order Strong Progression for Local-Effect Basic Action Theories PB - AAAI Press T2 - Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08) SP - 662 KW - ai KW - logic KW - progression KW - reasoning_about_action KW - situation_calculus AU - Vassos, Stavros AU - Lakemeyer, Gerhard AU - Levesque, Hector A2 - Brewka, Gerhard A2 - Lang, J{é}r{ô}me PY - 2009/// UR - http://www.aaai.org/Papers/KR/2008/KR08-065.pdf ER -