Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
119 tokens/sec
GPT-4o
56 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
6 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Real-World Planning with PDDL+ and Beyond (2402.11901v1)

Published 19 Feb 2024 in cs.AI

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.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (31)
  1. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138: 3–34.
  2. The Functional Mockup Interface for Tool independent Exchange of Simulation Models. In International Modelica Conference, 105–114.
  3. A Compilation of the Full PDDL+ Language into SMT. In ICAPS, 583–591.
  4. A PDDL+ benchmark problem: The batch chemical plant. In ICAPS. Citeseer.
  5. UPMurphi: a tool for universal planning on PDDL+ problems. In ICAPS.
  6. Semantic attachments for domain-independent planning systems. In Nineteenth International Conference on Automated Planning and Scheduling.
  7. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial intelligence 2(3-4): 189–208.
  8. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20: 61–124.
  9. Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research 27: 235–297.
  10. Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. (JAIR) 44: 335–382.
  11. Creating and executing a well construction/operation plan. US Patent App. 15/541,381.
  12. Fredkin, E. 1960. Trie memory. Communications of the ACM 3(9): 490–499.
  13. Anytime heuristic search: First results. Univ. Massachusetts, Amherst, MA, Tech. Rep 50.
  14. Henzinger, T. A. 2000. The theory of hybrid automata. In Verification of digital and hybrid systems, 265–292. Springer.
  15. Planning with Semantic Attachments: An Object-Oriented View. volume 242. doi:10.3233/978-1-61499-098-7-402.
  16. VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. In IEEE ICTAI, 294–301. IEEE.
  17. IEEE Spectrum. 2022. Top Programming Languages. URL https://spectrum.ieee.org/top-programming-languages-2022.
  18. An AI-based planning framework for HAPS in a time-varying environment. In ICAPS, volume 30, 412–420.
  19. System Resilience through Health Monitoring and Reconfiguration. doi:10.48550/ARXIV.2208.14525. URL https://arxiv.org/abs/2208.14525.
  20. PDDL - The Planning Domain Definition Language .
  21. McDermott, D. V. 2003. Reasoning about Autonomous Processes in an Estimated-Regression Planner. In ICAPS, 143–152.
  22. Pednault, E. P. 1989. ADL: Exploring the Middle Ground Between. In International Conference on Principles of Knowledge Representation and Reasoning, 324.
  23. Heuristic Planning for PDDL+ Domains. In IJCAI, 3213–3219.
  24. Playing Angry Birds with a Domain-Independent PDDL+ Planner. In International Conference on Automated Planning and Scheduling (Demo Track).
  25. Piotrowski, W. M. 2018. Heuristics for AI Planning in Hybrid Systems. Ph.D. thesis, King’s College London.
  26. Automated planning with goal reasoning in minecraft. In Proceedings of ICAPS workshop on Integrated Execution of Planning and Acting.
  27. Interval-based relaxation for general numeric planning. In Proceedings of the Twenty-second European Conference on Artificial Intelligence, 655–663.
  28. Model-Based Adaptation to Novelty in Open-World AI. Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), ICAPS .
  29. TIOBE. 2022. TIOBE Index. URL https://www.tiobe.com/tiobe-index/.
  30. Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. In AAAI Conference. AAAI Press.
  31. Automating the resolution of flight conflicts: Deep reinforcement learning in service of air traffic controllers. In Prestigious Applications of Intelligent Systems, IJCAI.
User Edit Pencil Streamline Icon: https://streamlinehq.com
Authors (2)
  1. Wiktor Piotrowski (7 papers)
  2. Alexandre Perez (6 papers)
Citations (2)

Summary

We haven't generated a summary for this paper yet.

X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets