@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA29636 pubblicazioni:autoreCNRDi prodotto:ID47174 . unitaDiPersonaleInterno:MATRICOLA11026 pubblicazioni:autoreCNRDi prodotto:ID47174 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS078 prodottidellaricerca:prodotto prodotto:ID47174 . @prefix modulo: . modulo:ID4146 prodottidellaricerca:prodotto prodotto:ID47174 . modulo:ID2439 prodottidellaricerca:prodotto prodotto:ID47174 . modulo:ID6124 prodottidellaricerca:prodotto prodotto:ID47174 . unitaDiPersonaleInterno:MATRICOLA14902 pubblicazioni:autoreCNRDi prodotto:ID47174 . @prefix rdf: . prodotto:ID47174 rdf:type prodotto:TIPO1101 . @prefix retescientifica: . prodotto:ID47174 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID47174 rdfs:label "Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista)"@en . @prefix xsd: . prodotto:ID47174 pubblicazioni:anno "2010-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID47174 skos:altLabel "
Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E. (2010)
Validation and Verification Issues in a Timeline-Based Planning System
in Knowledge engineering review (Print)
"^^rdf:HTML ; pubblicazioni:autori "Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E."^^xsd:string ; pubblicazioni:paginaInizio "299"^^xsd:string ; pubblicazioni:paginaFine "318"^^xsd:string ; pubblicazioni:url "http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7875409"^^xsd:string ; pubblicazioni:numeroVolume "25(3)"^^xsd:string . @prefix ns11: . prodotto:ID47174 pubblicazioni:rivista ns11:ID454311 ; pubblicazioni:pagineTotali "19"^^xsd:string ; skos:note "ISI Web of Science (WOS)"^^xsd:string ; pubblicazioni:affiliazioni "Cesta, A., Fratini, S., ISTC-CNR, Via S.Martino della Battaglia 44, I-00185 Rome, Italy\nFinzi, A, DSF \u0093Federico II\u0094 University, Via Cinthia, I-80126 Naples, Italy\nOrlandini, A, DIA, Universita' di Roma Tre, Roma\nTronci, E., DI \u0093La Sapienza\u0094 University, Via Salaria 198, I-00198 Rome, Italy"^^xsd:string ; pubblicazioni:titolo "Validation and Verification Issues in a Timeline-Based Planning System"^^xsd:string ; prodottidellaricerca:abstract "To foster effective use of artificial intelligence planning and scheduling (P&S) systems in the real world, it is of great importance to both (a) broaden direct access to the technology for the end users and (b) significantly increase their trust in such technology. Automated P&S systems often bring solutions to the users that are neither 'obvious' nor immediately acceptable to them. This is because these tools directly reason on causal, temporal, and resource constraints; moreover, they employ resolution processes designed to optimize the solution with respect to non-trivial evaluation functions. Knowledge engineering environments aim at simplifying direct access to the technology for people other than the original system designers, while the integration of validation and verification (V&V) capabilities in such environments may potentially enhance the users' trust in the technology. Somehow, V&V techniques may represent a complementary technology, with respect to P&S, that contributes to developing richer software environments to synthesize a new generation of robust problem-solving applications. The integration of V&V and P&S techniques in a knowledge engineering environment is the topic of this paper. In particular, it analyzes the use of state-of-the-art V&V technology to support knowledge engineering for a timeline-based planning system called MrSPOCK. The paper presents the application domain for which the automated solver has been developed, introduces the timeline-based planning ideas, and then describes the different possibilities to apply V&V to planning. Hence, it continues by describing the step of adding V&V functionalities around the specialized planner, MrSPOCK. New functionalities have been added to perform both model validation and plan verification. Lastly, a specific section describes the benefits as well as the performance of such functionalities."@en ; prodottidellaricerca:prodottoDi modulo:ID4146 , modulo:ID2439 , istituto:CDS078 , modulo:ID6124 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA29636 , unitaDiPersonaleInterno:MATRICOLA14902 , unitaDiPersonaleInterno:MATRICOLA11026 . @prefix parolechiave: . prodotto:ID47174 parolechiave:insiemeDiParoleChiave . ns11:ID454311 pubblicazioni:rivistaDi prodotto:ID47174 . parolechiave:insiemeDiParoleChiaveDi prodotto:ID47174 .