|
Cyc 202: Advanced Programming & Inference
Whlie we have worked very hard to hide the complexities of Cyc's reasoning processes from typical
end-users, there is a whole lot going on under the covers and there are times when it pays to have a
deeper understanding of how Cyc's reasoning actually transpires. This course is aimed at more advanced developers who
want tighter control of Cyc's inference or want to modify Cyc to address their particular needs.
Some of the topics that may be covered in this course are:
- How to write an HL module
- How to write afterAddings and defns
- Non-Standard Inference in Cyc
- Probabilistic reasoning
- Defeasible reasoning
- Abduction and 'what-if' reasoning
- Machine Learning
- Inductive Logic Programming
- Advanced Query and Rule Authoring
- Extending the Query Forumulator
- Rule authoring in semantic graph transformation
- Efficient Pathfinding in Inference
- Using Cyc for information retrieval
- Semantic Knowledge Source Integration
- Document understanding and retrieval
Prerequisite courses:
Related courses:
|
what is Cyc?