by Angie Lopez | Nov 27, 2019
This training module covers inference parameters. By the end of this module, you will: Be able to set query inference parameters. Understand the most important parameters well. Have a working knowledge of the others. be able to determine the minimal requisite...
by Angie Lopez | Nov 27, 2019
One important feature of Cyc is its ability to “translate” between CycL and natural language (NL). Translating from CycL to natural language is known as “natural-language generation” (NLG). This feature is useful in rendering sentences, assertions, and...
by Angie Lopez | Nov 27, 2019
In this training module, you will learn how to use pragmas and exceptions to maintain the logical warrant of your assertions without suffering practical drawbacks. By the end of this module, you should be able to: distinguish between pragmas, exceptions, and logical...
by Angie Lopez | Nov 27, 2019
This is a training module on ontological engineering (OE) best practices at Cycorp. It collects guidelines for doing OE based on common error patterns that experienced ontologists at Cycorp have observed over the years. Creating Constants Every constant in Cyc that...
by Angie Lopez | Nov 27, 2019
This is a training module on temporally qualifying assertions. By the end of this module you will understand: What we mean by “temporal qualification”How to temporally qualify an assertion in CycWhat sorts of assertions require temporal qualificationWhat...
