Verification and Validation in Artificial Intelligence

reportActive / Technical Report | Accesssion Number: AD1088904 | Open PDF

Abstract:

AI V and V in a nutshell - Motivating question: "How can I gain confidence in my AI technique?" Expectation: Metrics, Algorithms. Finding: V and V is a Comp Sci concept, Multiple fields of research, multiple lines in each field, Still need some definitional work.

Author(s):
Kanal, Eliezer
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA
Funding Organization(s):
AIR FORCE LIFE CYCLE MANAGEMENT CENTER HANSCOM AFB MA, HANSCOM AFB , MA ; ADVISORY BOARD ON THE INVESTIGATIVE CAPABILITY OF THE DEPARTMENT OF DEFENSE, ARLINGTON , VA
Document Type:
Technical Report/Briefing Charts
Publication Date:
2019 Jan 01
Pagination:
28

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release

RECORD

Collection: TRECMS
Identifying Numbers
Contract Number(s):
FA8702-15-D-0002
Project Number(s):
DM19-1202
Subject Terms
Modernization Areas:
Autonomy
Communities of Interest:
Autonomy
Descriptor(s):
artificial intelligence, expert systems, unmanned vehicles, computer programs, software development, autonomous vehicles, engineering, autonomous systems, computer programming, mathematical models, rule based systems, simulations, computational science, computers, department of defense, governments, knowledge based systems
Keyword(s):
SEEK, SEEK2, Rule Checker Program, EVA, VVR(Verification and Validation rule), EITHER, GTM, ONCOCIN, KB-Reducer, CHECK, RCP, COVER
Subject Categories:
Mathematical and Computer Sciences
Creation Date:
2020 Jan 10
Update Date:
2022 Jul 22