Changing the way you learn

Lógica en primer orden

¿Qué es?
1. La ingeniería del conocimiento es el proceso de construcción de una base de conocimiento
  1. Dentro de un LPO, la formalización proporciona la representación y la implementación
    1. Un ingeniero del conocimiento es un profesional que desarrolla la base del conocimiento
Proceso de la ingeniería del conocimiento LPO
1. Orientado al dominio y a la tarea (ontología)
  1. Identificar la tarea
    1. Identificar el rango de cuestiones a la base del conocimiento a soportar
  2. Reunir conocimiento relevante
    1. Obetener descripción formal de como funciona el dominio y apreciar el alcance de la base del conocimiento
  3. Elaborar un vocabulario de nombres, predicados, funciones y constantes
    1. Especificar con el vocabulario individuos y relaciones existentes
  4. Codificar el conocimiento general del dominoo
    1. Elaboración de axiomas del dominio que dan propiedades de los elementos en la ontología
  5. Codificar una descripción de una instancia especifica del problema
    1. Con una ontología adecuada, se limitará a proporcionar un conjunto de sentencias atómicas sobre instancias de conceptos
  6. Plantear preguntas al procedimiento de inferencia y obtener respuestas
    1. El procedimiento de inferencia usa a los axiomas y hechos específicos del problema para derivar hechos que nos interesan
  7. Depurar la base del conocimiento

Lógica en primer orden

	Created by ALEJANDRA NAVA CHAVEZ over 3 years ago