El capítulo 1 inicia revisando la lógica de primer orden, desde qué es una expresión bien construida del lenguaje lógico de primer orden sobre un vocabulario, las condiciones de satisfacibilidad respecto de un modelo de primer orden, y la forma de asociar oraciones de un lenguaje natural a un lenguaje...
El presente trabajo tuvo por objetivo proponer una estructura y definir una metodología para la construcción de índices semánticos de tres capas, que sirvan de apoyo al intercambio abierto de recursos de información en una organización (memoria organizacional). Se consideró como caso de estudio una memoria organizacional semántica educativa (MOSE)....