TY  - CONF
AU  - Cesta, Amedeo
AU  - Finzi, Alberto
AU  - Fratini, Simone
AU  - Orlandini, Andrea
AU  - Tronci, Enrico
PY  - 2008
DA  - 2008//
TI  - Validation and Verification Issues in a Timeline-based Planning System
BT  - In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling
AB  - One of the key points to take into account to foster effective introduction of AI planning and scheduling systems in real world is to develop end user trust in the related technologies. Automated planning and scheduling systems often brings solutions to the users which are neither “obvious” nor immediately acceptable for them. This is due to the ability of these tools to take into account quite an amount of temporal and causal constraints and to employ resolution processes often designed to optimize the solution with respect to non trivial evaluation functions. To increase technology trust, the study of tools for verifying and validating plans and schedules produced by AI systems might be instrumental. In general, validation and verification techniques represent a needed complementary technology in developing domain independent architectures for automated problem solving. This paper presents a preliminary report of the issues concerned with the use of two software tools for formal verification of finite state systems to the validation of the solutions produced by MrSPOCK, a recent effort for building a timeline based planning tool in an ESA project.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2008a.pdf
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=25), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Cesta_etal2008
ER  -