Programación lógica y funcional

Programación lógica y funcional

1. Lógica de primer orden

   • Enunciados declarativos
   • Lógica proposicional
   • Objetos y relaciones
   • Reglas de razonamiento
     • Sintaxis
     • Semántica
   • Universo del discurso (U)
     • Libro, robot, número; objetos
     • Relaciones
       • Función
       • Predicados
     • Base funcional
     • Variables
       • “para todo”
       • “existe”
   • Sistemas formales
     • Lenguaje
       • Alfabeto
       • Reglas de construcción
     • Teoría de modelo
       • Semántica
     • Teoría de prueba
       • Axiomas
       • Reglas de inferencia
       • Teoremas
   • Semántica
     • Interpretación
     • Semántica átomos
     • Semántica negación
     • Semántica disyunción
     • Semántica cuantificador universal
     • Semántica cuantificador existencial
   • Inferencia
     • Modus Ponens
     • Eliminación de cuantificador universal
     • Introducción de conjunción
     • Consistencia y completitud
   • Substituciones

2. Cláusulas y programas definitivos

   • Cláusulas definitivas
     • Una cláusula se dice definitiva, si tiene exactamente una literal positiva.
       • Literal
       • Cláusula
   • Programa definitivo
     • Un programa definitivo es un conjunto finito de cláusulas definitivas.
     • Meta definitiva
       • Una cláusula sin literales positivas es una meta definitiva.
     • Cláusula de Horn
       • Una cláusula de Horn es una cláusula definitva ó una meta definitiva.
   • Modelo mínimo de Herbrand
     • Modelo)
     • Universo y Base de Herbrand
     • Interpretación de Herbrand
     • Operador de consecuencia inmediata

3. Claúsulas de Horn

   • Secuencia de literales que contiene a lo sumo un literal positivo
   • Notación Kowalski
   • Predicado (p)
     • Hechos
     • Reglas
   • Grafo
     • Reglas
     • Objetivo
       • Objetivos abiertos
       • Objetivos cerrdados
     • Variables

4. Programación lógica

   • Consiste en la aplicacion del conociemiento lógico para el diseño de lenguajes de programación
     • Programación declarativa
     • Programación funcional

5. Programación funcional

   • Programación declarativa, basado en las funciones matemáticas

6. Resolución SLD

   • Selection-rule driven Linear resolution for Definite clauses
   • Función de selección
   • SLD-refutación
   • Ejemplo
   • Teorema
     • Corrección
     • Completitud