[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

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