The DOI matches its Crossref record; 18 of the 18 references it cites were found in a registry or an index.
Cyc: toward programs with common sense
Open accessAbstract
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.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Maintaining knowledge about temporal intervals
Allen, J. F. (1983) · Communications of the ACM · doi:10.1145/182.358434 · Cited by 7,593
Ontological Relativity and Other Essays
Quine, W. V. (1969) · doi:10.7312/quin92204 · Cited by 3,593
Some Philosophical Problems from the Standpoint of Artificial Intelligence
McCarthy, J., & Hayes, P. J. (1981) · Readings in Artificial Intelligence · doi:10.1016/b978-0-934613-03-3.50033-7 · Cited by 3,279
Applications of circumscription to formalizing common-sense knowledge
McCarthy, J. (1986) · Artificial Intelligence · doi:10.1016/0004-3702(86)90032-9 · Cited by 1,114
Readings in Knowledge Representation
Brachman, R. J., & Levesque, H. J. (1985) · Medical Entomology and Zoology · Cited by 1,041
McCarthy, J. (1960) · Cited by 931
An overview of KRL, a Knowledge Representation Language
BOBROW, D., & WINOGRAD, T. (1977) · Cognitive Science · doi:10.1016/s0364-0213(77)80003-7 · Cited by 922
Formal Theories of the Commonsense World
Hobbs, J. R., & Moore, R. C. (1985) · Greenwood Publishing Group Inc. eBooks · Cited by 770
A Temporal Logic for Reasoning about Processes and Plans*
McDermott, D. (1982) · Cognitive Science · doi:10.1207/s15516709cog0602_1 · Cited by 493
Prolegomena to a theory of mechanized formal reasoning
Weyhrauch, R. W. (1980) · Artificial Intelligence · doi:10.1016/0004-3702(80)90015-6 · Cited by 429
Cited by
Toward principles for the design of ontologies used for knowledge sharing?
Gruber, T. R. (1995) · International Journal of Human-Computer Studies · doi:10.1006/ijhc.1995.1081 · Cited by 7,753
(1993) · doi:10.1609/aimag.v14i1.1029 · Cited by 721
Steps Toward Robust Artificial Intelligence
Dietterich, T. G. (2017) · AI Magazine · doi:10.1609/aimag.v38i3.2756 · Cited by 139
Metadata
- Authors
- Lenat, D. B., Guha, R. V., Pittman, K., Pratt, D., & Shepherd, M.
- Venue
- Communications of the ACM
- Published
- 1990-08
- Volume
- 33
- Issue
- 8
- Pages
- 30-49
- ISSN
- 0001-0782 (ISSN-L)
- 1557-7317
- OpenAlex
- W2071718761
- Cited by
- 507
- References
- 18
- FWCI
- 21.37
- Type
- journal article
- Language
- en
- Open access
- bronze
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Cyc: toward programs with common sense. https://app.cochat.ai/papers/10.1145/79173.79176
- The paper
- Lenat, D. B., Guha, R. V., Pittman, K., Pratt, D., & Shepherd, M. (1990). Cyc: toward programs with common sense. Communications of the ACM. https://doi.org/10.1145/79173.79176
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
