Cyc Cyc Caffeine Category="Artificial intelligence"Cyc is an artificial intelligence project that attempts to assemble a comprehensive ontology and Database of everyday common-sense knowledge, with the goal of enabling AI applications to perform human-like reasoning.

The project was started in 1984 by Doug Lenat as part of Microelectronics and Computer Technology Corporation. The name "Cyc" (from "encyclopedia", pronounced like psych) is a registered trademark owned by Cycorp, Inc. in Austin, Texas, a company run by Lenat and devoted to the development of Cyc. The original knowledge base is proprietary, but a smaller version of the knowledge base was released as OpenCyc under an Open source license. More recently, ResearchCyc (an almost complete version of Cyc) has been made available to AI researchers under a research-purposes license.

Typical pieces of knowledge represented in the database are "Every tree is a plant" and "Plants die eventually". When asked whether trees die, the inference engine can draw the obvious conclusion and answer the question correctly. The Knowledge Base (KB) contains over a million human-defined assertions, rules or common sense ideas. These are formulated in the language CycL, which is based on Predicate calculus and has a Syntax similar to that of the Lisp programming language. CycL users pun that they are "cyclists".

Much of the current work on the Cyc project continues to be Knowledge engineering, representing facts about the world by hand, and implementing efficient inference mechanisms on that knowledge. Increasingly, however, work at Cycorp involves giving the Cyc system the ability to communicate with end users in Natural language, and to assist with the knowledge formation process via Machine learning.

Description of the Knowledge Base, terminology

The concept names in Cyc are known as constants. Constants start with "#$" and are case-sensitive. There are constants for:

The most important predicates are #$isa and #$genls. The first one describes that one item is an instance of some collection, the second one that one collection is a subcollection of another one. Facts about concepts are asserted using certain CycL sentences. Predicates are written before their arguments, in parentheses: 


  (#$isa #$BillClinton #$UnitedStatesPresident)
"Bill Clinton belongs to the collection of U.S. presidents" and 

  (#$genls #$Tree-ThePlant #$Plant)
"All trees are plants". 

  (#$capitalCity #$France #$Paris)
"Paris is the capital of France."

Sentences can also contain variables, strings starting with "?". These sentences are called "rules". One important rule asserted about the #$isa predicate reads 


 (#$implies
    (#$and
      (#$isa ?OBJ ?SUBSET)
      (#$genls ?SUBSET ?SUPERSET))
    (#$isa ?OBJ ?SUPERSET))
with the interpretation "if OBJ is an instance of the collection SUBSET and SUBSET is a subcollection of SUPERSET, then OBJ is an instance of the collection SUPERSET". Another typical example is 

  (#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)
which means that for every instance of the collection #$ChordataPhylum (i.e. for every Chordate), there exists a female animal (instance of #$FemaleAnimal) which is its mother (described by the predicate #$biologicalMother).

The knowledge base is divided into microtheories (Mt), collections of concepts and facts typically pertaining to one particular realm of knowledge. Unlike the knowledge base as a whole, each microtheory is required to be free from contradictions. Each microtheory has a name which is a regular constant; microtheory constants contain the string "Mt" by convention. An example is #$MathMt, the microtheory containing mathematical knowledge. The microtheories can inherit from each other and are organized in a hierarchy: one specialization of #$MathMt is #$GeometryGMt, the microtheory about geometry.

OpenCyc

The latest version of OpenCyc, 0.9, was released in February 2005. The knowledge base contains 47,000 concepts and 306,000 facts and can be browsed on the OpenCyc website. The first version of OpenCyc was released in May 2001 and contained only 6,000 concepts and 60,000 facts. The knowledge base is released under the LGPL. The CycL and SubL interpreter (the program that allows you to browse and edit the database as well as to draw inferences) is released free of charge, but only as a binary, without source code. It is available for GNU/Linux and for Windows.

ResearchCyc

Also in February 2005, Cycorp released ResearchCyc 1.0, a gratis (but not free or open source) version of Cyc aimed at the research community. ResearchCyc was in beta stage of development during all of 2004. ResearchCyc is 3 times larger than OpenCyc and includes a large lexicon, English parsing and generation tools, and Java based interfaces for knowledge editing and querying.

Cycorp has publicly stated its intention of releasing all of the terms and taxonomic relationships contained in ResearchCyc as part of OpenCyc. One stated goal is that of providing a completely free and unrestricted semantic vocabulary for use in the Semantic Web. The OpenCyc taxonomy is available in Owl on the OpenCyc web site.

Criticisms of the Cyc Project

The Cyc project has been described as "one of the most controversial endeavours of the artificial intelligence history" (Bertino et al, p. 275), so it has inevitably garnered its share of criticism. These include:

These issues have been debated in various fora since the inception of the project; Doug Lenat and others have published many arguments in its defence.

See also

References

|3=??2 

     }}
}}>??2}}}}}|??Author|}}} }}??2 

   }}
}}??2}}}} |. }} Intelligent Database Systems. |3= 

     }}
}}>}}}}}|??Author|}}} }} 

   }}
}}}}}} |. }} Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project.

External links