Publications

Verification and Validation and Artificial Intelligence

Authors
Tim Menzies, Charles Pecheur
Tags
,
Title
Verification and Validation and Artificial Intelligence
Authors
Tim Menzies, Charles Pecheur
 aivvis-aic.pdf Δ   529Kb   02 May 2010
Type
In Collection
Book title
Advances in Computers, vol. 65
Publisher
Elsevier
Editor
M. Zelkowitz
Year
2005

Abstract

Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI should be used more widely but won’t be unless developers can trust adaptative, nondeterministic, or complex AI systems. Verification and validation is one method used by software analysts to gain that trust. AI systems have features that make them hard to check using conventional V&V methods. Nevertheless, as we show in this article, there are enough alternative readily-available methods that enable the V&V of AI software.

Tags Tags: ,


BibTeX Record
  @INCOLLECTION{lvl-2005-2,
    TITLE = {Verification and Validation and Artificial Intelligence},
    AUTHOR = {Tim Menzies and Charles Pecheur},
    YEAR = {2005},
    PUBLISHER = {Elsevier},
    EDITOR = {M. Zelkowitz},
    URL = {http://lvl.info.ucl.ac.be/Publications/VerificationAndValidationAndArtificialIntelligence},
  }