Cyc for Prolog Developers

by | Jan 3, 2020

This is a training module on Cyc intended for developers familiar with Prolog. By the end of this module, you will understand the crucial differences between Cyc’s and Prolog’s approaches to knowledge representation and reasoning. Prerequisites This is an...

What is Ontology?

by | Dec 23, 2019

If you click a certain ORDER NOW button while shopping online, you know that a dozen roses will be delivered to your spouse tomorrow by 3pm, and s/he will be pleased by that, and your credit card will have a certain charge incurred. Just stop and think for a second...

Intro to Querying Cyc

by | Dec 20, 2019

Querying Cyc is a – if not the – fundamental way of interacting with Cyc in order to see what it knows. You can query Cyc to see if some specific bit(s) of information is present in or provable from the information accessible to it (that is, in its...