by Angie Lopez | Dec 13, 2019
Overview Like many of us when we first started working at Cycorp, you might be asking yourself, “What exactly is Cyc?” In this training module, we will introduce you to Cyc by discussing what it is, how it works, and how it can be used. Broadly speaking,...
by Angie Lopez | Dec 3, 2019
This training module provides an overview of the inference algorithm. This is the underlying algorithm behind new-cyc-query and the Query Tool. This is something that all Cyc developers should be strongly familiar with. OEs should know this. Programmers should know...
by Angie Lopez | Dec 3, 2019
Search for: Answerability timeAnswerability time is a common metric used for evaluating inference efficiency. It is defined as the time to first answer for answerable queries, and the total time for unanswerable queries.AntecedentThe antecedent of a rule is its...
by Angie Lopez | Dec 3, 2019
This training module concerns defining new Query Template Applications. When you have successfully completed this module, you’ll be able to Define new Query Template (QT) Applications in the Knowledge Base.Set up the landing page, query folders, and individual...
by Angie Lopez | Dec 3, 2019
This training module covers atomic terms, formulas, non-atomic terms, denotational terms, non-atomic reified terms (NARTs) and non-atomic unreified terms (NAUTs) in Cyc. An Euler diagram of terms in Cyc. Some reminders: the definitions of “atomic...