Planning meets verification and validation in a knowledge engineering environment (Articolo in rivista)

Type
Label
  • Planning meets verification and validation in a knowledge engineering environment (Articolo in rivista) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.3233/IA-140063 (literal)
Alternative label
  • Orlandini, A., Bernardi, G., Cesta, A., Finzi, A. (2014)
    Planning meets verification and validation in a knowledge engineering environment
    in Intelligenza artificiale (Online); IOS Press, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Orlandini, A., Bernardi, G., Cesta, A., Finzi, A. (literal)
Pagina inizio
  • 87 (literal)
Pagina fine
  • 100 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://iospress.metapress.com/content/e7w7n20451574v75/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 8 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 14 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 1 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTC, Rome; Universita' di Napoli \"Federico II\" (literal)
Titolo
  • Planning meets verification and validation in a knowledge engineering environment (literal)
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. (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
data.CNR.it