An overview is presented of a workshop held on May 14-15, 1987. Presentations included overviews of knowledge-based system (KBS) fundamentals, introductions to verification and validation (V&V) methods currently being used, and theoretical V&V work. The findings of three working groups are considered, involving: (1) KBS V&V feasibility within current NASA software constraints, (2) V&V methods suited to KBS constraints, and future KBS V&V research goals.
Workshop on Verification and Validation of Knowledge Based Systems. I - Overview and meeting summary
AAAIC ''87 - Aerospace Applications of Artificial Intelligence ; 1987 ; Dayton, OH, United States
1988-01-01
Conference paper
No indication
English
Verification & Validation in Knowledge-Based Systems
British Library Conference Proceedings | 1992
|Code Verification, Solution Verification and Validation: An Overview of the 3rd Lisbon Workshop
British Library Conference Proceedings | 2009
|