DERIVED

  Attribute der Art DERIVED sind von anderen Attributen abgeleitete und als solche Regeln. Eine Definition

DERIVED Attribut IF A1 & A2

erzeugt ein neues Attribut, das dann ,,gilt``, für das also ein Fakt erzeugt wird, falls A1 und A2 gelten. In der Regel sind A1 und A2 Attribute und das heißt dann, daß A1 und A2 vorhanden sein müssen.

Das sind die oben erwähnten Regeln, die die Inferenzmaschine benutzt, um abstrakte Fakten (wie ,,Der Rechner A reagiert nicht.``) abzuleiten.