Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Cyc

From Wikipedia, the free encyclopedia
Artificial intelligence project
For other uses, seeCyc (disambiguation).
(Clockwise) Logos for Cyc's Knowledge Base, Inference Engines, Actionable Output, and Intelligent Data Selection
Original author(s)Douglas Lenat
Developer(s)Cycorp, Inc.
Initial release1984; 41 years ago (1984)
Stable release
6.1 / 27 November 2017; 7 years ago (2017-11-27)
Written inLisp,CycL,SubL
TypeKnowledge representation language andinference engine
Websitewww.cyc.com

Cyc (pronounced/ˈsk/SYKE) is a long-termartificial intelligence project that aims to assemble a comprehensiveontology andknowledge base that spans the basic concepts and rules about how the world works. Hoping to capturecommon sense knowledge, Cyc focuses onimplicit knowledge. The project began in July 1984 atMCC and was developed later by theCycorp company.

The name "Cyc" (from "encyclopedia") is a registered trademark owned by Cycorp.CycL has a publicly released specification, and dozens of HL (Heuristic Level) modules were described in Lenat and Guha's textbook,[1] but the Cyc inference engine code and the full list of HL modules are Cycorp-proprietary.[2]

History

[edit]

The project began in July 1984 byDouglas Lenat as a project of theMicroelectronics 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' project."[3] The US passed theNational Cooperative Research Act of 1984, which for the first time allowedUS companies to "collude" on long-term research. Since January 1995, the project has been under active development by Cycorp, where Douglas Lenat was theCEO.

TheCycL representation language started as an extension of RLL[4][5] (the Representation Language Language, developed in 1979–1980 by Lenat and his graduate studentRussell Greiner while atStanford University). In 1989,[6] CycL had expanded inexpressive power tohigher-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 manyWikipedia articles.[7] Cyc is presently connected toWikidata.

Knowledge base

[edit]

Theknowledge base is divided intomicrotheories. Unlike the knowledge base as a whole, each microtheory must be free from monotonic contradictions. Each microtheory is a first-class object in the Cyc ontology; it has a name that is a regular constant. The concept names in Cyc are CycLterms orconstants.[6] Constants start with an optional#$ and are case-sensitive. There are constants for:

  • Individual items known asindividuals, such as#$BillClinton or#$France.
  • Collections, such as#$Tree-ThePlant (containing all trees) or#$EquivalenceRelation (containing allequivalence relations). A member of a collection is called aninstance of that collection.[1]
  • Functions, which produce new terms from given ones. For example,#$FruitFn, when provided with an argument describing a type (or collection) of plants, will return the collection of its fruits. By convention, function constants start with an upper-case letter and end with the stringFn.
  • Truth functions, which can apply to one or more other concepts and return either true or false. For example,#$siblings is the sibling relationship, true if the two arguments aresiblings. By convention, truth function constants start with a lowercase letter.

For every instance of the collection#$ChordataPhylum (i.e., for everychordate), there exists a female animal (instance of#$FemaleAnimal), which is its mother (described by the predicate#$biologicalMother).[1]

Inference engine

[edit]

Aninference engine is a computer program that tries to derive answers from a knowledge base. The Cyc inference engine performs generallogical deduction.[8] It also performsinductive reasoning,statistical machine learning andsymbolic machine learning, andabductive reasoning.

The Cyc inference engine separates theepistemological problem from theheuristic problem. For the latter, Cyc used acommunity-of-agents architecture in which specialized modules, each with its own algorithm, became prioritized if they could make progress on the sub-problem.

Releases

[edit]

OpenCyc

[edit]

The first version of OpenCyc was released in spring 2002 and contained only 6,000 concepts and 60,000 facts. The knowledge base was released under theApache License. Cycorp stated its intention to release OpenCyc under parallel, unrestricted licences to meet the needs of its users. TheCycL and SubL interpreter (the program that allows users to browse and edit the database as well as to draw inferences) was released free of charge, but only as a binary, withoutsource code. It was made available forLinux andMicrosoft Windows. The open source Texai[9] project released theRDF-compatible content extracted from OpenCyc.[10] The user interface was in Java 6.

Cycorp was a participant of aworking group for the Semantic Web,Standard Upper Ontology Working Group, which was active from 2001 to 2003.[11]

ASemantic Web version of OpenCyc was available starting in 2008, but ending sometime after 2016.[12]

OpenCyc 4.0 was released in June 2012.[13] OpenCyc 4.0 contained 239,000 concepts and 2,093,000 facts; however, these are mainlytaxonomic assertions.

4.0 was the last released version, and around March of 2017, OpenCyc was shutdown for the purported reason that "because such “fragmenting” led to divergence, and led to confusion amongst its users and the technical community generally that that OpenCyc fragmentwas Cyc.".[14]

ResearchCyc

[edit]

In July 2006, Cycorp released theexecutable of ResearchCyc 1.0, a version of Cyc aimed at the research community, at no charge. (ResearchCyc was in beta stage of development during all of 2004; a beta version was released in February 2005.) In addition to the taxonomic information, ResearchCyc includes more semantic knowledge; it also includes a large lexicon,English parsing and generation tools, andJava-based interfaces for knowledge editing and querying. It contains a system forontology-based data integration.

Applications

[edit]

In 2001,GlaxoSmithKline was funding the Cyc, though for unknown applications.[15] In 2007, theCleveland Clinic has used Cyc to develop anatural-language query interface of biomedical information oncardiothoracic surgeries.[16] A query is parsed into a set ofCycL fragments with open variables.[17] TheTerrorism Knowledge Base was an application of Cyc that tried to contain knowledge about "terrorist"-related descriptions. The knowledge is stored as statements in mathematical logic. The project lasted from 2004 to 2008.[18][19]Lycos used Cyc for search term disambiguation, but stopped in 2001.[20] CycSecure was produced in 2002,[21] a network vulnerability assessment tool based on Cyc, with trials at the USSTRATCOM Computer Emergency Response Team.[22]

One Cyc application has the stated aim to help students doing math at a 6th grade level.[23] The application, called MathCraft,[24] was supposed to play the role of a fellow student who is slightly more confused than the user about the subject. As the user gives good advice, Cyc allows the avatar to make fewer mistakes.

Criticisms

[edit]

The Cyc project has been described as "one of the most controversial endeavors of the artificial intelligence history".[25]Catherine Havasi, CEO of Luminoso, says that Cyc is the predecessor project toIBM's Watson.[26] Machine-learning scientistPedro Domingos refers to the project as a "catastrophic failure" for the unending amount of data required to produce any viable results and the inability for Cyc to evolve on its own.[27]

Gary Marcus, a cognitive scientist and the cofounder of an AI company called Geometric Intelligence, says "it represents an approach that is very different from all the deep-learning stuff that has been in the news."[28] This is consistent with Doug Lenat's position that "Sometimes theveneer of intelligence is not enough".[29]

Notable employees

[edit]

This is a list of some of the notable people who work or have worked on Cyc either while it was a project at MCC (where Cyc was first started) or Cycorp.

See also

[edit]

References

[edit]
  1. ^abcLenat, Douglas B.; Guha, R. V. (1989).Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project (1st ed.). Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.ISBN 978-0201517521.
  2. ^Lenat, Douglas."Hal's Legacy: 2001's Computer as Dream and Reality. From 2001 to 2001: Common Sense and the Mind of HAL"(PDF).Cycorp, Inc.Archived(PDF) from the original on 2019-12-09. Retrieved2006-09-26.
  3. ^Wood, Lamont (2002). "The World in a Box".Scientific American.286 (1):18–19.Bibcode:2002SciAm.286a..18W.doi:10.1038/scientificamerican0102-18.
  4. ^"A Representation Language Language".www.aaai.org. Retrieved2017-11-27.
  5. ^Russell, Greiner (October 1980).RLL-1: A Representation Language Language (Report).Archived from the original on February 8, 2015.
  6. ^abLenat, Douglas B.; Guha, R. V. (June 1991). "The Evolution of CycL, the Cyc Representation Language".ACM SIGART Bulletin.2 (3):84–87.doi:10.1145/122296.122308.ISSN 0163-5719.S2CID 10306053.
  7. ^"Integrating Cyc and Wikipedia: Folksonomy meets rigorously defined common-sense"(PDF). Retrieved2013-05-10.
  8. ^"cyc Inference engine". Archived fromthe original on 2019-12-09. Retrieved2015-06-04.
  9. ^"The open source Texai project". Archived fromthe original on 2009-02-16.
  10. ^"Texai SourceForge project files".
  11. ^"Standard Upper Ontology Working Group (SUO WG) - Home Page". 2013-01-15. Archived fromthe original on 15 January 2013. Retrieved2024-12-16.
  12. ^https://web.archive.org/web/20080821052740/http://sw.opencyc.org/. Archived fromthe original on 21 August 2008. Retrieved2024-12-16.{{cite web}}:Missing or empty|title= (help)
  13. ^"OpenCyc.org". 2012-06-23. Archived fromthe original on 23 June 2012. Retrieved2024-12-16.
  14. ^https://web.archive.org/web/20170422212642/http://opencyc.org/. Archived fromthe original on 22 April 2017. Retrieved2024-12-16.{{cite web}}:Missing or empty|title= (help)
  15. ^HILTZIK, MICHAEL A. (2001-06-21)."Birth of a Thinking Machine".Los Angeles Times.ISSN 0458-3035. Archived fromthe original on 13 Dec 2019. Retrieved2017-11-29.
  16. ^"Case Study: A Semantic Web Content Repository for Clinical Research".www.w3.org. Retrieved2018-02-28.
  17. ^Lenat, Douglas; Witbrock, Michael; Baxter, David; Blackstone, Eugene; Deaton, Chris; Schneider, Dave; Scott, Jerry; Shepard, Blake (2010-07-28)."Harnessing Cyc to Answer Clinical Researchers' Ad Hoc Queries".AI Magazine.31 (3): 13.doi:10.1609/aimag.v31i3.2299.ISSN 0738-4602.
  18. ^Chris Deaton; Blake Shepard; Charles Klein; Corrinne Mayans; Brett Summers; Antoine Brusseau; Michael Witbrock; Doug Lenat (2005)."The Comprehensive Terrorism Knowledge Base in Cyc".Proceedings of the 2005 International Conference on Intelligence Analysis.CiteSeerX 10.1.1.70.9247.
  19. ^Douglas B. Lenat; Chris Deaton (April 2008).Terrorism Knowledge Base (TKB) Final Technical Report (Technical report). Rome Research Site,Rome, New York:Air Force Research Laboratory Information Directorate. AFRL-RI-RS-TR-2008-125.
  20. ^"Computer to Save World?". 2015-09-05. Archived fromthe original on 5 September 2015. Retrieved2024-12-15.
  21. ^"Cyc in use".Computerworld. April 8, 2002. Retrieved2024-12-15.
  22. ^Shepard, Blake; Matuszek, Cynthia; Fraser, C. Bruce; Wechtenhiser, William; Crabbe, David; Güngördü, Zelal; Jantos, John; Hughes, Todd; Lefkowitz, Larry; Witbrock, Michael; Lenat, Doug; Larson, Erik (2005-07-09)."A knowledge-based approach to network security: applying Cyc in the domain of network risk assessment".Proceedings of the 17th Conference on Innovative Applications of Artificial Intelligence - Volume 3. IAAI'05. Pittsburgh, Pennsylvania: AAAI Press:1563–1568.ISBN 978-1-57735-236-5.
  23. ^Lenat, Douglas B.; Durlach, Paula J. (2014-09-01)."Reinforcing Math Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience".International Journal of Artificial Intelligence in Education.24 (3):216–250.doi:10.1007/s40593-014-0016-x.ISSN 1560-4292.
  24. ^"Mathcraft by Cycorp".www.mathcraft.ai. Retrieved2017-11-29.
  25. ^Bertino, Piero & Zarria 2001, p. 275
  26. ^Havasi, Catherine (Aug 9, 2014)."Who's Doing Common-Sense Reasoning And Why It Matters".TechCrunch. Retrieved2017-11-29.
  27. ^Domingos, Pedro (2015).The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World. Basic Books.ISBN 978-0465065707.
  28. ^Knight, Will (Mar 14, 2016)."An AI that spent 30 years learning some common sense is ready for work".MIT Technology Review. Retrieved2017-11-29.
  29. ^Doug Lenat (May 15, 2017)."Sometimes the Veneer of Intelligence is Not Enough".CogWorld. Retrieved2017-11-29.

Further reading

[edit]

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Cyc&oldid=1263518357"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp