Integrating Knowledge Engineering for Planning with Validation and Verification Tools

  • Andrea Orlandini
  • Giulio Bernardi
  • Amedeo Cesta
  • Alberto Finzi
Conference paper

DOI: 10.1007/978-3-319-03524-6_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8249)
Cite this paper as:
Orlandini A., Bernardi G., Cesta A., Finzi A. (2013) Integrating Knowledge Engineering for Planning with Validation and Verification Tools. In: Baldoni M., Baroglio C., Boella G., Micalizio R. (eds) AI*IA 2013: Advances in Artificial Intelligence. AI*IA 2013. Lecture Notes in Computer Science, vol 8249. Springer, Cham

Abstract

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.

Keywords

knowledge engineering validation and verification timeline-based planning domain modeling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Andrea Orlandini
    • 1
  • Giulio Bernardi
    • 1
  • Amedeo Cesta
    • 1
  • Alberto Finzi
    • 2
  1. 1.Istituto di Scienze e Tecnologie della CognizioneCNR - Consiglio Nazionale delle RicercheRomeItaly
  2. 2.Dipartimento di Ingegneria Elettrica e Tecnologie dell’InformazioneUniversità di Napoli “Federico II”NaplesItaly

Personalised recommendations