Real-World Planning with PDDL+ and Beyond (2402.11901v1)
Abstract: Real-world applications of AI Planning often require a highly expressive modeling language to accurately capture important intricacies of target systems. Hybrid systems are ubiquitous in the real-world, and PDDL+ is the standardized modeling language for capturing such systems as planning domains. PDDL+ enables accurate encoding of mixed discrete-continuous system dynamics, exogenous activity, and many other interesting features exhibited in realistic scenarios. However, the uptake in usage of PDDL+ has been slow and apprehensive, largely due to a general shortage of PDDL+ planning software, and rigid limitations of the few existing planners. To overcome this chasm, we present Nyx, a novel PDDL+ planner built to emphasize lightness, simplicity, and, most importantly, adaptability. The planner is designed to be effortlessly customizable to expand its capabilities well beyond the scope of PDDL+. As a result, Nyx can be tailored to virtually any potential real-world application requiring some form of AI Planning, paving the way for wider adoption of planning methods for solving real-world problems.
- The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138: 3–34.
- The Functional Mockup Interface for Tool independent Exchange of Simulation Models. In International Modelica Conference, 105–114.
- A Compilation of the Full PDDL+ Language into SMT. In ICAPS, 583–591.
- A PDDL+ benchmark problem: The batch chemical plant. In ICAPS. Citeseer.
- UPMurphi: a tool for universal planning on PDDL+ problems. In ICAPS.
- Semantic attachments for domain-independent planning systems. In Nineteenth International Conference on Automated Planning and Scheduling.
- STRIPS: A new approach to the application of theorem proving to problem solving. Artificial intelligence 2(3-4): 189–208.
- PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20: 61–124.
- Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research 27: 235–297.
- Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. (JAIR) 44: 335–382.
- Creating and executing a well construction/operation plan. US Patent App. 15/541,381.
- Fredkin, E. 1960. Trie memory. Communications of the ACM 3(9): 490–499.
- Anytime heuristic search: First results. Univ. Massachusetts, Amherst, MA, Tech. Rep 50.
- Henzinger, T. A. 2000. The theory of hybrid automata. In Verification of digital and hybrid systems, 265–292. Springer.
- Planning with Semantic Attachments: An Object-Oriented View. volume 242. doi:10.3233/978-1-61499-098-7-402.
- VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. In IEEE ICTAI, 294–301. IEEE.
- IEEE Spectrum. 2022. Top Programming Languages. URL https://spectrum.ieee.org/top-programming-languages-2022.
- An AI-based planning framework for HAPS in a time-varying environment. In ICAPS, volume 30, 412–420.
- System Resilience through Health Monitoring and Reconfiguration. doi:10.48550/ARXIV.2208.14525. URL https://arxiv.org/abs/2208.14525.
- PDDL - The Planning Domain Definition Language .
- McDermott, D. V. 2003. Reasoning about Autonomous Processes in an Estimated-Regression Planner. In ICAPS, 143–152.
- Pednault, E. P. 1989. ADL: Exploring the Middle Ground Between. In International Conference on Principles of Knowledge Representation and Reasoning, 324.
- Heuristic Planning for PDDL+ Domains. In IJCAI, 3213–3219.
- Playing Angry Birds with a Domain-Independent PDDL+ Planner. In International Conference on Automated Planning and Scheduling (Demo Track).
- Piotrowski, W. M. 2018. Heuristics for AI Planning in Hybrid Systems. Ph.D. thesis, King’s College London.
- Automated planning with goal reasoning in minecraft. In Proceedings of ICAPS workshop on Integrated Execution of Planning and Acting.
- Interval-based relaxation for general numeric planning. In Proceedings of the Twenty-second European Conference on Artificial Intelligence, 655–663.
- Model-Based Adaptation to Novelty in Open-World AI. Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), ICAPS .
- TIOBE. 2022. TIOBE Index. URL https://www.tiobe.com/tiobe-index/.
- Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. In AAAI Conference. AAAI Press.
- Automating the resolution of flight conflicts: Deep reinforcement learning in service of air traffic controllers. In Prestigious Applications of Intelligent Systems, IJCAI.
- Wiktor Piotrowski (7 papers)
- Alexandre Perez (6 papers)