Lógica en primer orden

Lógica en primer orden

1. ¿Qué es?

   • La ingeniería del conocimiento es el proceso de construcción de una base de conocimiento
     • Dentro de un LPO, la formalización proporciona la representación y la implementación
       • Un ingeniero del conocimiento es un profesional que desarrolla la base del conocimiento

2. Proceso de la ingeniería del conocimiento LPO

   • Orientado al dominio y a la tarea (ontología)
     • Identificar la tarea
       • Identificar el rango de cuestiones a la base del conocimiento a soportar
     • Reunir conocimiento relevante
       • Obetener descripción formal de como funciona el dominio y apreciar el alcance de la base del conocimiento
     • Elaborar un vocabulario de nombres, predicados, funciones y constantes
       • Especificar con el vocabulario individuos y relaciones existentes
     • Codificar el conocimiento general del dominoo
       • Elaboración de axiomas del dominio que dan propiedades de los elementos en la ontología
     • Codificar una descripción de una instancia especifica del problema
       • Con una ontología adecuada, se limitará a proporcionar un conjunto de sentencias atómicas sobre instancias de conceptos
     • Plantear preguntas al procedimiento de inferencia y obtener respuestas
       • El procedimiento de inferencia usa a los axiomas y hechos específicos del problema para derivar hechos que nos interesan
     • Depurar la base del conocimiento