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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Workshop on Verification and Validation of Knowledge Based Systems. I - Overview and meeting summary


    Beteiligte:

    Kongress:

    AAAIC ''87 - Aerospace Applications of Artificial Intelligence ; 1987 ; Dayton, OH, United States


    Erscheinungsdatum :

    01.01.1988


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Verification & Validation in Knowledge-Based Systems

    El-Dessouki, A. / Rafea, A. / Youssef, M. et al. | British Library Conference Proceedings | 1992


    Code Verification, Solution Verification and Validation: An Overview of the 3rd Lisbon Workshop

    Eca, L. / Hoekstra, M. / Roache, P. | British Library Conference Proceedings | 2009


    High-Lift Prediction Workshop 5: Overview and Workshop Summary

    Clark, Adam M. / Rumsey, Christopher L. / Slotnick, Jeffrey P. et al. | AIAA | 2025



    Magnetoplasmadynamic Thruster Workshop : proceedings of a workshop (Meeting summary)

    National Aeronautics and Space Administration / Headquarters Propulsion, Power and Energy Division / National Aeronautics and Space Administration / Lewis Research Center / Low Thrust Propulsion Branch | TIBKAT | 1991