Abstract
CycL is the language in which the Cyc Knowledge Base is being encoded. This paper reviews some of the methodological considerations and the technical decisions (resulting from these considerations) that are both different from conventional thinking and that have significantly influenced the design of the language.
- R. V. Guha and D. B. Lenat. CycL: The Cyc representation language, part 2. Technical Report ACT-CYC-452-89, MCC, December 1989.Google Scholar
- R. V. Guha and D. B. Lenat. CycL: The Cyc representation language, part 3. Technical Report ACT-CYC-~5~.89, MCC, December 1989.Google Scholar
- R. V. Guha and D. B. Lenat. CycL: The Cyc representation language, part 4. Technical Report ACT-CYC-154-90, MCC, May 1990.Google Scholar
- D. B. Lenat and J. S. Brown. Why AM and Eurisko appear to work. Artificial Intelligence, 23:269-294, 1984. Google ScholarDigital Library
- D. B. Lenat and R. V. Guha. Building Large Knowledge Based Systems. Addison-Wesley, Reading, Mass., 1990. Google ScholarDigital Library
- D. B. Lenat, M. Prakash, and M. Shepherd. Cyc: Using common sense knowledge to overcome brittleness and knowledge acquisition bottlenecks. AI Magazine, 6:65-85, 1986. Google ScholarDigital Library
- J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of AI. In M. Ginsberg, editor, Readings In Nonmonotonic Reasoning. Morgan Kaufmann, Los Altos, CA, 1987. Google ScholarDigital Library
Index Terms
- The evolution of CycL, the Cyc representation language
Recommendations
The Knowledge Acquisition and Representation Language, KARL
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise ...
CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks
MCC's CYC project is the building, over the coming decade, of a large knowledge base (or KB) of real world facts and heuristics and—as a part of the KB itself—methods for efficiently reasoning over the KB. As the title of this article suggests, our ...
Comments