Previous:
Die Umgebung für Cyc
Up:
Seminar 1903 Hybride Systeme (Cyc)
Next:
Die logischen Grundlagen des Designs von
Die CycL Repräsentationssprache
Folie 4
Die logischen Grundlagen des Designs von Cyc
Frame-basierte Darstellung
Die Constraint-Sprache
Repräsentation von Prädikaten mit einer Stelligkeit größer als zwei
Inferenzmethoden im Detail
