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
    • Inferenzen
    • Truth Maintenance System (TMS)
    • Entscheidungen über die Anwendbarkeit von Regeln (Contention Resolution Module)
    • Entdeckung von Widersprüchen (Contradiction Detection and Resolution Module)
    • Die epistemologische Schicht
  • Frame-basierte Darstellung
    • Arten von Frames
      • ,,Normale'' Units
      • SlotUnits
      • SeeUnits
      • SlotEntryDetails
    • Syntax der Frame-Sprache
  • Die Constraint-Sprache
    • Warum Frame-Sprache und Constraint-Sprache?
    • Syntax
    • Inferenz
  • Repräsentation von Prädikaten mit einer Stelligkeit größer als zwei
  • Inferenzmethoden im Detail
    • Inverse Relationen
    • Generalisierte (Genl) Slots
    • Verfeinerungen von Slots
• 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