Maximising Efficiency of Resource Usage Under Uncertainty in AI Planning

Lead Research Organisation: King's College London
Department Name: Informatics

Abstract

In recent years planning technology has a enjoyed significant increase in real-world application, with industry and general science research benefiting from the great depth theoretical work done in this area over many decades. The core problem of deciding which activities to carry out and when occurs in a vast range of domains; the research area of planning is concerned with developing generic problem solving technology that automates the task of performing this core reasoning. Planning technology has been employed in a wide range of domains including controlling printing presses, power management for the UK National, train scheduling on the Hungarian Railway Network, scheduling aircraft landing in airports, and autonomous robotic control, both in space and in the oceans. Experience in these areas has given rise to two key observations. First, the existing theoretical work done in AI Planning has been extremely valuable, allowing planning technology to begin to solve real world problems. Planning is a fundamental component of intelligent autonomous behaviour and as such planning technology has real potential for application in many different areas, both now and in the future. The second is that whilst one can observe that planners can now begin to be applied to these problems, there is still a great need for improvement of the underlying technology, in terms of expressivity and performance, in order to be able to create greater autonomy by allowing reasoning about an uncertain world.At the heart of this lies deeply theoretical computer science research: a planner is a generic problem solving system, consisting of search algorithms and heuristics. Of particular interest is reasoning about time and resources, something key to many areas of computer science, from compilers and programming languages to web services and optimisation. In order to tackle application problems well, reasoning effectively about these is essential. Of specific interest here is uncertainty in time taken and resources consumed. This occurs in many application domains, and in each of these a similar approach is taken: conservatism about time and resource availability in order to guarantee success. This, however, comes at a cost. By way of example, when planning for autonomous Martian exploration, the models used by both the ESA and NASA are pessimistic, underestimating the amount of power the rover will receive from the sun, and overestimating the amount of energy and time each activity will take. The result is that the equipment is highly under-utilised, with fewer science targets being achieved than could have been with better on-board reasoning. Given the expense of placing rovers on Mars and the limited equipment lifespan, this is a great cost to mankind's exploration of space. A similar problem occurs when deploying renewable energy generation: wind farms are assumed to provide 10% of their maximum output, even thought the reality is almost always greater than this. This conservative assumption, there to ensure power is always provided, causes great environmental and economic cost, as extra production capacity must be available through other sources regardless of whether it is required.The major benefit of planning is in generating a generic problem solving technology. Developing several bespoke solvers would take many years, and incur great financial cost. By developing efficient planning systems, a single domain-independent problem-solving core is built, capable of solving many problems without the cost of developing a bespoke solver for each. The core of this research is addressing challenges in solving the general planning problem that will allow future application of planning, extending the range of problems to which this generic technology can be applied.

Planned Impact

Here we consider the wider impact of this research on society and industry; this is subject to varying time-scales, with some areas expected to benefit within the lifespan of the project, and other benefits to become apparent in the longer term. Planning is generic problem solving technology, with the potential for impact on many different application areas. The UK has established itself as a world leader in planning technology on the international scene, and we are already exporting this technology to the US and Europe. This project will help the UK to maintain its leading role in applications of planning, by developing the technology to allow further pioneering deployment in a range of different areas. The fellowship provides the opportunity for a young researcher, who has shown great promise, to stay in the UK to pursue this world leading research, thus preventing brain drain and maintaining expertise within the UK. Supporting a young researcher will clearly have a great impact on career development, nurturing an independent research career. Environmental protection is a leading priority across the world at the current time, with governments, including that of the UK, aiming to meet emissions targets. This is the key reason I have chosen to focus on wind farm planning, an application in the area of smart grids. When planning power generation in a setting with renewable and non-renewable energy sources, many sources of power are available, from wind-farms, to hydroelectricity, to nuclear power, to coal/gas power stations. The challenge is to automatically adapt to meet customer demand under uncertain weather conditions whilst making the best use of renewable, low emission power sources. Research in this area can directly reduce the UK's use of non-renewable and environmentally damaging generation sources, helping the government to meet targets, and improve global environmental protection. A further potential application is in micro-generation --- effectively, small-scale power grids amongst networks of homes --- and smart electricity meters, running high energy appliances during times of surplus production. The work done in the project will be directly applicable to these problems. These applications in power engineering have clear potential to directly benefit UK industry. The power supply industry is one of the largest in the UK, with the relevant companies, e.g. National Grid PLC, standing to benefit, both by achieving environmental targets, and through cost reduction by efficient use of resources. This in turn benefits the UK, establishing a cheaper energy supply, helping all UK businesses, as well as establishing the UK as a technological leader in energy production and distribution. Optimisation planning under uncertainty is core to many businesses (for example logistics firms, oil supply companies, airports): making the best use of finite resources. In the longer term, small businesses will be able to benefit from planning research: these companies also need to optimise resource usage, but writing a bespoke problem solving system is expensive; using an off-the-shelf problem-independent technology allows this to be done at at much lower cost. Research being done into intuitive modelling technologies for planning, and development of planning technology, will make this possible in the future. Autonomy is important to allow tasks to be carried out that either pose too great a risk to human life, or simply that the costs of the manpower required to perform such tasks would be prohibitive. Examples of such tasks are nuclear decommissioning, search and rescue following disasters, space and oceanographic exploration and autonomous assistance to help our ageing population to remain independent for longer. These are long-term beneficiaries that will be reached through the continued efforts of the planning community, as well as improving technology.

Publications

10 25 50
 
Description Development of the planners OPTIC and LPRPG-P which are state of the art in reasoning with soft constraints and optimising resource usage.
Exploitation Route Planning is domain-independent, that is it can be used to control autonomous systems across a wide range of applications. There are potential applications in the robotics, autonomous transportation and energy industries, as well as many others.
Sectors Aerospace, Defence and Marine,Digital/Communication/Information Technologies (including Software),Energy,Transport,Other

 
Description See details from award AI Planning with Continuous Non-Linear Change, which built on the work in this project.
First Year Of Impact 2015
Sector Digital/Communication/Information Technologies (including Software),Other
Impact Types Economic

 
Description 2013 European Agent Systems Summer School Tutorial on AI Planning
Geographic Reach Europe 
Policy Influence Type Influenced training of practitioners or researchers
URL https://www.youtube.com/watch?v=EeQcCs9SnhU
 
Description EPSRC First Grant
Amount £124,923 (GBP)
Funding ID EP/P008410/1 
Organisation Engineering and Physical Sciences Research Council (EPSRC) 
Sector Public
Country United Kingdom
Start 01/2017 
End 03/2018
 
Description ERC Peraspera Space Robotics Technologies call: OG2 - Formal Verification and Validation - Co-Investigator
Amount € 614,000 (EUR)
Organisation European Research Council (ERC) 
Sector Public
Country Belgium
Start 01/2017 
End 01/2019
 
Description Planning an Argument 
Organisation King's College London
Department Department of History
Country United Kingdom 
Sector Academic/University 
PI Contribution A collaboration between Dr Amanda Coles and Dr Elizabeth Black on using AI planning techniques to determine strategies in computational argumentation. This is an application of planning under uncertainty.
Collaborator Contribution We have been working on this for a couple of years with regular meetings, Dr Black had an EPSRC First Grant on which I was a collaborator and a post doctoral RA worked on generating simple strategies for persuasion. We are now jointly supervising a DTA funded PhD student working on generating policies that allow the proponent in a dialogue to assert different arguments, depending on the response of the opponent, in order to maximise the chance of winning the argument (convincing the opponent of a given topic).
Impact Publications, First Grant, DTA studentship.
Start Year 2015
 
Title LPRPGP 
Description The state-of-the-art planning system for domains with preferences. 
Type Of Technology Software 
Year Produced 2012 
Open Source License? Yes  
Impact Extending the state of the art in planning with preferences 
 
Title OPTIC 
Description A planner capable of reasoning with temporal preferences and time-dependent reward. 
Type Of Technology Software 
Year Produced 2013 
Open Source License? Yes  
Impact New state of the art in planning in expressive domains, which has been widely used in applications. 
 
Description ADA Lovelace Day Talk 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Other audiences
Results and Impact Presentation at an event at KCL to promote engagement of women in STEM subjects. I presented the work done in the fellowship as well as my career pathway, including the support I received from the research council. At the end of the event, through a survey, audience members (including students, colleagues and the general public) reported changes in attitudes to women in science. This was the inaugural event, and the series has continued to run annually.
Year(s) Of Engagement Activity 2014
URL https://www.kcl.ac.uk/nms/WomeninScience/Current-activities/Ada-Lovelace-Day.aspx