Admissible Subgoal Ordering for Automated Planning
Author:
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [19]
  • |
  • Related [20]
  • | | |
  • Comments
    Abstract:

    This paper proposes an ordering relation named Admissible Subgoal Ordering (ASO). The definition of ASO is formalized, and its relative importance for incremental planning is discussed. Then, this paper introduces the notion of dependency relations over facts, and develops fact dependency graph technique that can approximate admissible ordering relations in polynomial time. Finally, an algorithm to compute subgoals sequence with admissible orderings is presented. All the ideas presented in the paper are implemented in the planning system ASOP, and the effectiveness of the techniques is demonstrated on the benchmarks of International Planning Competitions (IPC). The results show that these techniques can efficiently solve large planning problems and lead to a greater improvement in planning performance.

    Reference
    [1] Bylander T. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 1994,69(1-2):1-2. [doi:10.1016/0004-3702(94)90077-9]
    [2] Hoffmann J, Nebel B. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial IntelligenceResearch, 2001,14:1-2. [doi: 10.1613/jair.855]
    [3] Gerevini A, Saetti A, Serina I. Planning through stochastic local search and temporal action graphs in LPG. Journal of ArtificialIntelligence Research, 2003,20:1-2.
    [4] Chen Y, Wah BW, Hsu CW. Temporal planning using subgoal partitioning and resolution in SGPlan. Journal of ArtificialIntelligence Research, 2006,26:1-2.
    [5] Helmert M. The fast downward planning system. Journal of Artificial Intelligence Research, 2006,26:1-2. [doi: 10.1007/s10462-007-9049-y]
    [6] Chen Y, Huang R, Xing Z, Zhang W. Long-Distance mutual exclusion for planning. Artificial Intelligence, 2009,173(2):1-2.[doi: 10.1016/j.artint.2008.11.004]
    [7] Koehler J, Hoffmann J. On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm. Journal ofArtificial Intelligence Research, 2000,12:1-2.
    [8] Hoffmann J, Porteous J, Sebastia L. Ordered landmarks in planning. Journal of Artificial Intelligence Research, 2004,22:1-2.
    [9] Porteous J, Sebastia L, Hoffmann J. On the extraction, ordering, and usage of landmarks in planning. In: Cesta A, Borrajo D, eds.Proc. of the Europearn Conf. on Planning 2001 (ECP 2001). Toledo: Springer-Verlag, 2001. 1-2.
    [10] Hsu CW, Wah BW, Chen Y. Subgoal ordering and granularity control for incremental planning. In: Proc. of the IEEE Int’l Conf.on Tools with Artificial Intelligence 2005 (ICTAI 2005). Hong Kong: IEEE Computer Society, 2005. 1-2. [doi: 10.1109/ICTAI.2005.118]
    [11] Richter S, Helmert M, Westphal M. Landmarks revisited. In: Fox D, Gomes CP, eds. Proc. of the AAAI 2008. Chicago: AAAIPress, 2008. 1-2.
    [12] Wu XJ, Jiang YF, Ling YB. Research on relations of effect of action for STRIPS domain. Journal of Software, 2007,18(6):1-2 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/18/1328.htm [doi: 10.1360/jos181328]
    [13] Korf RE. Macro-Operators: A weak method for learning. Artificial Intelligence, 1985,26(1):1-2. [doi: 10.1016/0004-3702(85)90012-8]
    [14] Knoblock CA. Automatically generating abstractions for planning. Artificial Intelligence, 1994,68(2):1-2. [doi: 10.1016/0004-3702(94)90069-8]
    [15] Koehler J. Solving complex planning tasks through extraction of subproblems. In: Simmons RG, Veloso MM, Smith S, eds. Proc.of the 4th Int’l Conf. on Artificial Intelligence Planning Systems (AIPS’98). Pittsburgh: AAAI Press, 1998. 1-2.
    [16] Irani K, Cheng J. Subgoal ordering and goal augmentation for heuristic problem solving. In: McDermott JP, ed. Proc. of the Int’lJoint Conf. on Artificial Intelligence 1987 (IJCAI’87). Milan: Morgan Kaufmann Publishers, 1987. 1-2.
    [17] Chen Y, Huang R, Zhang W. Fast planning by search in domain transition graph. In: Fox D, Gomes CP, eds. Proc. of the AAAI2008. Chicago: AAAI Press, 2008. 1-2.
    [18] Richter S, Westphal M. The LAMA planner: Guiding cost-based anytime planning with landmarks. Journal of ArtificialIntelligence Research, 2010,39:1-2.
    [19] Li Y, Jin Z. Goal ordering extraction and abstract method. Journal of Software, 2006,17(3):1-2 (in Chinese with Englishabstract). http://www.jos.org.cn/1000-9825/17/349.htm [doi: 10.1360/jos170349]
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

梁瑞仕,姜云飞,边芮,吴向军.智能规划中的可纳子目标排序.软件学报,2011,22(5):914-928

Copy
Share
Article Metrics
  • Abstract:4799
  • PDF: 6407
  • HTML: 0
  • Cited by: 0
History
  • Received:September 07,2009
  • Revised:November 04,2009
You are the first2038259Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063