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;