Computer Science ›› 2015, Vol. 42 ›› Issue (4): 217-220, 257.doi: 10.11896/j.issn.1002-137X.2015.04.044

Previous Articles     Next Articles

Solving Strong Cyclic Planning with Minimal Expectation Weight

LI Yang, WEN Zhong-hua, WU Xiao-hui and LAO Jia-qi   

  • Online:2018-11-14 Published:2018-11-14

Abstract: In real world,the action’s execution often takes a cost.Due to the interference of the external environment,the result of an action’s execution is uncertain.To solve this problem,we added weight to the action in system,used a probability distribution to show the stochastic state transition.A method of solving strong cyclic planning with minimal expectation weight was designed based on the proposed concept of expectation weight for strong cyclic planning.Mainly,this method applies depth-first search for getting all strong cyclic plannings.Then,it uses Gaussian elimination to slove the problem after converting the plannings into linear equations with variables in expectation weight.

Key words: Uncertainty planning,Probability distribution,Strong cyclic planning with minimal expectation weight,Depth-first search,Gaussian elimination

[1] Kuter U,Nau D,Reisner,et al.Using Classical Planners to Solve Nondeterministic Planning Problems[C]∥Proc.of the 18th Int Conf on Automated Planning and Scheduling.Menlo Park,CA:AAAI press,2008
[2] Bertoli P,Cimatti A,Roveri M,et al.Strong planning under partial observability[J].Artificial Intelligence,2006,0(4/5):337-384
[3] Cimatti A,Roveri M,Traverso P.Automatic OBDD-based gene-ration of universal plans in nondeterministic domains[C]∥Proc.of the 15th National Conf on Artificial Intelligence.Menlo Park,CA:AAAI Press,1998:875-881
[4] Cimatti A,Pistore M,Roveri M,et al.Weak,strong,and strong cyclic planning via symbolic model checking[J].Artificial Intelligence,2003,147(1/2):35-84
[5] 文中华,黄巍,刘任任,等.模型检测规划中的状态分层方法[J].软件学报,2009,20(4):858-869
[6] Oh J,Meneguzzi F,Sycara K.Probabilistic plan recognition for intelligent information agents[C]∥Proc.ICAART.2011
[7] Martín Y E,Moreno M D R,Smith D E.Probabilistic PlanGraph Heuristic for Probabilistic Planning[C]∥Proc.of the Twenty-Fifth AAAI Conference on Artificial Intelligence.2011:1774-1745
[8] Fu J,Ng V,Bastani F B,et al.Simple and fast strong cyclic planning for fully-observable nondeterministic planning problems[C]∥Proc.of the 22nd Int Joint Conf on Artificial Intelligence.Menlo Park,CA:AAAI Press,2011:1949-1954
[9] 周俊萍,殷明浩,谷文祥,等.部分可观察强规划中约减观察变量的研究[J].软件学报,2009,0(2):290-304
[10] 唐杰,文中华,汪泉,等.不确定可逆规划的强循环规划解[J].计算机研究与发展,2013,0(9):1970-1980
[11] 刘铭,徐杨,陈峥,等.基于Multi-agent系统的多飞行器协同路径规划方法的研究[J].计算机科学,2012,9(1):219-233
[12] 陈建林,文中华,马丽丽,等.一种求解最小权值强规划的方法[J].计算机工程,2011,7(17):167-171

No related articles found!
Full text



[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .