Cyc

Cyc / saɪk / ( from the English encyclopedia ) is a maschinenauswertbare knowledge base of everyday knowledge. They will be further developed since 1984 to allow applications of artificial intelligence to the logical reasoning about situations of " common sense ". This content may be formulated as logical statements in the ontology language CycL, which is based on predicate logic. In addition, Cyc contains an inference engine for reasoning about the stored context and plausibility checks.

Cyc consists of a set of simple rules ( for example, that water is wet). For example, a program using the Cyc ontology from the testimony that Peter swims in the sea and the sea consists largely of water, conclude that the person is wet.

In Cyc trying as a first step to describe all the objects in this world through unique objects. In the next step, the relationships between these objects are specified exactly, for example " a car has four wheels ". However, the content of Cyc are tailored only to the English language and the American culture.

Since 1995 Cyc of Cycorp, Inc. issued. OpenCyc is the open source version of Cyc. Content is available under the Apache License, however, the inference function unit is not 100 % open source. For scientific purposes, a variant called ResearchCyc is issued.