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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Validation Of Critical Knowledge-Based Systems


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    01.03.1992



    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Validation of knowledge-based systems

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


    Validation of Knowledge-Based Systems

    Lum, Henry / Heer, Ewald | AIAA | 1989


    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