Integrating Knowledge Engineering for Planning with Validation and Verification Tools

Orlandini, A., Bernardi, G., Cesta, A., Finzi, A.

In Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence, Torino (Italy), December 4-6 2013. AI*IA 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science Volume 8249, pp 251-262, 2013

Knowledge Engineering environments aim at simplifying direct access to the technology for system designers, and the integration of Validation and Verification (V&V) capabilities in such environments may potentially enhance the users trust in the technology. In particular, V&V techniques may represent a complementary technology with respect to Planning and Scheduling (P&S) contributing to develop richer software environments to synthesize a new generation of robust problem-solving applications. This paper presents the integration of classical knowledge engineering features connected to support design of timeline-based P&S applications taking advantage of services of automated V&V techniques such as domain validation, planner validation, plan verification etc. The result is a Knowledge Engineering ENvironment (called KeeN) that exploits a state-of-the-art verification tool, i.e., UPPAAL-TIGA, as core engine to support the design and development of timeline-based planning and scheduling systems.