A planning problem validator based on reachability analysis

Symeonidis, Moysis & Giouroukis, Dimitris & Vrakas, Dimitris. (2016). A planning problem validator based on reachability analysis. 1-7. 10.1145/2903220.2903237.

AI planning is the field that focuses on creating abstract representations of various processes. As such, it is obvious that it is a broad field and demands specialized tools to be used in order to ease the process of designing domains and problems. The literature shows that most of these tools do not offer an option to re-examine and validate the result of the aforementioned designing process. This work presents a novel approach to validating a description of a problem as well as presenting information related to this validation process in an efficient way. It introduces a proxy web service that implements the process of finding invalid descriptions as well as the extension of the relevant tool VLEPpO, that suited the needs of the visualization process.