CYC: A Midterm Report

Ramanathan V. Guha, Douglas B. Lenat
1990 The AI Magazine  
A user (human or application program) will usually communicate with Cyc at the epistemological level, and their utterances are translated by the tell-ask (TA) interface into heuristic-level propositions. The heuristic level consists of several modules for generating and comparing arguments for and against a given proposition.
doi:10.1609/aimag.v11i3.842 dblp:journals/aim/GuhaL90 fatcat:ntx5tuuwkzarrmqzdmk4kzdqny