Artificial Intelligence Planning for Complex Systems
- 11:00 10th May 2017 ( week 3, Trinity Term 2017 )Room 441, Wolfson Building, Parks Road
AI Planning is about determining actions before doing them, anticipating the things that will need to be done and preparing for them. Planners use domain-independent heuristics to guide the search in huge state spaces, in order to find a plan that achieves the goal while satisfying numerical and temporal constraints and optimising a given metric. Planning for complex systems (e.g., RAS) requires rich models to capture complex dynamics as well as the uncertain and evolving environment, scalable planning techniques and robust methods of execution. PDDL+ is the formalism used in planning to describe hybrid systems, and allows the modelling of the differential equations governing the continuous behaviour of systems. This talk provides an overview of how PDDL+ can be used to model complex domains; presents a new PDDL+ planner based on SMT and the ROSPlan framework for planning with ROS; highlights some open challenges on the integration between task and motion planning.
Speaker bio
Daniele Magazzeni is Lecturer in Artificial Intelligence at King’s College London, where he leads the AI Planning Group. His research explores the links between Artificial Intelligence and Verification, and the use of Artificial Intelligence in innovative applications. Magazzeni is an elected member of the International Conference on Automated Planning and Scheduling Executive Council. He serves on the organising and programme committee of major AI conferences. He is Editor-in-Chief of AI Communications. He was Conference Chair of ICAPS 2016, and is Workshop Chair of IJCAI 2017. He is co-investigator in UK and EU projects, has collaborations and consultancy projects with a number of companies and organisations.Share this:
