Cyc (del inglésencyclopedia) es un proyecto deinteligencia artificial que intenta ensamblar unaontología comprensiva y unabase de datos de conocimiento general con el fin de permitir a las aplicaciones de inteligencia artificial realizar razonamientos del tipo humano.

El proyecto fue iniciado en 1984 porDoug Lenat. El nombre Cyc es una marca registrada deCycorp Inc. enAustin, Texas, una compañía de Lenat dedicada al desarrollo de Cyc. El proyecto original essoftware propietario, pero una pequeña versión del proyecto ha sido liberada bajo una licencia decódigo abierto y se conoce comoOpenCyc.

Cyc contiene una multitud de reglas simples (como "el agua causa humedad" y "la humedad pudre la comida"). Unordenador puede concluir a partir del motor de inferencia de Cyc que el agua pudre la comida (al menos en exceso). La base de datos contiene aproximadamente 100.000 conceptos y 1.000.000 de declaraciones que abarcan aserciones definidas por humanos, reglas o ideas del sentido común. Estas están escritas en lenguajeCycL que está basado encálculo de predicados y tiene una sintaxis similar aLisp.

La construcción de Cyc continúa siendoIngeniería del conocimiento, representando hechos sobre el mundo manualmente e implementado mecanismos de inferencia efectivos sobre dicho conocimiento. Sin embargo, el objetivo del trabajo en Cycorp es dar al sistema Cyc la capacidad de comunicarse con los usuarios finales enlenguaje natural para que el sistema pueda continuar por sí solo con el proceso de construcción del conocimiento.

El ingreso de datos en Cyc se lleva a cabo mediante un proceso queLenat llamaenseñanza por cirugía cerebral,^[1]​ el cual es llevado a cabo en el lenguajeCycL. Dicho proceso consiste en descomponer una unidad de información en una serie de características llamadasslots que forman una especie de plantilla para ese tipo de información, para cada slots debe de construirse a su vez otra unidad de información con sus características, de forma que todo el conocimiento quede jerarquizado y categorizado para que Cyc "comprenda" las relaciones que existen entre los conceptos y objetos ingresados.

Los nombres de conceptos son conocidos en Cyc como constantes. Las constantes empiezan con #$ y son sensibles a las mayúsculas. Hay constantes para:

• Ítems individuales, conocidos como individuos, tales como #$LinusTorvalds o #$Colombia.
• Colecciones tales como #$Tree-ThePlant (conteniendo todos los árboles) o #$EquivalenceRelation (conteniendo todas las relaciones de equivalencia). Un miembro de una colección es llamado unainstancia de la colección.
• Funciones de verdad que pueden ser aplicadas a uno o más conceptos y retornan verdadero o falso. Por ejemplo #$siblings (hermanos) es la relación de hermandad y es verdadera si los dos argumentos son hermanos. Las funciones de verdad pueden ser divididas en conectoras lógicas (#$and, #$or, #$not, #$implies), cuantificadores (#$forAll, #$thereExists, etc.) y predicados (como en el ejemplo de la hermandad).
• Funciones, que producen nuevos términos a partir de los términos dados. Por ejemplo #$FruitFn a la cual, cuando se le provee un argumento que describe un tipo o colección de plantas, retorna los frutos de estas plantas. Por convención, las funciones constantes empiezan con mayúsculas y terminan en "Fn".

Véase:CycL,inteligencia artificial,lógica,WordNet,Web semántica

• R.V. Guha;Douglas B. Lenat. «CYC: A Mid-Term Report».AI Magazine, otoño 1990(en inglés)11 (3): 32-59. La referencia utiliza el parámetro obsoleto|coautores= (ayuda)

• Freedman, David H. (1996).«Capítulo 2: Los padres fundadores».Hacedores de cerebros. (url con vista previa restringida). Editorial Andrés Bello. pp. 64-80.ISBN 956-13-1324-3. 

• http://www.cyc.com/
• https://web.archive.org/web/20110226000645/http://opencyc.org/

• Inteligencia artificial
• Bases de conocimiento
• Ontología (informática)
• Arquitectura cognitiva

• Wikipedia:Páginas con referencias con parámetros obsoletos