参考文献
[1] Weld D S. Recent Advances in AI Planning[J]. AI Magazine, 1999, 20(2): 93-123.
[2] 吴康恒, 姜云飞. 基于模型检测的领域约束规划[J]. 软件学报, 2004, 15(11): 1629-1640.
[3] Bertoli P, Cimatti A, Roveri M, et al. Planning in Non- deterministic Domains Under Partial Observability via Symbolic Model Checking[C]//Proc. of the 17th International Joint Conference on Artificial Intelligence. Seattle, USA: [s. n.], 2001.
[4] Cimatti A, Roved M, Traverso P. Strong Planning in Non- deterministic Domains via Model Checking[C]//Proc. of the 4th International Conference on AI Planning Systems. Pittsburgh, USA: [s. n.], 1998.
[5] Huang Wei, Wen Zhonghua, Jiang Yunfei, et al. Observation Reduction for Strong Plans[C]//Proc. of the 20th International Joint Conference on Artificial Intelligence. Hyderabad, India: [s. n.], 2007.
[6] 周俊萍, 殷明浩, 谷文祥, 等. 部分可观察强规划中约减观察变量的研究[J]. 软件学报, 2009, 20(2): 290-304.
[7] Cimatti A, Roveri M. Conformant Planning via Symbolic Model Checking[J]. Artificial Intelligence Research, 2000, 13(1): 305-338.
[8] Cimatti A, Roveri M. Conformant Planning via Model Che- cking and Heuristic Search[J]. Artificial Intelligence, 2004, 159(1): 127-206.
[9] 常 青, 文中华, 胡雨隆, 等. 强循环规划的观察信息约 简[J]. 计算机工程与应用, 2012, 48(2): 148-150.
[10] 饶东宁, 蒋志华, 姜云飞, 等. 对不确定规划中观察约简的进一步研究[J]. 软件学报, 2009, 20(5): 1254-1268.
[11] Cimatti A, Pistore M, Roveri M, et al. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking[J]. Artificial Intelligence, 2003, 47(1): 35-84.
[12] Bertoli P, Cimatti A, Roveri M, et al. Strong Planning Under Partial Observability[J]. Artificial Intelligence, 2006, 170(4): 337-384.
[13] Pistore M, Traverso P. Planning as Model Checking for Extended Goals in Nondeterministic Domains[C]//Proc. of the 17th International Joint Conference on Artificial Intelligence. Seattle, USA: [s. n.], 2001.
[14] Fu Jicheng, Ng V, Yen I L, et al. Simple and Fast Strong Cyclic Planning for Fully-observable Nondeterministic Planning Problems[C]//Proc. of the 22th International Joint Conference on Artificial Intelligence. Barcelona, Spain: [s. n.], 2011.
编辑 索书志 |