Report discusses approach to verification and validation of knowledge-based systems. Also known as "expert systems". Concerned mainly with development of methodologies for verification of knowledge-based systems critical to flight-research systems; e.g., fault-tolerant control systems for advanced aircraft. Subject matter also has relevance to knowledge-based systems controlling medical life-support equipment or commuter railroad systems.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation Of Critical Knowledge-Based Systems


    Contributors:

    Published in:

    Publication date :

    1992-03-01



    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Validation of Knowledge-Based Systems

    Lum, Henry / Heer, Ewald | AIAA | 1989


    Validation of knowledge-based systems

    STACHOWITZ, ROLF / COMBS, JACQUELINE / CHANG, CHIN | AIAA | 1987


    Verification & Validation in Knowledge-Based Systems

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



    Validation of Flight Critical Control Systems

    G. Belcher / D. E. Mciver / K. J. Szalai | NTIS | 1991