[1]SONG Jing-ge,CHA Jian-zhong,LU Yi-ping.Survey on AI planning research— an applicationoriented perspective[J].CAAI Transactions on Intelligent Systems,2007,2(2):18-25.
Copy

Survey on AI planning research— an applicationoriented perspective

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 2 Number of periods: 2007 2 Page number: 18-25 Column: 综述 Public date: 2007-04-25
Title:
Survey on AI planning research— an applicationoriented perspective
Author(s):
SONG Jing-ge;  CHA Jian-zhong;  LU Yi-ping
School of Mechanical, Electronic and Control Engineering, Beijing Jiaotong Univ ersity, Beijing 100044, China
Keywords:
AI planning;  types of planning;  application research;  industrial area;  intelligence engineering
CLC:
TP18
DOI:
-
Abstract:
Intelligent planning is an important area in AI research. Based on cha racteristics of typical AI planning problems, some areas of applicationoriente d planning theories and techniques are surveyed. Significant industrial planning problems are enumerated and their characteristics are discussed. Combining AI pl anning with Intelligence Engineering principles, potential directions for future research are explored.
References:
［1］WELD D. Recent advances in AI planning［J］. AI Magazine, 1999,20(2 ): 93-123.
［2］WILKINS D, DESJARDINS M. A call for knowledgebased planning［J］. AI Maga zine, 2001, 22(1): 99-115.
［3］BLYTHE J. An overview of planning under uncertainty ［J］. AI Magazine, 1 999,20(2): 37-54.
［4］ZIMMERMAN T, KAMBHAMPATI S. Learningassisted automated planning ［J］. A I Magazine, 2003,24(2): 73-96.
［5］FIKES R, NILSSON N. Strips: a new approach to the application of theorem p roving to problem solving ［J］. Artificial Intelligence, 1971, 2(3,4): 189-208. 
［6］MCDERMOTT D. PDDLthe planning domain definition language ［EB/OL］. www. cs.yale.edu./homes/dvm, 1998-05-10.
［7］FOX M, LONG D. PDDL2.1: an extension to PDDL for expressing temporal pla nn ing domains ［J］. Journal of AI Research, 2003, 20: 61-124.
［8］TATE A. Generating project networks ［A］. In Proceedings of IJCAI-77［C］ . Boston, Mass, USA, 1977
［9］SACERDOTI E. A Structure for Plans and Behavior ［M］. New York: Elsevier, 1977.
［10］EROL K, HENDLER J, NAU D. Semantics for hierarchical tasknetwork plannin g［R］. CS TR3239, UMIACS TR-94-31, ISR-TR-95-9,University of Maryland, 1994.
［11］EROL K, HENDLER J, NAU D. HTN planning: complexity and expressivity ［A］ . In Proceedings of AAAI94 ［C］. Seattle, USA, 1994.
［12］NAU D, AU T, ILGHAMI O, et al. SHOP2: an HTN planning system［J］. JAIR， 2003，20:379-404. 
［13］SIMPSON R, MCCLUSKEY T, LIU D, et al. Knowledge representation in plannin g: a PDDL to OCLh translation ［A］. ISMIS’2000 ［C］. Charlotte, USA, 2000.
［14］TATE A, DRABBLE B, DALTON J. Oplan: a knowledge based planner and its application to logistics ［A］. Advanced Planning Technology［C］. Morgan Kauf mann, 1996.
［15］WILKINS D. Using the SIPE2 planning system: a manual for version 6.0 ［M ］. SRI International Artificial Intelligence Center. Menlo Pork. California.199 9.
［16］CHIEN S, RABIDEAU G. ASPENautomated planning and scheduling for space m ission operations ［A］. SpaceOps2000 ［C］. Toulouse, France, 2000.
［17］CESTA A, ODDI A. A representation language for domain knowledge in planni ng architectures ［A］. In Proceedings of KAW96 ［C］. Alberta, Canada, 1996. 
［18］BLUM A, FURST M. Fast planning through planning graph analysis ［A］. In Proceedings of IJCAI95 ［C］. Quebec, Canada, 1995.
［19］HOFFMANN J. FF: the fastforward planning system ［J］. AI Magazine, 200 1，22(3): 57-62.
［20］KAUTZ H, SELMAN B. Pushing the envelope: planning, propositional logic, a nd stochastic search ［A］. In Proceedings of AAAI96 ［C］. Portland, USA, 199 6.
［21］BERTOLI P, CIMATTI A, SLANEY J, et al. Solving power supply restoration p roblems with planning via symbolic model checking ［A］. In Proceedings of ECAI0 2 ［C］. Lyon, France, 2002.
［22］JENSEN R, VELOSO M. OBDDbased deterministic planning using the UMOP pla nning framework ［A］. In Proceedings of AIPS00 Workshop on ModelTheoretic A pproaches to Planning ［C］. Breckenridge, USA, 2000.
［23］EDELKAMP S, HELMERT M. Mips  model checking integrated planning system ［J］. AI Magazine, 2001, 22(3): 67-72.
［24］FOX M, LONG D. STAN4: A hybrid planning strategy based on subproblem abst raction［J］. AI Magazine, 2001, 22(3): 81-84.
［25］WAH B, CHEN YX. Partitioning of temporal planning problems in mixed space using the theory of extended saddle points ［A］. In Proceedings of ICTAI2003 ［C］. Sacramento, USA, 2003.
［26］HUNE T, LARSEN K, PETTEERSSON P. Guided synthesis of control programs usi ng UPPAAL for VHS case study 5 ［R］. VHS deliverable in workpackage CS.1999-01- 01.
［27］FENHNKER A. Scheduling a steel plant with timed automata ［A］. In Proceed ings of the Sixth International Conference on RealTime Computing Systems and A pplications ［C］. Hong Kong, China, 1999.
［28］MURATA T, NELSON P. A predicatetransition net model for multiple agent planning ［J］. Information Sciences, 1991(57-58):361-384
［29］MIELLER Y, FABIANI P. Planning with petri nets ［A］. In Proceedings of R JCIA2000 ［C］. Lyon, France, 2000. 
［30］KRISTENSEN L, MITCHELL B, ZHANG L, et al.. Modeling and initial analysis of operational planning processes using coloured petri nets ［A］. In Proceeding s of Formal Methods in Software Engineering and Defence Systems ［C］. Adelaide, Australia, 2002.
［31］BRAFMAN R, HOFFMANN J. Conformant planning via heuristic forward search: a new approach ［A］. In Proceedings of ICAPS04 ［C］. Whistler, Canada, 2004.
［32］MCCLUSKEY T, CRESSWELL S. Importing ontology information into planning do main models ［A］. In Proceedings of ICAPS05 Workshop on the Role of Ontology in Planning and Scheduling［C］. Monterey, USA, 2005.
［33］VELOSO M, CARBONELL J, PEREZ A, et al. Integrating planning and learning: the PRODIGY architecture ［J］. Journal of Theoretical and Experimental AI, 19 95, 7(1): 81-120.
［34］YANG Q, WU K, JIANG Y. Learning action models from plan examples with inc omplete knowledge ［A］.In Proceedings of ICAPS2005 ［C］. Monterey, USA ,200 5.
［35］THIEBAUX S, CORDIER M, et al. Supply restoration in power distribution sy stemsa case study in integrating modelbased diagnosis and repair planning ［ A］. In Proceedings of UAI ［C］. Portland, USA, 1996.
［36］BONET B, THIEBAUX S. GPT meets PSR ［A］. In Proceedings of ICAPS03 ［C ］. Trento, Italy, 2003.
［37］JENSEN R. Efficient BDDbased planning for nondeterministic, faultto lerant, and adversarial domains［D］.Pittsburgh:Carnegie Mellon University,2003 .
［38］MILIDI R, LIPORACE F, LUCENA C. Pipesworld: pipeline transportation of p etroleum derivatives ［A］. In Proceedings of ICAPS03 Workshop on the Competit ion ［C］. Trento, Italy, 2003.
［39］AIAI. www.aiai.ed.ac.uk/～oplan/documents/index.html.2007-01-15.
［40］SRI. http://www.ai.sri.com/～sipe/.2000-05-24.
［41］JPL. wwwaig.jpl.nasa.gov/public/planning/aspen/.2006-06-22.
［42］VITTORINI V, IACONO M, MAZZOCCA N, et al. The OsMoSys approach to multi formalism modeling of systems ［J］. Software and System Modeling, 2004, 3(1): 6 8-81. 
［43］查建中. 智能工程［M］. 北京:机械工业出版社, 1992.
［44］周 济，查建中，肖人彬. 智能设计［M］. 北京:高等教育出版社, 1998.
Similar References:

Memo

-

Last Update: 2009-05-06

Copyright © CAAI Transactions on Intelligent Systems