by Angie Lopez | Dec 16, 2019
In this introductory training module, we will discuss assertions, which are the basic units of knowledge in the Cyc knowledge base. After you have completed this module, you should be able to explain what a CycL assertion is; understand the essential components of an...
by Angie Lopez | Dec 16, 2019
Logical Reasoning Logical inference is the process of reasoning from one set of facts, called premises, to another, called conclusions. Cyc primarily does a kind of inference called deduction, that allows us to reason with certainty from premises to conclusions. Here...
by Angie Lopez | Dec 16, 2019
Overview Many things are true in one context and false in another. It is true in the fictional world of The Simpsons that Homer Simpson works at the Springfield Nuclear Power Plant. But, of course, this is not true in the real world: Homer Simpson...
by Angie Lopez | Dec 13, 2019
Constants and constant names The basic building blocks of formal languages like CycL are atomic terms — these are the indivisible expressions that combine to form complex expressions. The most important kind of atomic terms in CycL are constants. Constants are atomic...
by Angie Lopez | Dec 13, 2019
Welcome! We’re so glad you’re interested in learning more about how to use Cyc. In this introductory module, we will provide you with some guidelines and tips to help you get the most out of your training. How the Modules are Organized The Cyc training...