as statistical

probabilities, nor is it based on neural networks or fuzzy logic. All of the knowledge in Cyc is represented declaratively in the form of logical assertions. Cyc presently contains approximately 400,000 significant assertions, which include simple statements of fact, rules about what conclusions to draw if certain statements of fact are satisfied, and rules about how to reason with certain types of facts and rules. The inference engine derives new conclusions using deductive reasoning.

To date, Cyc has made possible ground-breaking pilot applications in the areas of heterogeneous database browsing and integration, captioned image retrieval, and natural language processing.

In January of 1995, a new independent company named Cycorp was created to continue the Cyc project. Cycorp is still in Austin, Texas. The president of Cycorp is Doug Lenat.

The development of Cyc has been supported by several organisations, including Apple, Bellcore, DEC, DoD, Interval, Kodak, and Microsoft.

Unofficial FAQ.

Last updated: 1999-09-07

Nearby terms:

first class. Subscribers can also use the as statisticald image retrieval}, and {natural

Try this search on Wikipedia, OneLook, Google