Cyc 201: Advanced Tools & OE
This is a two-day course, open to those who have previously completed Cyc 101. The goal of this course is to introduce you to some of the more complex aspects of knowledge representation and OE design issues. We will, through case studies, review recent representational decisions we've made as we continue to grow Cyc, explore the challanges posed, and explain the rationale behind the ultimate decisions.

• Temporal Qualification in Cyc
  • The nature of HLMts (time interval and time parameter)
  • 3D and 4D objects in Cyc (timely and timeless relations)
  • Argument constraints and temporal qualification
  • 'Mixed' temporal rules and contextual lifting
• Situational Modeling in Cyc
  • Scripting assertions and script-related reasoning
  • Generalization and decomposition: type-level modeling of actions
  • Reasoning about quantity change in Cyc
  • Causality
• Quoting and Meta-Reasoning in Cyc
  • The 'Quote' operator and issues with deploying same
  • Types of CycLExpression
  • Inference-controlling vocabulary (CycInferencHeuristicPredicates, etc.)
• Faceting Collections in Cyc: How to Do It and Why
• Positioning Knowledge in Context Space
  • Dimensions in Context Space
  • Managing and reasoning with microtheories
• Modal Logic and the Knowledge Base
• The Cyc KB and other Popular Representation/Reasoning Systems
  • Cyc and Description Logics
  • Cyc and IKRIS
  • Cyc and OWL
• KB Quality Assurance and Maintenance
  • Common Sense Tests
  • KB Regression Testing

In addition, this course will expose you to some of advanced Cyc tools for entering, finding, inspecting, and modifying KB content and offer hands-on practice with them. These tools include areas such as NL parsing and generation, integration with structured- and semi-structured data sources, and visualization interfaces.

• Cyc 101: Introducing Cyc & OE

• Cyc 102: Introducing Programming & Inference

• Cyc 202: Advanced Programming & Inference