Dynamically extending planning models using an ontology

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco; Finzi, Alberto and Ingrand, Felix and Orlandini, Andrea, eds. (2015) Dynamically extending planning models using an ontology. In: Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [Jerusalem], pp. 79-85.

[thumbnail of Cashmore-etal-PlanRob-2015-Dynamically-extending-planning-models-using-an-ontology]
Text. Filename: Cashmore_etal_PlanRob_2015_Dynamically_extending_planning_models_using_an_ontology.pdf
Final Published Version

Download (891kB)| Preview


In this paper we couple a deterministic planner with an ontology, in order to adapt to new discoveries during plan execution and to reason about the affordances that are available to the planner as the set of known objects is updated. This allows us to extend the planning agent’s functionality during execution. We use as an example planning for persistent autonomous behaviour in underwater vehicles. Planning in this scenario takes place in a symbolic model of the environment, simulating sequences of possible decisions. Ensuring that the simulation remains robust requires careful matching of the model to the real world, including dynamically updating the model from continuous sensing actions. We describe how our system constructs an initial state for planning, using the ontology; how the ontology is also used to determine the results of each action performed by the planner; and finally demonstrate the performance of the system in a simulation, in which two AUVs are required to cooperate in an unknown environment, demonstrating that with additional reasoning the planning system is able to make new efficient choices, taking advantage of the environment in new ways.


Cashmore, Michael ORCID logoORCID: https://orcid.org/0000-0002-8334-4348, Fox, Maria, Long, Derek, Magazzeni, Daniele, Ridder, Bram, De Carolis, Valerio, Lane, David and Maurelli, Francesco; Finzi, Alberto, Ingrand, Felix and Orlandini, Andrea