Cyc
Keywords: Cyc, 1984, Inteligencia artificial, Lenguaje natural, Lisp, Lógica, Ontología (Informática), Ordenador, Web semántica
Cyc (de la inglés encyclopedia) es un proyecto de inteligencia artificial que intenta ensamblar una ontología comprensiva y una base datos del conocimiento general con el fin de permitir a las aplicaciones de inteligencia artificial realizar razonamientos del tipo humano.
El proyecto fue iniciado en 1984 por Doug Lenat. El nombre Cyc es una marca registrada de Cycorp Inc. en Austin Texas, una compañía de Lenat dedicada al desarrollo de CyC. El proyecto original es software privativo, pero una pequeña versión del proyecto ha sido liberada bajo una licencia de código abierto y se conoce como OpenCyc.
Cyc contiene una multitud de reglas simples (como "agua causa humedad" y "humedad pudre comida"). Un ordenador puede concluir de a partir del motor de inferencia de Cyc que el agua pudre la comida (al menos en exeso). La base de datos contiene un aproximado 100.000 conceptos y 1.000.000 delaraciónes que abarcan aserciones definidas por humanos, reglas o ideas del sentido común. Estas están escritas en en lenguage CycL que está basado en cálculo de predicados y tiene una sintaxis similar a Lisp.
Mucho del trabajo en Cyc continua siendo Ingeniería de Conocimiento, representando hechos sobre el mundo manualmente e implementado mecanismos de inferencia efectivos sobre dicho conocimiento. Incrementalmente, sin embargo, el impulso del trabajo de Cycorp involucra dar al sistema Cyc la capacidad de comunicarse con los usuarios finales en lenguaje natural y asistir en el proceso de construcción del conocimiento.
Descripción de la base de datos, Terminología
Los nombres de conceptos son conocidos en Cyc como constantes. Las constantes empiezan con #$ y son sensibles a las mayúsculas. Hay constantes para:
- Items individuales, conocidos como individuos, tales como #$LinuxToldvards 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 una instancia 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 argumenos 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".
Los predicados más importantes son
Véase: inteligencia artificial, lógica, WordNet, Web semántica