in Austin, Texas during the early 1980s.
Over the past eleven years the members of the Cyc team, lead
by
Doug Lenat, have added to the knowledge base a huge
amount of fundamental human knowledge:
facts, rules of
thumb, and
heuristics for reasoning about the objects and
events of modern everyday life.
Cyc is an attempt to do symbolic
AI on a massive scale. It
is not based on numerical methods such as statistical
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
To date, Cyc has made possible ground-breaking pilot
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
(1999-09-07)