Fundamentos de la programación lógica

Fundamentos de la programación lógica

1. Semántica de los programas lógicos

   • Se trata de aquello perteneciente o relativo al significado de las palabras
     • Semantica Logica
       • Se encarga del análisis de los problemas lógicos de significación
         • Caracteristicas:
           • investigar las CONDICIONES DE VERDAD
             • Se ocupa únicamente de los aspectos formales o estructurales de las condiciones de verdad
               • Un enunciado complejo será verdadero o falso en función de la forma
     • Semantica operacional
       • Define un método para poder calcular el efecto de los programas y es la más cercana a la intuición del programador
     • Semantica Declarativa
       • Especifica el significado de los objetos sintácticos por medio de su traducción en elementos y estructuras de un dominio matemático conocido

2. Representación clausada del conocimiento

   • Es un termino comúnmente usado para referirse a representaciones pensadas para el procedimiento por ordenadores modernos, y en particular por objetos explícitos y de afirmaciones sobre ellos
     • FORMAS DE REPRESENTACION
       • Tripletas OAV
         • Permiten derivar una representación grafica del conocimiento organizada en tres nivel
       • Redes semánticas
         • Cada nodo representa cualquier concepto u objeto, y los arcos representan relaciones que existen entre dichos conceptos
       • Frames
         • Un frame es una plantilla de objetos que contiene un conjunto de slots
       • Reglas
         • Cuenta con dos elementos
           • Atributos Y reglas

3. Consulta de una base de cláusulas

   • La forma de cláusula simplifica proposiciones, sin perdida de generalidad. Una clausula tiene la siguiente forma:
     • Donde As y Bs son términos. Una clausula significa: "si todos los As son verdaderos, entonces al menos un B es verdadero“.
       • Caracteristicas
         • Una forma clausal no requiere de cuantificadores existenciales.
         • Cuantificadores universales están implícitos en el uso de variables de proposiciones atómicas
         • No se requiere de otro conector que la conjunción y disyunción
   • BASE DE CLÁUSULAS
     • Un programa en lenguajes lógicos como Prolog se puede describir como una base de datos (un conjunto de relaciones) expresada como cláusulas simples: padre(pedro,juan). (1) padre(juan,diego). (2) padre(pedro,ana). (3)
   • Consultas:
     • La ejecución de un programa consiste en hacer una consulta (query) para determinar si existe una tupla en alguna relación. Por ejemplo:
       • ?- padre(juan,diego). yes

4. Programación lógica con números, listas y árboles

   • Numeros
     • Se utilizan para representar números de forma que se puedan realizar operaciones aritméticas. Dependen del ordenador y la implementación
       • Enteros
         • [-223,223-1]=[-8.388.608,8.388.607
       • Reales
         • Decimales en coma flotante
   • Listas
     • La lista que contiene un solo elemento a es . ( a, [] ) y la lista de tres elementos [a, b, c] podría escribirse . ( a, . ( b, . ( c, [] ) ) ) siempre terminando con la lista vacía.
   • Arboles
     • Es más fácil entender la forma de una estructura complicada si la escribimos como un árbol en el que el nombre es un nodo y los componentes son las ramas.

5. . Control de búsqueda en programas lógicos

   • La evaluación empieza definiendo una meta, luego probando que esta se ajusta a un hecho o se deduce de alguna regla.
     • Implica
       • Hechos y reglas para representar la información, Deducciones para responder consultas
     • Ejemplo:
       • Un programa se estructura de la siguiente forma: Lógica + Control + Estructuras de datos = Programa
         • Donde Logica es construida por, y HECHOS:  Que permiten establecer relaciones entre objetos.

Imágenes y archivos del mapa