Verification and Validation and Artificial Intelligence

摘要

AI software is often a declarative model-based executable knowledge-level nondeterministic complex adaptive system. These article describes all these features as well as their implications for verification and validation.