b'\n_START_ARTICLE_\nCycL\n_START_PARAGRAPH_\nCycL En ciencias de la computaci\xc3\xb3n e inteligencia artificial, CycL es un lenguaje  ontol\xc3\xb3gico usado por el proyecto de inteligencia artificial de Doug Lenat conocido como Cyc. La participaci\xc3\xb3n de Ramanathan V. Guha fue decisiva en el dise\xc3\xb1o de este lenguaje. Hay una variante cerrada de CycL conocida como MELD._NEWLINE_Es un lenguaje est\xc3\xa1 basado en c\xc3\xa1lculo de predicados que tiene una sintaxis similar a Lisp._NEWLINE_CycL se utiliza para representar el conocimiento almacenado en la  Base de datos de conocimiento general conocida como Cyc, disponible en Cycorp Inc.Existe una versi\xc3\xb3n de CycL con licencia de c\xc3\xb3digo abierto conocida como OpenCyc, cuyo fin es servir de apoyo a la web sem\xc3\xa1ntica.\n_START_SECTION_\nEspecializaci\xc3\xb3n y generalizaci\xc3\xb3n\n_START_PARAGRAPH_\nLos predicados m\xc3\xa1s importantes son #$isa y #$genls. El primero (#$isa) describe que un objeto es una instancia de alguna colecci\xc3\xb3n (es decir una especializaci\xc3\xb3n), el segundo (#$genls) que una colecci\xc3\xb3n es una ocurrencia de otra (una generalizaci\xc3\xb3n). Los hechos y datos acerca de los conceptos se afirman usando determinadas sentencias de Cycl. Los predicados se escriben antes de que sus argumentos, entre par\xc3\xa9ntesis: _NEWLINE_Ejemplos: _NEWLINE_  (#$isa #$BillClinton #$UnitedStatesPresident) \\; _NEWLINE_"Bill Clinton pertenece a la colecci\xc3\xb3n de los presidentes de EE.UU." _NEWLINE_  (#$genls #$Tree-ThePlant #$Plant) \\; _NEWLINE_"Todos los \xc3\xa1rboles son plantas". _NEWLINE_  (#$capitalCity #$Spain #$Madrid) \\; _NEWLINE_"Madrid es la capital de Espa\xc3\xb1a."\n_START_SECTION_\nReglas\n_START_PARAGRAPH_\nLas sentencias tambi\xc3\xa9n pueden contener variables, estas son las cadenas de texto que comienzan con "?". Esto influye de forma importante sobre lo que el predicado #$isa interpreta:_NEWLINE_  (#$implies_NEWLINE_    (#$and   _NEWLINE_      (#$isa ?OBJ ?SUBSET)_NEWLINE_      (#$genls ?SUBSET ?SUPERSET))_NEWLINE_    (#$isa ?OBJ ?SUPERSET))_NEWLINE_Esto se interpreta como "si OBJ es una instancia de la colecci\xc3\xb3n SUBSET y SUBSET es una subcolecci\xc3\xb3n de SUPERSET, entonces OBJ es una instancia de la colecci\xc3\xb3n SUPERSET". _NEWLINE_Otro ejemplo m\xc3\xa1s complicado ser\xc3\xada el que expresa una regla sobre un grupo o categor\xc3\xada en lugar de un individuo en particular, es:_NEWLINE_  (#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)_NEWLINE_Lo que significa que por cada ocurrencia de la colecci\xc3\xb3n #$ChordataPhylum (es decir, para todos los cordados), existe una hembra (es decir #$FemaleAnimal) que es la madre de dicha ocurrencia (descrita por el predicado #$biologicalMother).\n_START_SECTION_\nMicroteor\xc3\xadas\n_START_PARAGRAPH_\nLa base de conocimiento est\xc3\xa1 dividida en microteor\xc3\xadas (Mt), colecciones de conceptos y hechos generalmente pertenecientes a un \xc3\xa1mbito particular de conocimiento. A diferencia de la base de conocimientos como un todo, es necesario que cada microteor\xc3\xada est\xc3\xa9 libre de contradicciones. Cada microteor\xc3\xada tiene un nombre que es una constante regular; Las constantes de microteor\xc3\xada contienen la cadena "MT" por convenci\xc3\xb3n. Un ejemplo es #$MathMt, es decir la microteor\xc3\xada de conocimientos matem\xc3\xa1ticos. Las microteor\xc3\xadas se organizan de manera jer\xc3\xa1rquica, heredando sus propiedades de un nivel al inferior: _NEWLINE_Una ocurrencia de $#MathMt es #$GeometryGMt, es decir la microteor\xc3\xada acerca de la geometr\xc3\xada._NEWLINE_V\xc3\xa9ase: Inteligencia artificial, L\xc3\xb3gica, WordNet, Web sem\xc3\xa1ntica, Cyc, Representaci\xc3\xb3n del conocimiento'