Cyc L

CycL en ciencias informáticas e inteligencia artificial es una lengua de la ontología usada por el proyecto de la inteligencia artificial Cyc de Doug Lenat. Ramanathan V. Guha contribuyó decisivamente al diseño de versiones tempranas de la lengua. Hay una variante cercana de CycL conocido como MELD.

La versión original de CycL era una lengua del marco, pero la versión moderna no es. Mejor dicho, es una lengua declarativa basada en la lógica de primer orden clásica, con extensiones para operadores modales y requisito de pedido más alto.

CycL es usado para representar el conocimiento almacenado en la Base de Conocimiento Cyc, disponible de Cycorp. El código fuente escrito en CycL liberado con el sistema de OpenCyc se autoriza como la fuente abierta, para aumentar su utilidad en el apoyo de la web semántica.

Ideas básicas

CycL tiene algunas ideas básicas:

Constantes

Los nombres del concepto en Cyc se conocen como constantes. Las constantes comienzan con "#$" y son sensibles al caso. Hay constantes para:

Especialización y generalización

Los predicados más importantes son #$isa y #$genls. El primer (#$isa) describe que un artículo es un caso de un poco de colección (es decir: la especialización), la segunda (#$genls) que una colección es una subcolección del otro (es decir: generalización). Los hechos sobre conceptos se afirman usando ciertas oraciones de CycL. Los predicados se escriben antes de sus argumentos, en paréntesis:

Por ejemplo:

: (#$isa #$BillClinton #$UnitedStatesPresident) \;

"Bill Clinton pertenece al grupo de presidentes estadounidenses" y

: (#$genls #$Tree-ThePlant #$Plant) \;

"Todos los árboles son plantas".

: (#$capitalCity #$France #$Paris) \;

"París es la capital de Francia."

Reglas

¿

Las oraciones también pueden contener variables, cuerdas que comienzan con"?". Una regla importante afirmada sobre el #$isa predicado lee

(

#$implies

(#$and

(¿#$isa? ¿OBJ? SUBCONJUNTO)

(¿#$genls? ¿SUBCONJUNTO? SUPERJUEGO))

(¿#$isa? ¿OBJ? SUPERJUEGO))

con la interpretación "si OBJ es un caso del SUBCONJUNTO de colección y SUBCONJUNTO es una subcolección de SUPERSET, entonces OBJ es un caso de la colección SUPERSET".

Otro ejemplo más complicado es el que que expresa una regla sobre un grupo o categoría, más bien que cualquier individuo particular, es:

(#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)

el que significa que para cada caso de la colección #$ChordataPhylum (es decir para cada chordate), allí existe un animal hembra (caso de #$FemaleAnimal) que es su madre (descrito por el predicado #$biologicalMother).

(o en inglés más suelto, si tiene un animal particular que tiene una columna vertebral, entonces habrá una relación de ese animal particular que expresa el concepto de "la Madre biológica de ese animal". La cosa que "rellena el impreso" para la Madre biológica también debe ser capaz de clasificarse como un Animal hembra.)

Microteorías

La base de conocimiento se divide en microteorías (Mt), colecciones de conceptos y hechos que típicamente pertenecen a un reino particular del conocimiento. A diferencia de la base de conocimiento en conjunto, se requiere que cada microteoría sea libre de contradicciones. Cada microteoría tiene un nombre que es una constante regular; las constantes de la microteoría contienen la cuerda "Mt" según la convención. Un ejemplo es #$MathMt, la microteoría que contiene el conocimiento matemático. Las microteorías pueden heredar el uno del otro y se organizan en una jerarquía:

una especialización de #$MathMt es #$GeometryGMt, la microteoría sobre la geometría.

Véase también

Enlaces externos



Buscar