Copyright © 2002 Cycorp
•Logical Aspects of Inference
•Incompleteness in Searching
•Incompleteness from Resource Bounds and Continuable Searches
•Efficiency through Heuristics
•Inference Features in Cyc
Inference in Cyc
We’ll be talking about Inference in Cyc.  Inference is the mechanism we use to conclude new facts from other existing facts and rules in the system.  We’ll be talking about it in four sections and the first section will be about the logical aspects of inference.