Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY), September 2020
Giulio Bernardi (Independent Researcher); Amedeo Cesta; Andrea Orlandini; Alessandro Umbrico (National Research Council, ISTC-CNR), and Marta Cialdea Maye (ROMA TRE University)
Abstract
In order to represent planning problems, Artificial Intelligence planning languages are used to describe environment’s conditions and operators which can lead to desired goals by generating a chain of actions based on these conditions and operators. Historically, several languages have been defined according to different planning paradigms. Most of these languages are often strongly related to specific planning systems and lack a clear formal semantics. A recent work defines a formal framework for timeline-based planning and scheduling providing a clear semantics for planning concepts needed to specify timeline-based planning problems. This abstract introduces ghost , a new specification language for timeline-based planning and scheduling based on such a framework. The main aim of ghost is to provide a concrete and compact specification language for timeline-based planning and scheduling domains and problems dealing also with uncertainty.