Fundamentos de la programación lógica

j_ohana_1992
Mind Map by , created over 5 years ago

Mind Map on Fundamentos de la programación lógica, created by j_ohana_1992 on 06/04/2014.

544
0
0
Tags No tags specified
j_ohana_1992
Created by j_ohana_1992 over 5 years ago
What are they doing?
Tamara Urzhumova
Flashcards for CPXP exam
Lydia Elliott, Ed.D
1PR101 2.test - Část 12.
Nikola Truong
Specific Topic 7.3 Timber selection
T Andrews
Macbeth Quotes To Learn
Sophie Brokenshire
River Processes and Landforms
1jdjdjd1
Resumo para o exame nacional - Felizmente Há Luar!
miminoma
Ionic Bonding
Evangeline Taylor
Guia rápido: Bem-vindo a GoConqr
miminoma
How the European Union Works
Sarah Egan
Fundamentos de la programación lógica
1 Semántica de los programas lógicos
1.1 Se trata de aquello perteneciente o relativo al significado de las palabras
1.1.1 Semantica Logica
1.1.1.1 Se encarga del análisis de los problemas lógicos de significación
1.1.1.1.1 Caracteristicas:
1.1.1.1.1.1 investigar las CONDICIONES DE VERDAD
1.1.1.1.1.1.1 Se ocupa únicamente de los aspectos formales o estructurales de las condiciones de verdad
1.1.1.1.1.1.1.1 Un enunciado complejo será verdadero o falso en función de la forma
1.1.2 Semantica operacional
1.1.2.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
1.1.3 Semantica Declarativa
1.1.3.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
2 Representación clausada del conocimiento
2.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
2.1.1 FORMAS DE REPRESENTACION
2.1.1.1 Tripletas OAV
2.1.1.1.1 Permiten derivar una representación grafica del conocimiento organizada en tres nivel
2.1.1.2 Redes semánticas
2.1.1.2.1 Cada nodo representa cualquier concepto u objeto, y los arcos representan relaciones que existen entre dichos conceptos
2.1.1.3 Frames
2.1.1.3.1 Un frame es una plantilla de objetos que contiene un conjunto de slots
2.1.1.4 Reglas
2.1.1.4.1 Cuenta con dos elementos
2.1.1.4.1.1 Atributos Y reglas
3 Consulta de una base de cláusulas
3.1 La forma de cláusula simplifica proposiciones, sin perdida de generalidad. Una clausula tiene la siguiente forma:
3.1.1 Donde As y Bs son términos. Una clausula significa: "si todos los As son verdaderos, entonces al menos un B es verdadero“.
3.1.1.1 Caracteristicas
3.1.1.1.1 Una forma clausal no requiere de cuantificadores existenciales.
3.1.1.1.2 Cuantificadores universales están implícitos en el uso de variables de proposiciones atómicas
3.1.1.1.3 No se requiere de otro conector que la conjunción y disyunción
3.2 BASE DE CLÁUSULAS
3.2.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.3 Consultas:
3.3.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:
3.3.1.1 ?- padre(juan,diego). yes
4 Programación lógica con números, listas y árboles
4.1 Numeros
4.1.1 Se utilizan para representar números de forma que se puedan realizar operaciones aritméticas. Dependen del ordenador y la implementación
4.1.1.1 Enteros
4.1.1.1.1 [-223,223-1]=[-8.388.608,8.388.607
4.1.1.2 Reales
4.1.1.2.1 Decimales en coma flotante
4.2 Listas
4.2.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.
4.3 Arboles
4.3.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.
5 . Control de búsqueda en programas lógicos
5.1 La evaluación empieza definiendo una meta, luego probando que esta se ajusta a un hecho o se deduce de alguna regla.
5.1.1 Implica
5.1.1.1 Hechos y reglas para representar la información, Deducciones para responder consultas
5.1.2 Ejemplo:
5.1.2.1 Un programa se estructura de la siguiente forma: Lógica + Control + Estructuras de datos = Programa
5.1.2.1.1 Donde Logica es construida por, y HECHOS:  Que permiten establecer relaciones entre objetos.