Investigación sobre cyc y douglas lenat

Universidad de Costa Rica
Facultad de Ingenierías
Escuela de Ciencias de la Computación e Informática CI-2606 Sistemas Expertos

Investigación “Cyc (Douglas Lenat)”

Estudiantes:
Carolina Castañeda Salazar A71520 Henry Tenorio Guzmán A76456

I ciclo de 2012

Tabla de contenidos
1. INTRODUCCIÓN............................................................................................................ 3 1.1. 1.2. 1.3. 2. DEFINICIONES IMPORTANTES ................................................................................................. 3 CREADOR ........................................................................................................................... 3 HISTORIA........................................................................................................................... 4

¿QUÉ ES CYC? ............................................................................................................... 5 2.1. 2.2. 2.3. 2.4. 2.5. 2.6. LA BASE DE CONOCIMIENTO ................................................................................................... 6 EL MOTOR DE INFERENCIA..................................................................................................... 6 LENGUAJE DE REPRESENTACIÓN .............................................................................................. 7 EL SUBSISTEMA DE PROCESAMIENTO DEL LENGUAJE .................................................................... 7 BUS DE INTEGRACIÓN SEMÁNTICA........................................................................................... 8 CONJUNTO DE HERRAMIENTAS DEL DESARROLLADOR .................................................................. 9

3. 4. 5.

PROYECTOS Y APLICACIONES ...................................................................................... 10 APORTE TECNOLÓGICO ............................................................................................... 11 REFERENCIAS.............................................................................................................. 12

2

1. Introducción
1.1. Definiciones importantes
Tecnologías semánticas: permiten agregar un significado a los datos digitales permitiendo recuperar o descifrar su verdadero significado. Un ejemplo de esto es la famosa Web Semántica. Ontología: Parte de la metafísica que trata del ser en general yde sus propiedades trascendentales. Puede nombrarse como el estudio del ser en tanto lo qué es y cómo es. [5] Modus Ponens: Regla de inferencia con la forma Si A, entonces B. A, por lo tanto, B. Modus Tollens: Regla de inferencia con la forma Si A, entonces B. No B, por lo tanto, no A. Cuantificador Universal: Utiliza el símbolo , se antepone a una variable para decir que “para todo” elemento deun cierto conjunto se cumple la proposición dada. Cuantificador Existencial: Utiliza el símbolo , se antepone a una variable para decir que “existe” al menos un elemento del conjunto que cumple la proposición. Skolemización: es el proceso de eliminación de cuantificadores existenciales.

1.2. Creador
Douglas Lenat es el creador del proyecto CYC. Nació en Filadelfia en 1950, creció allí y enWilgminton. Desde temprana edad Douglas Lenat sintió curiosidad por la ciencia. Al cumplir los doce años el padre de Lenat muere y este utiliza la ciencia como una forma de consuelo. A partir de este acontecimiento su familia se mudó con frecuencia por lo que Lenat se tuvo que adaptar varias veces en distintas escuelas. A sus 17 años fue finalista en la Feria Internacional de Ciencia donde describióla forma cerrada del enésimo número primo. [2] Un año después Lenat ingresó a la Universidad de Pennsilvannia justo cuando se encontraba la guerra de Vietnam. Su número de reclutamiento para ser llamado al ejército era lo suficientemente bajo como para estar dentro de los llamados. Por este motivo Lenat aceleró su formación académica empezando sus estudios en física y matemática. Tras cuatro años...