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 propietario, 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 "el agua causa humedad" y "la humedad pudre la comida"). Un ordenador 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 lenguaje CycL que está basado en cálculo de predicados y tiene una sintaxis similar a Lisp.
La construcción de Cyc continúa siendo Ingenierí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 en lenguaje 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 que Lenat llama enseñanza por cirugía cerebral,[1] el cual es llevado a cabo en el lenguaje CycL. Dicho proceso consiste en descomponer una unidad de información en una serie de características llamadas slots 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:
Items 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 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".
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. ISBN956-13-1324-3.
Referencias
Freedman, David H. (1996). «Capítulo 2: Los padres fundadores». Hacedores de cerebros. (url con vista previa restringida). Editorial Andrés Bello. p. 69. ISBN956-13-1324-3.
inglés, encyclopedia, proyecto, inteligencia, artificial, intenta, ensamblar, ontología, comprensiva, base, datos, conocimiento, general, permitir, aplicaciones, inteligencia, artificial, realizar, razonamientos, tipo, humano, proyecto, iniciado, 1984, doug, l. Cyc del ingles encyclopedia es un proyecto de inteligencia artificial que intenta ensamblar una ontologia comprensiva y una base 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 por Doug Lenat El nombre Cyc es una marca registrada de Cycorp Inc en Austin Texas una compania de Lenat dedicada al desarrollo de Cyc El proyecto original es software propietario pero una pequena version del proyecto ha sido liberada bajo una licencia de codigo abierto y se conoce como OpenCyc Cyc contiene una multitud de reglas simples como el agua causa humedad y la humedad pudre la comida Un ordenador 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 comun Estas estan escritas en lenguaje CycL que esta basado en calculo de predicados y tiene una sintaxis similar a Lisp La construccion de Cyc continua siendo Ingenieria 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 en lenguaje natural para que el sistema pueda continuar por si solo con el proceso de construccion del conocimiento Indice 1 Descripcion de la base de datos y terminologia 2 Bibliografia 3 Referencias 4 Enlaces externosDescripcion de la base de datos y terminologia EditarArticulo principal CycL El ingreso de datos en Cyc se lleva a cabo mediante un proceso que Lenat llama ensenanza por cirugia cerebral 1 el cual es llevado a cabo en el lenguaje CycL Dicho proceso consiste en descomponer una unidad de informacion en una serie de caracteristicas llamadas slots que forman una especie de plantilla para ese tipo de informacion para cada slots debe de construirse a su vez otra unidad de informacion con sus caracteristicas 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 mayusculas Hay constantes para Items individuales conocidos como individuos tales como LinusTorvalds o Colombia Colecciones tales como Tree ThePlant conteniendo todos los arboles o EquivalenceRelation conteniendo todas las relaciones de equivalencia Un miembro de una coleccion es llamado una instancia de la coleccion Funciones de verdad que pueden ser aplicadas a uno o mas conceptos y retornan verdadero o falso Por ejemplo siblings hermanos es la relacion de hermandad y es verdadera si los dos argumenos son hermanos Las funciones de verdad pueden ser divididas en conectoras logicas and or not implies cuantificadores forAll thereExists etc y predicados como en el ejemplo de la hermandad Funciones que producen nuevos terminos a partir de los terminos dados Por ejemplo FruitFn a la cual cuando se le provee un argumento que describe un tipo o coleccion de plantas retorna los frutos de estas plantas Por convencion las funciones constantes empiezan con mayusculas y terminan en Fn Vease CycL inteligencia artificial logica WordNet Web semanticaBibliografia EditarR V Guha Douglas B Lenat CYC A Mid Term Report AI Magazine otono 1990 en ingles 11 3 32 59 La referencia utiliza el parametro obsoleto coautores ayuda Freedman David H 1996 Capitulo 2 Los padres fundadores Hacedores de cerebros url con vista previa restringida Editorial Andres Bello pp 64 80 ISBN 956 13 1324 3 Referencias Editar Freedman David H 1996 Capitulo 2 Los padres fundadores Hacedores de cerebros url con vista previa restringida Editorial Andres Bello p 69 ISBN 956 13 1324 3 Enlaces externos Editarhttp www cyc com https web archive org web 20110226000645 http opencyc org Datos Q1147294Obtenido de https es wikipedia org w index php title Cyc amp oldid 125573920, wikipedia, wiki, leyendo, leer, libro, biblioteca,
