|
|
|
|
IF (x=PC) THEN (x=computer)
IF (x=workstation) THEN (x=computer)
IF (x=mainframe) THEN (x=computer)
IF (x=computer) THEN (x has processor)
---> IF (x=PC) THEN (x has processor)
In einem geeignet gewählten Formalismus beschreiben die ersten drei Zeilen eine hierarchische "allgemeiner - spezieller" Beziehung. In der vierten Zeile wird der allgemeinere Begriff durch die Eigenschaft eine Prozessor zu besitzen spezifiziert. Diese Eigenschaft kann auf die spezielleren Begriffe vererbt werden.
|
|
|
|