Affiliation:
1. Microelectronics and Computer Technology Corp., Austin, TX
Abstract
Cyc is a bold attempt to assemble a massive knowledge base (on the order of 10
8
axioms) spanning human consensus knowledge. This article examines the need for such an undertaking and reviews the authos' efforts over the past five years to begin its construction. The methodology and history of the project are briefly discussed, followed by a more developed treatment of the current state of the representation language used (epistemological level), techniques for efficient inferencing and default reasoning (heuristic level), and the content and organization of the knowledge base.
Publisher
Association for Computing Machinery (ACM)
Reference25 articles.
1. Allen j. Maintaining knowledge about temporal intervals. In Readings In Knowledge Representation H. Levesque and R. Brachman Eds. Morgan lxauimann 1.os /'~LLO~ k. /'~ /~oo. Allen j. Maintaining knowledge about temporal intervals. In Readings In Knowledge Representation H. Levesque and R. Brachman Eds. Morgan lxauimann 1.os /'~LLO~ k. /'~ /~oo.
Cited by
265 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献