Nächste Seite: 1.6 Der Aufbau und Vorige Seite: 1.5.3 Die Operationen als

1.5.4 Die inferentielle Beziehung als Ordnungskriterium

Das im letzten Unterabschnitt genannte Wissensmanagement ist in anderer Form auch in konventionellen Systemen und Formalismen der Informatik, insbesondere im Teilbereich der Datenbanken, gebührend berücksichtigt. So ist es daher die Inferenz, die dem Gebiet der Wissensrepräsentation ihren besonderen Stempel aufdrückt. Wir möchten diese herausragende Bedeutung mit dem folgenden Zitat aus [Bra90] unterstreichen.

It is fairly widely held that it is virtually useless to consider a representation without considering the reasoning that is to be done with it. In much of KR the kind of reasoning that will be done is primary, and the structures used to represent the grist for the reasoning mill are secondary. ``KR'' now clearly stands for ``Knowledge Representation and Reasoning''. As a result, the study of KR is rooted in the study of logics.

So bietet es sich natürlich auch an, diese Operation der Inferenz in den Mittelpunkt der Darlegung zu stellen. Formal stellt sich eine inferentielle Beziehung als dar. soll dabei eine logische Beziehung (oder Relation) zwischen zwei Wissensmengen zum Ausdruck bringen, die in der Regel durch ein formales System implizit festgelegt ist. Die Beziehung selbst stellt Wissen dar. Anhand dieses Schemas lassen sich folgende Unterscheidungskriterien angeben.

• Wieviel des Gesamtwissens wird in , wieviel in , und wo hier, in oder , gesteckt.
• Welche der oben aufgeführten Formen von Wissen werden dabei zugelassen.
• Wird die Beziehung deduktiv (dh. von links nach rechts), abduktiv oder induktiv (dh. von rechts nach links) oder sowohl deduktiv als auch abduktiv angewandt.
• Wie berechenbar ist die inferentielle Beziehung, und wie wird sie verarbeitet.