A temporal logic programming approach to planning

This paper presents an approach to performing artificial intelligence planning through temporal logic programming with Search Control Knowledge (SCK). First, the planning problem described with Planning Domain Description Language is modeled as a program m in Modeling, Simulation and Verification Language (MSVL). Second, the SCK is also specified with an MSVL program $$m'$$m′. Third, using the basic operation “and” in MSVL, a new MSVL program “$$m~and~m'$$mandm′” is obtained. Forth, with the compiler MC of MSVL, an executable binary code of program “$$m~and~m'$$mandm′” is obtained. Finally, planning result can be obtained via executing the executable code. Experimental results on selected benchmark planning domains from the International Planning Competition 2014 show that our approach is more effective in practice. Furthermore, the obtained plans are verified with the toolkit MSV so that a plan can be confirmed whether it is a reliable one.

[1]  Robert Givan,et al.  Learning Control Knowledge for Forward Search Planning , 2008, J. Mach. Learn. Res..

[2]  Zhenhua Duan,et al.  An extended interval temporal logic and a framing technique for temporal logic programming , 1996 .

[3]  Zhenhua Duan,et al.  A Unified Model Checking Approach with Projection Temporal Logic , 2008, ICFEM.

[4]  Fahiem Bacchus,et al.  Using temporal logic to control search in a forward chaining planner , 1996 .

[5]  Bin Gu,et al.  Verifying safety critical task scheduling systems in PPTL axiom system , 2016, J. Comb. Optim..

[6]  Kai Yang,et al.  A compiler for MSVL and its applications , 2017, Theor. Comput. Sci..

[7]  Virginie Gabrel.  Strengthened 0-1 linear formulation for the daily satellite mission planning , 2006, J. Comb. Optim..

[8]  Lukás Chrpa,et al.  Guiding Planning Engines by Transition-Based Domain Control Knowledge , 2016, KR.

[9]  Robert Givan,et al.  Learning Domain-Specific Control Knowledge from Random Walks , 2004, ICAPS.

[10]  Leslie Pack Kaelbling,et al.  Learning Probabilistic Relational Planning Rules , 2004, ICAPS.

[11]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[12]  Fausto Giunchiglia,et al.  Planning as Model Checking , 1999, ECP.

[13]  Bart Selman,et al.  Control Knowledge in Planning: Benefits and Tradeoffs , 1999, AAAI/IAAI.

[14]  Carla Limongelli,et al.  Linear temporal logic as an executable semantics for planning languages , 2007, J. Log. Lang. Inf..

[15]  John A. van der Poll,et al.  Planning as model checking: the performance of ProB vs NuSMV , 2008, SAICSIT '08.

[16]  Gopinath Mishra,et al.  Improved algorithms for the evacuation route planning problem , 2018, J. Comb. Optim..

[17]  Nathan R. Sturtevant,et al.  ArvandHerd: Parallel Planning with a Portfolio , 2012, ECAI.

[18]  Panos Pardalos,et al.  Heuristics for the network design problem with connectivity requirements , 2016, J. Comb. Optim..

[19]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

[20]  Sylvie Thiébaux,et al.  Search Control in Planning for Temporally Extended Goals , 2005, ICAPS.

[21]  Eduardo C. Xavier,et al.  Multicolour paths in graphs: NP-hardness, algorithms, and applications on routing in WDM networks , 2017, J. Comb. Optim..

[22]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[23]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[24]  Zhenhua Duan,et al.  Extending MSVL with Function Calls , 2014, ICFEM.

[25]  Jun Sun,et al.  Model checking approach to automated planning , 2014, Formal Methods Syst. Des..

[26]  Cong Tian,et al.  A practical decision procedure for Propositional Projection Temporal Logic with infinite models , 2014, Theor. Comput. Sci..

[27]  Meng Wang,et al.  Full Regular Temporal Property Verification as Dynamic Program Execution , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

[28]  Agostino Dovier,et al.  On modeling planning problems in tabled logic programming , 2015, PPDP.

[29]  Patrick Doherty,et al.  TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.

[30]  Fausto Giunchiglia,et al.  Planning via Model Checking: A Decision Procedure for AR , 1997, ECP.