contents previous up next
Previous: Die Constraint-Sprache Up: Die CycL Repräsentationssprache Next: Inferenzmethoden im Detail

Repräsentation von Prädikaten mit einer Stelligkeit größer als zwei

Folie 9

Es ist sehr hilfreich, ternäre Beziehungen in Cyc ausdrücken zu können, und manchmal ist es auch nützlich, Beziehungen mit einer höheren Stelligkeit benutzen zu können. Doch je geringer die Stelligkeit, desto gebräuchlicher und grundlegender sind die Prädikate.

Im extremen Fall der Stelligkeit 0 existieren nur die Prädikate ,, wahr'' und ,,falsch''.

In dem fast ebenso extremen Fall mit Stelligkeit 1 lassen sich die Prädikate als Slots mit den Werten T oder NIL darstellen, zum Beispiel läßt sich die Tatsache, daß Fred verheiratet ist, als Fred.married?.T ausdrücken.

Prädikate mit der Stelligkeit 2 sind die Standardslots in Cyc. Man kann damit Aussagen wie Fred.wife.Jane treffen. Hat man einen Slot mit n Einträgen, so stellt dieser n unabhängige Aussagen dar, beispielsweise Fred.children.Bobby und Fred.children.Susie.

Man kann viele wichtige Prädikate der Stelligkeit 3 finden, zum Beispiel between(Chicago, New York, Los Angeles).

Für die Stelligkeit 4 lassen sich auch noch einige Prädikate finden, doch je höher die Stelligkeit, desto weniger Prädikate gibt es. Zur Zeit liegen nur Prädikate mit einer Stelligkeit von maximal 5 in Cycs Wissensbasis vor. Eine Erklärung hierfür sieht das Cyc-Team in den kognitiven Beschränkungen des Menschen. Die Welt, in der wir denken, ist lose verbunden und hierarchisch. Man könnte sich zwar Prädikate mit der Stelligkeit 4 oder mehr ausdenken, doch sie wirken oft gekünstelt; im täglichen Leben würden sie durch Relationen mit niedrigerer Stelligkeit ausgedrückt, die wiederum Relationen als Argumente besitzen; die Argumente werden also strukturierter.