Cyc 101: Semantic Modeling and Reasoning using Cyc -- Sample Curriculum

The following is a typical curriculum for Cyc 101. The actual content and schedule may vary depending on attendees' needs and the introduction of new technologies.
Click here to register for this course.

Course Schedule: 
Cyc 101 - Day 1
Start TimeDurationSession Title
9:000:30Breakfast
9:300:15Welcome and Introduction
9:451:30An Overview of Cyc
11:150:15Break
11:300:30Rapid Knowledge Entry
12:001:00Lunch
1:000:45Exercise: Rapid Knolwedge Entry
1:451:00Basic Ontology
2:450:15Collections and Individuals
3:000:15Break
3:150:30Principles of Logic
3:450:45CycL: The Language of Cyc
4:300:15Break
4:451:00Exercise: Using the KB Browser
5:450:15Q&A
6:30Dinner
Cyc 101 - Day 2
Start TimeDurationSession Title
9:000:30Breakfast
9:300:30Basic Knowledge Retrieval
10:000:45Exercise: Basic Knowledge Retrieval
10:450:15Break
11:000:30Predicates and Denotational Functions
11:300:30The Query Tool
12:001:00Lunch
1:000:30Exercise: Using the Query Tool
1:301:00Inference in Cyc
2:300:15Break
2:450:30Constructing Rules in Cyc
3:150:45Exercise: Constructing
4:000:15Break
4:150:30A Brief Tour of the Knolwedge Base
4:450:30Inference: A Closer Look
5:150:45Q&A
Cyc 101 - Day 3
Start TimeDurationSession Title
9:000:30Breakfast
9:301:00Representing Events
10:300:40Applying Cyc: A Case Study
11:100:20Semantic Knowledge Source Integration
11:300:15Break
11:450:30API Programming
12:151:00Lunch
1:150:45API Programming - cont'd.
2:001:00Natural Language Processing in Cyc
3:000:15Break
3:150:40Representation: Lessons Learned
3:551:05Exercise: CycL Translation
5:001:00Q&A