In this paper, a problem-solving system which uses a multilevel causal model of its domain is described. The system functions in the role of a pilot's assistant in the domain of commercial air transport emergencies. The model represents causal relationships among the aircraft subsystems, the effectors (engines, control surfaces), the forces that act on an aircraft in flight (thrust, lift), and the aircraft's flight profile (speed, altitude, etc.). The causal relationships are represented at three levels of abstraction: Boolean, qualitative, and quantitative, and reasoning about causes and effects can take place at each of these levels. Since processing at each level has different characteristics with respect to speed, the type of data required, and the specificity of the results, the problem-solving system can adapt to a wide variety of situations. The system is currently being implemented in the KEE(TM) development environment on a Symbolics Lisp machine.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Integrating causal reasoning at different levels of abstraction


    Beteiligte:
    Hudlicka, Eva (Autor:in) / Corker, Kevin (Autor:in)

    Kongress:

    International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems ; 1988 ; Tullahoma, TN, United States


    Erscheinungsdatum :

    01.01.1988


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :


    Causal Reasoning based on MFM

    Petersen, J. / Korea Advanced Institute of Science and Technology | British Library Conference Proceedings | 2000


    ICAS2014_0791: DESIGNING GAS TURBINE CONTROL SYSTEMS AT DIFFERENT LEVELS OF ABSTRACTION

    Kapyrin, N. | British Library Conference Proceedings | 2014


    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Zaki, Mohamed H. / Denman, William / Tahar, Sofiène et al. | AIAA | 2009


    Reasoning on Conflict and Negotiation Through Causal Maps

    Chaib-Draa, B. | British Library Conference Proceedings | 1996


    Levels of Abstraction in Maritime Maneuvering Operations

    Petersen, Johannes | Springer Verlag | 2002

    Freier Zugriff