汽车诊断系统图

RULE-TYPE state-dependency;

   ANTECEDENT : invisible-car-state;

      CARDINALITY : 1;

   CONSEQUENT : car-state;

      CARDINALITY : 1;

   CONNECTION-SYMBOL:

      causes;

END RULE-TYPE state-dependency;

 

RULE-TYPE manifestation-rule;

   ANTECEDENT : invisible-car-state;

   CONSEQUENT : car-observable;

   CONNECTION-SYMBOL:

      has-manifestation;

END RULE-TYPE manifestation-rule;

 

KNOWLEDGE-BASE car-network;

  USES:

     State-dependency FROM car-diagnosis-schema,

     Manifestation-rule FROM car- diagnosis-schema;

 EXPRESSIONS:

     /* state dependencies */

     Fuse.status = blown CAUSES power.status = off;

     Battery.status = low CAUSES power.status = off;

     Power ……………….

 

     /* manifestation rules */

     Fuse.status = blown HAS-MANIFESTATION

        Fuse-inspection.value = broken;

    ………….

END KNOWLEDGE-BASE car-network;

 

 

 

Inferences:

INFERENCE cover;

    ROLES:

         INPUT : complaint;

         OUTPUT : hypothesis;

         STATIC : causual-model;

END INFERENCE cover;

 

KNOWLEDGE-ROLE complaint;

   TYPE　：DYNAMIC;

   DOMAIN-MAPPING : visible-state;

END KNOWLEDGE-ROLE complaint;

 

KNOWLEDGE-ROLE hypothesis;

   TYPE　：DYNAMIC;

   DOMAIN-MAPPING : invisible-state;

END KNOWLEDGE-ROLE complaint;

 

KNOWLEDGE-ROLE causual-model;

   TYPE　：STATIC;

   DOMAIN-MAPPING : state-dependency FROM car-network;

END KNOWLEDGE-ROLE causual-model;