Perfilado de sección

  • Representación del conocimiento con Lógica de Predicados

    Estudiar el punto 5 del apunte;

    - conceptos, definiciones y notación

    - Resolución, refutación, transformación a clausulas, unificación, deducción basada en reglas.