Fundamentos de la programación lógica

Semántica de los programas lógicos
1. Se trata de aquello perteneciente o relativo al significado de las palabras
  1. Semantica Logica
    1. Se encarga del análisis de los problemas lógicos de significación
      1. 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
  2. Semantica operacional
    1. Define un método para poder calcular el efecto de los programas y es la más cercana a la intuición del programador
  3. Semantica Declarativa
    1. Especifica el significado de los objetos sintácticos por medio de su traducción en elementos y estructuras de un dominio matemático conocido
Representación clausada del conocimiento
1. 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
  1. FORMAS DE REPRESENTACION
    1. Tripletas OAV
      1. Permiten derivar una representación grafica del conocimiento organizada en tres nivel
    2. Redes semánticas
      1. Cada nodo representa cualquier concepto u objeto, y los arcos representan relaciones que existen entre dichos conceptos
    3. Frames
      1. Un frame es una plantilla de objetos que contiene un conjunto de slots
    4. Reglas
      1. Cuenta con dos elementos
        Atributos Y reglas
Consulta de una base de cláusulas
1. La forma de cláusula simplifica proposiciones, sin perdida de generalidad. Una clausula tiene la siguiente forma:
  1. Donde As y Bs son términos. Una clausula significa: "si todos los As son verdaderos, entonces al menos un B es verdadero“.
    1. Caracteristicas
      1. Una forma clausal no requiere de cuantificadores existenciales.
      2. Cuantificadores universales están implícitos en el uso de variables de proposiciones atómicas
      3. No se requiere de otro conector que la conjunción y disyunción
2. BASE DE CLÁUSULAS
  1. 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)
3. Consultas:
  1. La ejecución de un programa consiste en hacer una consulta (query) para determinar si existe una tupla en alguna relación. Por ejemplo:
    1. ?- padre(juan,diego). yes
Programación lógica con números, listas y árboles
1. Numeros
  1. Se utilizan para representar números de forma que se puedan realizar operaciones aritméticas. Dependen del ordenador y la implementación
    1. Enteros
      1. [-223,223-1]=[-8.388.608,8.388.607
    2. Reales
      1. Decimales en coma flotante
2. Listas
  1. 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.
3. Arboles
  1. 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.
. Control de búsqueda en programas lógicos
1. La evaluación empieza definiendo una meta, luego probando que esta se ajusta a un hecho o se deduce de alguna regla.
  1. Implica
    1. Hechos y reglas para representar la información, Deducciones para responder consultas
  2. Ejemplo:
    1. Un programa se estructura de la siguiente forma: Lógica + Control + Estructuras de datos = Programa
      1. Donde Logica es construida por, y HECHOS: Que permiten establecer relaciones entre objetos.

Next up

Fundamentos de la programación lógica

Description

Resource summary

Media attachments

Similar

	Created by j_ohana_1992 almost 10 years ago