Historical milestone · 1984
Cyc commonsense project
Reviewed through September 18, 2026
1984 · Historical milestone
Cyc commonsense project
- Era
- 1980s
- Theme
- AI paradigms & knowledge representation
- Evidence form
- Long-running effort to encode commonsense facts and rules in a formal ontology and inference system
- School / paradigm
- Large-scale symbolic knowledge
- Institution / context
- MCC / Cycorp
- Researchers
- Douglas Lenat; colleagues
Researcher index
Douglas Lenat
Heuristic discovery and commonsense knowledge · Stanford / MCC / Cycorp
AM, Eurisko, and Cyc
Why it still matters. Pushed both automated discovery and large-scale explicit commonsense knowledge.
Representative source for this researcher — not necessarily the source of this milestone: https://doi.org/10.1145/79173.79176 (opens in a new tab)
Understand
Plain-language record, transferred from the reviewed source module.
Theory or experimental setup. Made explicit the scale and heterogeneity of background knowledge required for open-ended reasoning.
Result / historical claim. Manual knowledge acquisition is expensive; ontology choices, exceptions, and context create brittleness.
Apply
Professional implication, only where the reviewed record states one.
The checked-in record does not state a separate professional application for this entry. The topic page places it in the wider research lineage: .
Verify
Evidence status, stated limitations, and the external sources this record actually carries.
Evidence form. Long-running effort to encode commonsense facts and rules in a formal ontology and inference system
Limitation / debate. Knowledge graphs, retrieval, structured memory, commonsense benchmarks, and neuro-symbolic hybrids.
Source status. This milestone row does not carry a primary-source URL in the approved export, and we do not have a verified link for it in our own research. We do not guess one.
No primary-source URL is recorded for this entry in our reviewed data. Rather than manufacture a citation, we link the Implement Agentic research page that carries the record.
Reproduce
A reproduction tutorial is linked only when one exists for this exact record.
A reproduction tutorial is not yet available for this entry. The closest reviewed material is .
Cite or share
APA-like: This historical record carries a year only, and no author or publisher of record in the checked-in data. An APA reference would have to invent that metadata.
BibTeX: BibTeX requires an author and publication venue. Historical lineage entries store a narrative record and its source link, not structured authorship, so the field would be fabricated.