Seminar 1903
Hybride Systeme (Cyc)

Nicole Greiber <nicole.m@gmx.de>

26. April 1997

 
• Inhalt
• Einführung
  • Was ist Cyc?
  • Technische Details
  • Abgrenzung zu ähnlichen Systemen
• Die Wissensbasis
• Die Umgebung für Cyc
• Die CycL Repräsentationssprache
  • 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
• Ausblick
• Literatur
• Die Folien im Überblick
  • Folie 1
  • Folie 2
  • Folie 3
  • Folie 4
  • Folie 5
  • Folie 6
  • Folie 7
  • Folie 8
  • Folie 9
  • Folie 10
  • Folie 11