Integrating knowledge engineering for planning with Validation and Verification tools

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. © Springer International Publishing Switzerland 2013.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Orlandini, Andrea
Bernardi, Giulio
Cesta, Amedeo
Finzi, Alberto
Publisher: 
Springer, Berlin , Germania
Springer, Berlin Heidelberg, DEU
Source: 
AI*IA 2013, pp. 251–262, Torino, Dicembre 2013
Date: 
2013
Resource Identifier: 
http://www.cnr.it/prodotto/i/311486
https://dx.doi.org/10.1007/978-3-319-03524-6_22
info:doi:10.1007/978-3-319-03524-6_22
http://www.scopus.com/record/display.url?eid=2-s2.0-84892683092&origin=inward
urn:isbn:9783319035239
Language: 
Eng
ISTC Author: 
AndreA Orlandini's picture
Real name: 
Amedeo Cesta's picture
Real name: