Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Ingrand, Félix and Ghallab, Malik 2014. Deliberation for autonomous robots: A survey. Artificial Intelligence,


    Orlandini, Andrea Suriano, Marco Cesta, Amedeo and Finzi, Alberto 2013. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence. p. 306.

    Pezzulo, Giovanni Baldassarre, Gianluca Cesta, Amedeo and Nolfi, Stefano 2011. Research on cognitive robotics at the Institute of Cognitive Sciences and Technologies, National Research Council of Italy. Cognitive Processing, Vol. 12, Issue. 4, p. 367.


    ×

Validation and verification issues in a timeline-based planning system

  • Amedeo Cesta (a1), Alberto Finzi (a2), Simone Fratini (a1), Andrea Orlandini (a3) and Enrico Tronci (a4)
  • DOI: http://dx.doi.org/10.1017/S0269888910000160
  • Published online: 01 September 2010
Abstract
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.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

J. Frank , A. Jonsson 2003. Constraint based attribute and interval planning. Journal of Constraints 8(4), 339364.

K. L. McMillan 1993. Symbolic Model Checking. Massachusetts: Kluwer Academic Publishers, ISBN 0792393805.

C. Pecheur , R. G. Simmons 2001. From livingstone to SMV. In FAABS-00. Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems—Revised Papers, 103113, London, UK: Springer-Verlag. ISBN 3-540-42716-3.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Knowledge Engineering Review
  • ISSN: 0269-8889
  • EISSN: 1469-8005
  • URL: /core/journals/knowledge-engineering-review
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×