Improvements to the Strong Planning Algorithm

作者: Zhonghua Wen , Qiwei Yang , Jinhua Zheng , Jiang Zhu

DOI: 10.1109/ICNC.2008.723

关键词: Adjacency matrixMathematical optimizationObservabilityState (functional analysis)Planning algorithmsAlgorithm designComputer scienceSet (abstract data type)

摘要: This paper points out some drawbacks and gives modifications to the strong planning algorithm. In particular, a set of states is found by using adjacency matrix that corresponds non-deterministic state-transition system. The composed four parts, first part initial which can not reach goal states, if empty, there planning; state states,we put into second part; third are unreachable from states; so station-action pairs relate or absolutely useless; fourth without passing any before, state-action useless as well, because they move execution away goal. So great many be eliminated directly universal policy. Finally, efficiency modified algorithm illustrated an example experiments.

参考文章(9)
Yunfei Jiang, Wei Huang, Zhonghua Wen, Lihua Wu, Observation reduction for strong plans international joint conference on artificial intelligence. pp. 1930- 1935 ,(2007)
Douglas Brent West, Introduction to Graph Theory ,(1995)
Malik Ghallab, Dana S. Nau, Paolo Traverso, Automated Planning, Theory And Practice ,(2006)
A. Cimatti, M. Roveri, Conformant planning via symbolic model checking Journal of Artificial Intelligence Research. ,vol. 13, pp. 305- 338 ,(2000) , 10.1613/JAIR.774
A. Cimatti, M. Roveri, P. Bertoli, Conformant planning via symbolic model checking and heuristic search Artificial Intelligence. ,vol. 159, pp. 127- 206 ,(2004) , 10.1016/J.ARTINT.2004.05.003
A. Cimatti, M. Pistore, M. Roveri, P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking Artificial Intelligence. ,vol. 147, pp. 35- 84 ,(2003) , 10.1016/S0004-3702(02)00374-0
Marco Roveri, Paolo Traverso, Alssandro Cimatti, Automatic OBDD-based generation of universal plans in non-deterministic domains national conference on artificial intelligence. pp. 875- 881 ,(1998)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso, Strong planning under partial observability Artificial Intelligence. ,vol. 170, pp. 337- 384 ,(2006) , 10.1016/J.ARTINT.2006.01.004
Richard E. Fikes, Nils J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving Artificial Intelligence. ,vol. 2, pp. 189- 208 ,(1971) , 10.1016/0004-3702(71)90010-5