The creation of an automated, user-driven tool for expert system development, validation, and verification is curretly onoging at NASA's Jet Propulsion Laboratory. In the new age of faster, better, cheaper missions, there is an increased willingness to utilize embedded expert systems for encapsulating and preserving mission expertise in systems which combine conventional algorithmic processing and artifical intelligence. The once-questioned role of automation in spacecraft monitoring is now becoming one of increasing importance.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A Tool for Automatic Verification of Real-Time Expert Systems


    Beteiligte:
    Traylor, B. (Autor:in) / Schwuttke, U. (Autor:in) / Quan, A. (Autor:in)

    Erscheinungsdatum :

    01.08.1994


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Expert systems for real time applications

    Clema, J.K. / Werling, R. / Chande, A. | Tema Archiv | 1985


    Real Time Analysis on Expert Systems

    Pan, A. / Liu, C. | British Library Conference Proceedings | 2000


    Asynchronous Production Systems for Real-Time Expert Systems

    A. S. Sabharwal / S. S. Iyengar / C. R. Weisbin et al. | NTIS | 1988


    Verification and validation of expert systems

    SMITH, BURTON / MORRIS, KEITH | AIAA | 1989