Konstruktion der KOWIEN-Ontologie - Institut für Produktion und ...

KOWIEN-Projektbericht 2/2003 32
Ein alternatives Vorgehen liegt im Rückgriff auf nichtmonotone Logik 1) . Während die
monotone Logik lediglich die Erweiterung der bestehenden Wissensbasis zulässt, wird
mit innerhalb der nichtmonotonen Logik die Spezifikation von Umständen versucht, die
die Revidierung von Fakten zulassen. So ist beispielsweise in der folgenden Formel eine
Ausnahmebehandlung integriert, die unzulässige Deduktionen bezüglich Kompetenzen
eines Mitarbeiters berücksichtigt:
FORALL X,Y,Z
X[hat_Kompetenz->>Z] >Y] AND
Y:Schulung[hat_Themengebiet->>Z] AND
NOT Ausnahme(X)
NOT Ausnahme(Y)
NOT Ausnahme(Z).
Die obige Formel feuert erst dann, wenn bezüglich dem Mitarbeiter X, der Schulung Y
und der Kompetenz Z keine Ausnahmen spezifiziert wurden. Solche Ausnahmen könnten
beispielsweise dann gegeben sein, wenn ein bestimmter Mitarbeiter („Müller“) als
„lernunfähig“ oder eine bestimmte Schulung als „zu kurz“ spezifiziert wurden:
Ausnahme(Mueller) und
FORALL X Ausnahme(X) Y] AND Y