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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A Tool for Automatic Verification of Real-Time Expert Systems


    Contributors:
    Traylor, B. (author) / Schwuttke, U. (author) / Quan, A. (author)

    Publication date :

    1994-08-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English





    Expert systems for real time applications

    Clema, J.K. / Werling, R. / Chande, A. | Tema Archive | 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