# Cyc

> Source: https://aiwiki.ai/wiki/cyc
> Updated: 2026-06-27
> Categories: AI History, Artificial Intelligence
> From AI Wiki (https://aiwiki.ai), a free encyclopedia of artificial intelligence. Quote with attribution.

**Cyc** (pronounced "psyche", from "encyclopedia") is a long-running [symbolic AI](/wiki/symbolic_ai) project that aims to assemble a comprehensive [ontology](/wiki/ontology_information_science) and [knowledge base](/wiki/knowledge_representation) of common-sense facts and reasoning rules, encoded by hand in a formal logic language called CycL and queried through a dedicated [inference engine](/wiki/inference_engine). It was started by [Douglas Lenat](/wiki/doug_lenat) in July 1984 at the [Microelectronics and Computer Technology Corporation](/wiki/mcc) (MCC) in [Austin, Texas](/wiki/austin_texas), and has continued since 1994 to 1995 at [Cycorp](/wiki/cycorp), the company Lenat founded to commercialize the work [1][2][3]. Cyc is one of the largest and longest-running symbolic AI efforts in history, with development spanning more than four decades and, by Cycorp's 2023 figures, a knowledge base of more than 25 million hand-curated assertions over roughly 1.5 million concepts [1][3].

The central thesis behind Cyc is that intelligent behavior in everyday situations depends on a vast, mostly unspoken body of background knowledge that humans acquire through living, and that machines need this same substrate to reason robustly about the physical and social world. Lenat estimated this body of "consensus reality" knowledge at millions of assertions and proposed to encode it by hand in CycL [2][3]. He summarized the bet in a single line that became closely associated with the project: "Intelligence is ten million rules" [27]. As of public statements in the 2010s and 2020s, the full Cyc knowledge base contains roughly 1.5 million concept terms, more than 25 million explicitly stated axioms, and more than 40,000 predicates, arranged into thousands of [microtheories](/wiki/microtheory) [1][4][5].

Cyc is unusual for its scale, longevity, insistence on hand curation by trained ontologists, and commitment to formal logic, and it is among the most prominent surviving examples of [Good Old-Fashioned AI](/wiki/gofai) (GOFAI), the knowledge-based and logic-based approach that dominated AI before the rise of statistical learning. After Lenat's death from cancer on August 31, 2023, Cycorp has continued operating, and the research conversation around Cyc has been reshaped by the rise of [large language models](/wiki/large_language_model), which produce common-sense-looking text without an explicit symbolic substrate [6][7].

## What is Cyc?

Cyc is a hand-built [knowledge base](/wiki/knowledge_representation) of common sense plus a logical [inference engine](/wiki/inference_engine) that reasons over it. Where most software has to be told the specific facts of each problem, Cyc's goal is to supply the implicit background a human would already have: that you cannot be in two places at once, that you hold a cup of coffee with the open end up, that an unsupported solid object falls when released, and that a person's date of death cannot precede the birth date of someone they knew. The name is short for "encyclopedia", and the project's premise is that an encyclopedia is useless to a reader who lacks the consensus knowledge needed to interpret it [2][3].

Unlike an [expert system](/wiki/expert_system), which captures the rules of one narrow domain, Cyc is meant to span everyday human knowledge across all domains so that the same reasoning machinery can be reused everywhere. Lenat framed the contrast directly: "if you want computers not to be brittle in their dealings with human beings, you need to prime the pump with vast quantities of consensus reality" [28].

## Origins

Cyc grew out of Doug Lenat's earlier work on heuristic search. His 1976 Stanford doctoral thesis described **AM**, the [Automated Mathematician](/wiki/am_automated_mathematician), a program that explored elementary set theory and number theory by mutating and evaluating concepts, supervised by Edward Feigenbaum and Cordell Green [8]. AM appeared to rediscover concepts such as prime numbers and Goldbach's conjecture. Lenat extended the approach in **[Eurisko](/wiki/eurisko)** (1981 to 1984), which applied heuristic mutation to its own heuristics across several domains, including the design of three dimensional integrated circuits and the wargame Traveller TCS, where Eurisko-designed fleets won the U.S. national championship in 1981 and 1982 [9].

Despite these surface successes, Lenat concluded that AM and Eurisko had hit a hard ceiling. Both were powerful within narrow notational worlds but could not transfer to new domains because they lacked the broad background knowledge that human researchers take for granted. In a 1983 retrospective, Lenat argued that without a foundation of common sense, heuristic search would always be brittle [9][10].

The institutional opportunity to act on this conclusion arrived through MCC. The [Microelectronics and Computer Technology Corporation](/wiki/mcc) was founded in 1982 in Austin, Texas, as a U.S. industry consortium intended to coordinate research on advanced computing in response to Japan's [Fifth Generation Computer Systems](/wiki/fifth_generation_computer_systems) project, announced in 1981 [11]. Bobby Ray Inman, MCC's first chief executive, recruited Lenat from Stanford in 1984 to lead an AI program, and Lenat proposed Cyc as its flagship effort.

The original plan was famously ambitious. Lenat estimated that an adult's basic stock of common sense involved on the order of one to two million assertions and budgeted roughly 200 person-years of effort to encode them, with a 10 year horizon to a working baseline [2][3]. A widely cited 2002 accounting put the cumulative investment in Cyc at about $60 million and 600 person-years of effort from the team of "Cyclists" who entered the knowledge [12]. By 1989, the knowledge base contained around 30,000 assertions about a few thousand concepts; by 1995 the figure was reportedly above one million [2][3].

## When was Cycorp founded?

In 1994, Lenat and a small team spun the project out of MCC into a private company called [Cycorp](/wiki/cycorp), based in Austin, with active development under the company name dating to January 1995 [1]. MCC's consortium model was poorly suited to long-term commercial development of a knowledge product, and several MCC member companies were winding down their AI investments after the [AI winter](/wiki/ai_winter) of the late 1980s. Cycorp licensed the technology and continued the encoding effort while pursuing application contracts with U.S. government agencies and selected commercial customers [13].

Cycorp has remained closely held, with the Lenat family continuing to hold significant ownership and management roles. The company has reported a workforce of dozens of ontologists, engineers, and applied researchers at any given time, with most revenue coming from project contracts rather than packaged software [13][14]. Major funders have included [DARPA](/wiki/darpa), the Department of Defense, the intelligence community, the National Institutes of Health, and named commercial partners. After Lenat's death in 2023, Cycorp stated that the company would continue under existing leadership, with long-time technical staff including Dave Schneider and Michael Witbrock associated with the project at various points [6][14].

## How does Cyc represent knowledge?

The core technical artifact of the Cyc project is **CycL**, a [knowledge representation](/wiki/knowledge_representation) language that combines [frames](/wiki/frame_knowledge_representation) with a higher-order extension of [first-order predicate logic](/wiki/predicate_logic). CycL began as an extension of the Representation Language Language (RLL) developed around 1979 to 1980, was implemented in [Common Lisp](/wiki/common_lisp), and uses a Lisp-like prefix syntax; by 1989 it had been extended to higher-order logic [1]. A typical assertion is written as a logical sentence in parentheses, such as `(isa Fido Dog)` to express that the individual `Fido` is an instance of the collection `Dog`, or `(implies (and (isa ?X Person) (isa ?Y Cup)) (canDrinkFrom ?X ?Y))` for a more involved rule [2][3].

The representation goes beyond textbook first-order logic in several ways. CycL supports higher-order quantification over predicates and collections, modal operators for belief and time, default reasoning with exceptions, and reified events and situations. Categories in CycL are first-class objects, which allows the language to express statements about classes themselves rather than only about their instances. Numbers, intervals, units, and arithmetic are represented through a layer of mathematical microtheories.

A distinctive feature of CycL is its use of **[microtheories](/wiki/microtheory)**, abbreviated `Mt`. A microtheory is a labeled bundle of assertions that share a context, such as background assumptions for a particular domain, time period, naive theory, or work setting. Microtheories form a partial order under a `genlMt` relation, and queries are evaluated relative to a microtheory, with assertions inherited from more general microtheories unless overridden. This allows Cyc to hold mutually contradictory beliefs without global inconsistency. For example, a folk-physics microtheory may say that solid objects rest on the ground, while an orbital mechanics microtheory allows objects to remain at rest in free fall, and a fairy-tale microtheory permits flying carpets [2][3][5].

The Cyc [inference engine](/wiki/inference_engine) combines [forward chaining](/wiki/forward_chaining), [backward chaining](/wiki/backward_chaining), and specialized reasoning modules for arithmetic, set membership, transitive relations, temporal reasoning, and taxonomic reasoning. Forward chaining materializes commonly needed consequences as new assertions are added; backward chaining constructs proofs on demand during query answering. Cyc also supports abductive reasoning, planning, and the generation of natural language paraphrases of assertions. By the 2020s, Cycorp described the system as supporting more than 40,000 distinct predicate and function symbols, with built-in ways to talk about events, agents, beliefs, evidence, and uncertainty [1][4][5].

## How large is the Cyc knowledge base?

The Cyc knowledge base has been described in many published statements over the decades, and the figures vary with date and with which subset is being measured. The following counts are approximate and tied to the indicated year of reporting.

| Year reported | Concepts / terms | Assertions / axioms | Predicates | Microtheories | Source |
| --- | --- | --- | --- | --- | --- |
| 1989 | a few thousand | ~30,000 | n/a | n/a | [2] |
| 1995 | tens of thousands | >1 million | n/a | n/a | [3] |
| 2006 (ResearchCyc) | ~250,000 | ~2.2 million | ~15,000 | hundreds | [4] |
| 2012 (OpenCyc 4.0) | 239,000 | ~2.39 million | n/a | n/a | [15] |
| 2017 | ~1.5 million | ~24.5 million | tens of thousands | thousands | [1] |
| 2023 (Cycorp platform) | 1.5 million+ | 25 million+ explicit (trillions implicit) | 40,000+ | thousands | [1] |

The domains covered are intentionally broad. Naive physics covers solids, liquids, support, containment, motion, and basic causation. Biology covers organisms, anatomy, and life cycles. Geography covers political and physical regions, transportation, and climate. Social knowledge covers families, organizations, professions, money, ownership, contracts, and law. Specialized layers cover engineering, medicine, finance, and the parts of mathematics needed to reason about the rest [3][5]. Common-sense rules include the defaults that people have one head and two arms, that water flows downhill, that an unsupported solid object falls when released, that a glass breaks on a hard floor unless cushioned, and that working adults are usually paid for their labor. The point of these rules is not that they are universally true; they are the defaults a competent reasoner uses unless something in the situation overrides them.

## Public releases

From the early 2000s onward, Cycorp made several efforts to expose parts of the knowledge base to outside researchers.

**OpenCyc**, the open-source subset, was first released in spring 2002 with about 6,000 concepts and 60,000 facts. Subsequent releases grew the export, and the largest, OpenCyc 4.0 in June 2012, exposed roughly 239,000 concepts and 2.39 million assertions along with mappings to [WordNet](/wiki/wordnet) and [DBpedia](/wiki/dbpedia). OpenCyc was distributed under the Apache 2.0 license starting with version 1.0. Critics argued that it represented mainly the upper taxonomic layer and excluded the deeper rule and microtheory content that gave Cyc its distinctive reasoning ability. Cycorp discontinued OpenCyc in March 2017, citing the difficulty of maintaining a fragmented public release alongside the evolving internal product [15][16].

**ResearchCyc** was offered to academic researchers under a free non-commercial license, with a beta in February 2005 and an executable release in July 2006. It exposed substantially more rule and microtheory content than OpenCyc and included a Java-based browser, an inference engine, and a natural language toolkit. Several university groups produced papers using ResearchCyc through the 2000s and 2010s, including work on question answering, machine translation, and integration with Semantic Web data [16][17].

**EnterpriseCyc**, sometimes branded the Cyc Knowledge Base, is the commercial product, licensed to enterprise and government customers with consulting from Cycorp, and is the only release that includes the full current knowledge base and reasoning machinery [13][14].

## What is Cyc used for?

Cyc has been applied to a range of practical problems, although Cycorp's commercial agreements often prevent disclosure of customers. The following examples appear in published case studies, press releases, or government program documents.

- **Defense and intelligence**: Cyc has supported [DARPA](/wiki/darpa) and intelligence community contracts since the 1990s, including work on integrated battle command, terrorism analysis, and information fusion. Cycorp has also worked with the [MITRE Corporation](/wiki/mitre_corporation) on counter-IED reasoning during the Iraq and Afghanistan conflicts [13][14].
- **Healthcare**: Cycorp publicly described work with the [Cleveland Clinic](/wiki/cleveland_clinic) starting in the early 2010s, where Cyc helped medical researchers formulate cohort queries against electronic health records and reason about drug treatments and contraindications. Cyc has also been used in NIH-funded work on biomedical reasoning and trial design [14][18].
- **Energy and finance**: Cycorp has reported deployments in oil and gas, banking, and pharmaceutical research, for tasks such as sanctions list reasoning, fraud detection, regulatory compliance, and data integration [14].
- **Education**: A long-running project on Mathematics Education with Cyc, funded in part by the U.S. Department of Education, used Cyc to power tutoring systems that explain reasoning steps to learners [13].

Cycorp has positioned Cyc as a substrate for reasoning problems where shallow machine learning is insufficient and where the cost of curating knowledge is justified by correct, explainable outputs.

## Who created Cyc?

[Douglas Bruce Lenat](/wiki/doug_lenat) (September 13, 1950 to August 31, 2023) created Cyc and led it for the rest of his life. He earned his PhD from [Stanford University](/wiki/stanford_university) in 1976 with the thesis that produced AM, supervised by Edward Feigenbaum and Cordell Green. After Stanford, Lenat held faculty positions at Carnegie Mellon and then returned to Stanford as an assistant professor before joining MCC in 1984 [8][9]. He was elected a Fellow of the [AAAI](/wiki/aaai) and received the [Computers and Thought Award](/wiki/computers_and_thought_award) in 1977 for his work on AM [19].

Lenat spent more than 38 years working on Cyc, longer than most academic researchers' entire careers. He served as Cycorp's chief executive officer until his death and remained personally involved in the design of CycL and the curation of high-level microtheories. He published widely over the decades, including the 1990 book *Building Large Knowledge-Based Systems*, written with Ramanathan V. Guha, which remains the most detailed published description of CycL and Cyc's reasoning architecture [2]. His 1995 *Communications of the ACM* paper "CYC: A Large-Scale Investment in Knowledge Infrastructure" is among the most cited statements of the project's rationale [3].

Lenat was known for being unusually willing to defend the unfashionable bet that hand-curated symbolic knowledge would eventually pay off, and he frequently engaged with critics in print. In a final coauthored paper with [Gary Marcus](/wiki/gary_marcus), "Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc", submitted to arXiv on July 31, 2023 about a month before his death, Lenat and Marcus laid out 16 desiderata for future AI and argued that "any trustworthy general AI will need to hybridize the approaches, the LLM approach and more formal approach", combining the breadth of [large language models](/wiki/large_language_model) with the explicit, inspectable knowledge and reasoning of Cyc [7].

Lenat died of bile duct cancer on August 31, 2023, at age 72. His passing was noted in obituaries and tributes from across the AI community, including a remembrance from Stephen Wolfram and statements from the Cycorp team [6][14][26].

## Why is Cyc controversial?

Cyc has been one of the most discussed projects in AI partly because it has been one of the most contested. The criticisms broadly fall into several categories.

**Hand coding versus learning.** From the 1990s onward, machine learning researchers argued that the only feasible way to assemble knowledge at Cyc's intended scale was to learn it from data rather than encode it by hand. [Pedro Domingos](/wiki/pedro_domingos) discussed Cyc in *The Master Algorithm* (2015) as a paradigm of the symbolic tradition and used it as a foil for his argument that probabilistic and [connectionist](/wiki/connectionism) methods were the more productive long-term path [20]. By the 2010s, web-mined knowledge bases such as [Wikidata](/wiki/wikidata), [DBpedia](/wiki/dbpedia), and [YAGO](/wiki/yago) had reached scales much larger than Cyc at a tiny fraction of the labor cost, although their assertions were typically much shallower than CycL rules.

**The bottom-up versus analogical critique.** Douglas [Hofstadter](/wiki/hofstadter), in *Fluid Concepts and Creative Analogies* (1995) and *Le Ton beau de Marot* (1997), argued that Cyc's bottom-up approach to common sense missed what he saw as the central feature of human cognition, namely fluid analogy making. From this view, no amount of explicit propositions could capture how humans see one situation as another, and Cyc's commitment to formal predicates was a category error [21]. [Marvin Minsky](/wiki/marvin_minsky) was more sympathetic, since his [Society of Mind](/wiki/society_of_mind) framework shared Cyc's appetite for many small pieces of knowledge, but argued that knowledge had to be entangled with diverse representations rather than uniformly logical [22].

**Underdelivery.** [Stuart Russell](/wiki/stuart_russell), in *Human Compatible* (2019) and in editions of *Artificial Intelligence: A Modern Approach* coauthored with Peter Norvig, treated Cyc as a cautionary tale about the difficulty of building general intelligence by codifying common sense in formal logic. Russell observed that despite four decades of effort, Cyc had not produced a transformative capability comparable to those from deep learning [23][24].

**Opacity.** Because the full Cyc knowledge base is proprietary and the public OpenCyc release was a thin slice, outside researchers have had limited ability to evaluate Cyc's actual breadth and consistency. The discontinuation of OpenCyc in 2017 sharpened this concern, since claims about Cyc's size and capabilities could not be independently checked at the level of the rule layer [15][16].

**Generative AI era.** From around 2020 onward, the rise of large language models reshaped the debate. Models such as GPT-3, GPT-4, Claude, and Gemini produced text displaying apparent common sense across a wide range of tasks, learned implicitly from huge corpora rather than encoded by hand. Some commentators argued this vindicated the data-driven critics of Cyc. Others, including Lenat in his final writings with Marcus, argued that LLM hallucinations and the absence of an explicit world model showed exactly the weakness that Cyc-style symbolic substrates were designed to address, and called for hybrid neuro-symbolic systems [7][25].

## How does Cyc compare with other knowledge bases?

Cyc is the largest and most ambitious of the hand-built knowledge bases, but it is far from the only large knowledge resource. The table below summarizes several of the most widely used systems.

| Resource | Origin | Started | Approach | Approximate scale | Focus |
| --- | --- | --- | --- | --- | --- |
| Cyc | Cycorp / MCC | 1984 | Hand curated CycL with microtheories | 1.5M concepts, 25M+ axioms, 40,000+ predicates (2023 figures) | Common-sense reasoning across domains |
| [WordNet](/wiki/wordnet) | Princeton | 1985 | Hand curated lexical database | About 117,000 synsets | English lexical semantics |
| [ConceptNet](/wiki/conceptnet) | MIT Open Mind Common Sense | 2004 | Crowd sourced and merged | About 8 million edges across 80 languages | Common sense relations |
| [DBpedia](/wiki/dbpedia) | Leipzig, Mannheim, et al. | 2007 | Extracted from Wikipedia infoboxes | Tens of millions of triples | Encyclopedic facts |
| [YAGO](/wiki/yago) | Max Planck Saarbrucken | 2007 | Wikipedia plus WordNet plus GeoNames | Hundreds of millions of facts | Encyclopedic facts with type hierarchy |
| [NELL](/wiki/nell) | Carnegie Mellon | 2010 | Never-ending web learning | Tens of millions of beliefs | Web-scale categories and relations |
| Google Knowledge Graph | Google | 2012 | Proprietary, learned and curated | Hundreds of billions of facts (per Google statements) | Search and assistant grounding |
| [Wikidata](/wiki/wikidata) | Wikimedia | 2012 | Community curated | Over 100 million items | General-purpose structured data |
| ATOMIC | Allen AI / UW | 2019 | Crowd-collected if-then knowledge | About 877,000 if-then tuples | Inferential common sense |

Cyc differs from these resources in several ways. Its assertions are richer, since CycL allows quantifiers, defaults, and modal operators that simple triple stores cannot directly express. Its content is organized around microtheories, allowing inconsistent local theories to coexist. And its provenance is a small team of trained ontologists rather than a crowd or a web crawler, which is both its principal cost and the source of its consistency.

## Cyc and modern AI

The rise of [large language models](/wiki/large_language_model) has reframed the discussion of Cyc, since LLMs trained on internet-scale text appear to absorb common-sense-looking knowledge implicitly, with no explicit ontology and no microtheories. Several positions have emerged.

One position is that LLMs have made Cyc-style hand engineering obsolete, on the grounds that statistical learning from massive corpora is the only practical route to general knowledge at scale. A contrasting position, advocated by Lenat and [Gary Marcus](/wiki/gary_marcus) in their 2023 paper, is that LLMs and Cyc-style knowledge bases are complementary: LLMs supply broad coverage and natural language fluency but hallucinate because they lack a structured, inspectable world model, while Cyc supplies precise, auditable rules but cannot scale alone to the breadth of everyday discourse. They argued that hybrid neuro-symbolic systems would deliver more trustworthy AI than either alone, noting that with Cyc's approach "the full step-by-step line of reasoning is always available, and for each step the provenance of the knowledge used can be documented and audited" [7][25].

A third position holds that the most useful elements of Cyc may turn out to be the methodological lessons rather than the artifact. The Cyc team's experience cataloguing what humans know and where formal logic struggles is itself a contribution to [knowledge representation](/wiki/knowledge_representation) and [commonsense reasoning](/wiki/commonsense_reasoning), even if future systems are largely learned. Cycorp has signaled openness to integration with statistical methods, with talks and white papers from the late 2010s and early 2020s describing ways to use machine learning to suggest candidate assertions for human review, to map natural language into CycL, and to use Cyc as a checker on top of language model output.

## Future and post-Lenat

Cycorp has confirmed that work on Cyc continues after Lenat's death. Public messaging has emphasized continuity of mission, ongoing customer engagements, and maintenance and expansion of the knowledge base. As of public statements through 2024 and 2025, the company remains privately held in Austin with its longstanding senior staff in place [1][6][14]. Whether Cyc becomes a central thread of AI research, a niche industrial product, or a piece of the field's history is not yet settled. The next few years are likely to be decisive both for Cycorp's commercial trajectory and for the wider question of whether explicit, hand-curated knowledge remains a useful component of AI systems whose behavior is increasingly produced by neural networks.

## In simple terms (ELI5)

Imagine a computer that has read every page of an encyclopedia but still does not understand any of it, because nobody ever told it the obvious things that people just know: that ice is cold, that you cannot push on a rope, that your grandmother was born before you were. Cyc is a decades-long attempt to write down all of those "everybody knows that" facts, by hand, in a special logical language, so a computer can use them to reason. It is like building a giant rulebook for common sense, one rule at a time, with the bet that once the rulebook is big enough, the computer will finally stop saying silly things.

## See also

- [Doug Lenat](/wiki/doug_lenat), [Cycorp](/wiki/cycorp), [MCC](/wiki/mcc)
- [Symbolic AI](/wiki/symbolic_ai), [GOFAI](/wiki/gofai), [Knowledge representation](/wiki/knowledge_representation), [Ontology](/wiki/ontology_information_science)
- [Microtheory](/wiki/microtheory), [Commonsense reasoning](/wiki/commonsense_reasoning), [Frame knowledge representation](/wiki/frame_knowledge_representation)
- [Predicate logic](/wiki/predicate_logic), [Inference engine](/wiki/inference_engine), [Forward chaining](/wiki/forward_chaining), [Backward chaining](/wiki/backward_chaining), [Lisp](/wiki/lisp)
- [WordNet](/wiki/wordnet), [DBpedia](/wiki/dbpedia), [YAGO](/wiki/yago), [Wikidata](/wiki/wikidata), [ConceptNet](/wiki/conceptnet), [NELL](/wiki/nell)
- [Expert system](/wiki/expert_system), [Connectionism](/wiki/connectionism), [AI winter](/wiki/ai_winter), [Society of Mind](/wiki/society_of_mind)
- [Fifth Generation Computer Systems](/wiki/fifth_generation_computer_systems), [Eurisko](/wiki/eurisko), [AM Automated Mathematician](/wiki/am_automated_mathematician)
- [Marvin Minsky](/wiki/marvin_minsky), [John McCarthy](/wiki/john_mccarthy), [Hofstadter](/wiki/hofstadter), [Pedro Domingos](/wiki/pedro_domingos), [Stuart Russell](/wiki/stuart_russell), [Gary Marcus](/wiki/gary_marcus)
- [Large language model](/wiki/large_language_model), [MITRE Corporation](/wiki/mitre_corporation), [Cleveland Clinic](/wiki/cleveland_clinic), [DARPA](/wiki/darpa)

## References

1. Cycorp. "Platform" and "About Cyc." https://www.cyc.com/platform/
2. Lenat, D. B., and Guha, R. V. (1990). *Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project*. Addison-Wesley. ISBN 0-201-51752-3.
3. Lenat, D. B. (1995). "CYC: A Large-Scale Investment in Knowledge Infrastructure." *Communications of the ACM*, 38(11), 33-38. https://dl.acm.org/doi/10.1145/219717.219745
4. Matuszek, C., Cabral, J., Witbrock, M., and DeOliveira, J. (2006). "An Introduction to the Syntax and Content of Cyc." Proc. AAAI Spring Symposium. https://www.aaai.org/Papers/Symposia/Spring/2006/SS-06-05/SS06-05-008.pdf
5. Cycorp. "The Cyc Technology." White paper. https://www.cyc.com/cyc-technology/
6. Marcus, G. (2023). "Doug Lenat, 1950-2023." Marcus on AI, Substack, September 2023. https://garymarcus.substack.com/p/doug-lenat-1950-2023
7. Lenat, D., and Marcus, G. (2023). "Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc." arXiv:2308.04445, submitted July 31, 2023. https://arxiv.org/abs/2308.04445
8. Lenat, D. B. (1976). "AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search." PhD thesis, Stanford University. https://exhibits.stanford.edu/ai/catalog/yk979ww4949
9. Lenat, D. B. (1983). "EURISKO: A Program That Learns New Heuristics and Domain Concepts." *Artificial Intelligence*, 21(1-2), 61-98. https://doi.org/10.1016/S0004-3702(83)80005-8
10. Ritchie, G. D., and Hanna, F. K. (1984). "AM: A Case Study in AI Methodology." *Artificial Intelligence*, 23(3), 249-268. https://doi.org/10.1016/0004-3702(84)90015-8
11. Feigenbaum, E. A., and McCorduck, P. (1983). *The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World*. Addison-Wesley.
12. Wikipedia. "Cyc." https://en.wikipedia.org/wiki/Cyc
13. Cycorp. "Customer Solutions and Case Studies." https://www.cyc.com/applications/
14. Cycorp. "News and announcements." https://www.cyc.com/news/
15. Cycorp. "OpenCyc 4.0 Release Notes" (2012). Wayback Machine. https://web.archive.org/web/20160830042036/http://www.cyc.com/platform/opencyc/
16. Foxvog, D. (2010). "Cyc." In *Theory and Applications of Ontology: Computer Applications*, ed. Poli, R., et al., Springer, pp. 259-278. https://doi.org/10.1007/978-90-481-8847-5_12
17. Sarjant, S., Legg, C., Robinson, M., and Medelyan, O. (2009). "All You Can Eat Ontology-Building: Feeding Wikipedia to Cyc." Proc. IEEE/WIC/ACM Web Intelligence. https://doi.org/10.1109/WI-IAT.2009.60
18. Cycorp and Cleveland Clinic. "Cycorp and Cleveland Clinic Collaboration on Semantic Search," 2014.
19. AAAI. "Computers and Thought Award." https://aaai.org/about-aaai/aaai-awards/the-aaai-computers-and-thought-award/
20. Domingos, P. (2015). *The Master Algorithm*. Basic Books. ISBN 978-0-465-06570-7.
21. Hofstadter, D. R. (1995). *Fluid Concepts and Creative Analogies*. Basic Books. See also *Le Ton beau de Marot* (1997).
22. Minsky, M. (1986). *The Society of Mind*. Simon and Schuster. ISBN 0-671-60740-5.
23. Russell, S. J. (2019). *Human Compatible: Artificial Intelligence and the Problem of Control*. Viking. ISBN 978-0-525-55861-3.
24. Russell, S., and Norvig, P. (2020). *Artificial Intelligence: A Modern Approach*, 4th ed. Pearson. ISBN 978-0-13-461099-3.
25. Marcus, G., and Davis, E. (2019). *Rebooting AI: Building Artificial Intelligence We Can Trust*. Pantheon. ISBN 978-1-5247-4825-8.
26. Wolfram, S. (2023). "Remembering Doug Lenat (1950-2023) and His Quest to Capture the World with Logic." Stephen Wolfram Writings, September 2023. https://writings.stephenwolfram.com/2023/09/remembering-doug-lenat-1950-2023-and-his-quest-to-capture-the-world-with-logic/
27. Lenat, D. B., quoted in McKinsey / Stanford magazine coverage of Cyc, "Intelligence is ten million rules." See also Wikipedia, "Douglas Lenat." https://en.wikipedia.org/wiki/Douglas_Lenat
28. Lenat, D. B., quoted in "Wise Up, Dumb Machine," Stanford magazine. https://stanfordmag.org/contents/wise-up-dumb-machine