First-order strong progression for local-effect basic action theories
作者： Gerhard Lakemeyer , Stavros Vassos , Hector J. Levesque
DOI:
关键词:
摘要: In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in situation calculus. The idea is to replace an initial database by new set sentences which reflect changes due action. Unfortunately, requires second-order logic general. this paper, we introduce strong progression, slight variant that has intended properties, show case actions have only local effects, always first-order representable. Moreover, restricted class local-effect axioms how construct finite.
toronto.edu 
researchgate.net 参考文章(20)
Andreas Nonnengart, Hans Jürgen Ohlbach, Andrzej Szałas, ELIMINATION OF PREDICATE QUANTIFIERS Springer, Dordrecht. pp. 149- 171 ,(1999) , 10.1007/978-94-011-4574-9_9
Hector J. Levesque, Gerhard Lakemeyer, Situations, Si! situation terms, No! principles of knowledge representation and reasoning. pp. 516- 526 ,(2004)
Fangzhen Lin, Discovering state invariants principles of knowledge representation and reasoning. pp. 536- 544 ,(2004)
Gerhard Lakemeyer, Patrick Eyerich, Bernhard Nebel, Jens Claßen, Towards an integration of Golog and planning international joint conference on artificial intelligence. pp. 1846- 1851 ,(2007)
Yongmei Liu, Hector J. Levesque, Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions international joint conference on artificial intelligence. pp. 522- 527 ,(2005)
Eyal Amir, Afsaneh Shirazi, First-order logical filtering international joint conference on artificial intelligence. pp. 589- 595 ,(2005)
Stavros Vassos, Hector Levesque, Progression of situation calculus action theories with incomplete information international joint conference on artificial intelligence. pp. 2029- 2034 ,(2007)
Andrzej Szałas, Patrick Doherty, Witold Łukaszewicz, Computing strongest necessary and weakest sufficient conditions of first-order formulas international joint conference on artificial intelligence. pp. 145- 151 ,(2001)
Koen V. Hindriks, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer, Agent Programming in 3APL Autonomous Agents and Multi-Agent Systems. ,vol. 2, pp. 357- 401 ,(1999) , 10.1023/A:1010084620690
Fangzhen Lin, Ray Reiter, How to progress a database Artificial Intelligence. ,vol. 92, pp. 131- 167 ,(1997) , 10.1016/S0004-3702(96)00044-6