Programación lógica y funcional

Lógica de primer orden
1. Enunciados declarativos
2. Lógica proposicional
3. Objetos y relaciones
4. Reglas de razonamiento
  1. Sintaxis
  2. Semántica
5. Universo del discurso (U)
  1. Libro, robot, número; objetos
  2. Relaciones
    1. Función
    2. Predicados
  3. Base funcional
  4. Variables
    1. “para todo”
    2. “existe”
6. Sistemas formales
  1. Lenguaje
    1. Alfabeto
    2. Reglas de construcción
  2. Teoría de modelo
    1. Semántica
  3. Teoría de prueba
    1. Axiomas
    2. Reglas de inferencia
    3. Teoremas
7. Semántica
  1. Interpretación
  2. Semántica átomos
  3. Semántica negación
  4. Semántica disyunción
  5. Semántica cuantificador universal
  6. Semántica cuantificador existencial
8. Inferencia
  1. Modus Ponens
  2. Eliminación de cuantificador universal
  3. Introducción de conjunción
  4. Consistencia y completitud
9. Substituciones
Cláusulas y programas definitivos
1. Cláusulas definitivas
  1. Una cláusula se dice definitiva, si tiene exactamente una literal positiva.
    1. Literal
    2. Cláusula
2. Programa definitivo
  1. Un programa definitivo es un conjunto finito de cláusulas definitivas.
  2. Meta definitiva
    1. Una cláusula sin literales positivas es una meta definitiva.
  3. Cláusula de Horn
    1. Una cláusula de Horn es una cláusula definitva ó una meta definitiva.
3. Modelo mínimo de Herbrand
  1. Modelo)
  2. Universo y Base de Herbrand
  3. Interpretación de Herbrand
  4. Operador de consecuencia inmediata
Claúsulas de Horn
1. Secuencia de literales que contiene a lo sumo un literal positivo
2. Notación Kowalski
3. Predicado (p)
  1. Hechos
  2. Reglas
4. Grafo
  1. Reglas
  2. Objetivo
    1. Objetivos abiertos
    2. Objetivos cerrdados
  3. Variables
Programación lógica
1. Consiste en la aplicacion del conociemiento lógico para el diseño de lenguajes de programación
  1. Programación declarativa
  2. Programación funcional
Programación funcional
1. Programación declarativa, basado en las funciones matemáticas
Resolución SLD
1. Selection-rule driven Linear resolution for Definite clauses
2. Función de selección
3. SLD-refutación
4. Ejemplo
5. Teorema
  1. Corrección
  2. Completitud

Nächster

Programación lógica y funcional

Beschreibung

Zusammenfassung der Ressource

ähnlicher Inhalt

	Erstellt von KARINA MONSERRAT VALDEZ PRUDENCIO vor etwa 7 Jahre