Editing Cyc (section)

==History==
The project began in July 1984 by [[Douglas Lenat]] as a project of the [[Microelectronics and Computer Technology Corporation]] (MCC), a research consortium started by two United States–based corporations "to counter a then ominous Japanese effort in AI, the so-called '[[Fifth Generation Computer Systems|fifth-generation]]' project."<ref>{{cite journal
|title=The World in a Box
|journal=Scientific American
|volume=286
|issue=1
|pages=18–19
|doi=10.1038/scientificamerican0102-18
|year=2002
|last1=Wood
|first1=Lamont
|bibcode=2002SciAm.286a..18W
}}</ref> The US passed the [[National Cooperative Research and Production Act|National Cooperative Research Act]] of 1984, which for the first time allowed [[United States|US]] companies to "collude" on long-term research. Since January 1995, the project has been under active development by Cycorp, where Douglas Lenat was the [[Chief executive officer|CEO]].

The [[CycL]] representation language started as an extension of RLL<ref>{{Cite web|url=http://www.aaai.org/Library/AAAI/1980/aaai80-047.php|title=A Representation Language Language|website=www.aaai.org|access-date=2017-11-27}}</ref><ref>{{Cite report |last=Russell|first=Greiner|date=October 1980|title=RLL-1: A Representation Language Language|url=https://apps.dtic.mil/sti/citations/ADA096510|archive-url=https://web.archive.org/web/20150208123546/http://www.dtic.mil/docs/citations/ADA096510|url-status=live|archive-date=February 8, 2015|language=en}}</ref> (the Representation Language Language, developed in 1979&ndash;1980 by Lenat and his graduate student [[Russell Greiner]] while at [[Stanford University]]). In 1989,<ref name=":2">{{Cite journal |last1=Lenat |first1=Douglas B. |last2=Guha |first2=R. V. |date=June 1991 |title=The Evolution of CycL, the Cyc Representation Language |journal=ACM SIGART Bulletin |volume=2 |issue=3 |pages=84–87 |doi=10.1145/122296.122308 |issn=0163-5719 |s2cid=10306053}}</ref> CycL had expanded in [[Expressive power (computer science)|expressive power]] to [[higher-order logic]] (HOL).

Cyc's ontology grew to about 100,000 terms in 1994, and as of 2017, it contained about 1,500,000 terms. The Cyc knowledge base involving ontological terms was largely created by hand axiom-writing; it was at about 1 million in 1994, and as of 2017, it is at about 24.5 million.

In 2008, Cyc resources were mapped to many [[Wikipedia]] articles.<ref>{{cite web|url=http://researchcommons.waikato.ac.nz/bitstream/handle/10289/2150/Medelyan_Legg_Wikiai08.pdf?sequence=1|title=Integrating Cyc and Wikipedia: Folksonomy meets rigorously defined common-sense|access-date=2013-05-10}}</ref> Cyc is presently connected to [[Wikidata]].