Home |  English version |  Mappa |  Commenti |  Sondaggio |  Staff |  Contattaci Cerca nel sito  
Istituto di scienze e tecnologie della cognizione

Torna all'elenco Contributi in rivista anno 2014

Contributo in rivista

Tipo: Articolo in rivista

Titolo: Planning meets verification and validation in a knowledge engineering environment

Anno di pubblicazione: 2014

Formato: Cartaceo

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

Affiliazioni autori: CNR-ISTC, Rome; Universita' di Napoli "Federico II"

Autori CNR:

  • GIULIO BERNARDI
  • AMEDEO CESTA
  • ANDREA ORLANDINI

Lingua: inglese

Abstract: The attention for the area of formal methods has significantly increased in AI over last years. The spreading of applications in many real life sectors raised the need for features like robustness, structural guarantee, and safety criticality. Application areas where planning techniques have been successfully deployed are among those that require such formal properties, this motivates our interest in integrating planning and formal methods for verification and validation. In this perspective, this paper describes the integration of Verification and Validation formal techniques within an environment for Knowledge Engineering of Planning with Timelines called KeeN. The system integrates "classical" knowledge engineering features, like those that support users when defining a planning domain, with services that enable domain model validation, planner validation, plan verification, etc. The particular verification and validation capabilities are obtained by exploiting a state-of-the-art verification tool, i.e., UPPAAL-TIGA, to support the design and development of timeline-based planning systems. Distinctive of the framework are the features that assist the plan execution phase, like, for example, those for the automated synthesis of controllers.

Lingua abstract: inglese

Pagine da: 87

Pagine a: 100

Pagine totali: 14

Rivista:

Intelligenza artificiale IOS Press
Paese di pubblicazione: Paesi Bassi
Lingua: italiano
ISSN: 2211-0097

Numero volume: 8

Numero fascicolo: 1

DOI: 10.3233/IA-140063

Referee: Sė: Internazionale

URL: http://iospress.metapress.com/content/e7w7n20451574v75/

Strutture CNR:

Moduli:

 
Torna indietro Richiedi modifiche Invia per email Stampa
Home Il CNR  |  I servizi News |   Eventi | Istituti |  Focus