Fundamentos de la programación lógica

Description

Mind Map on Fundamentos de la programación lógica, created by j_ohana_1992 on 04/06/2014.
j_ohana_1992
Mind Map by j_ohana_1992, updated more than 1 year ago
j_ohana_1992
Created by j_ohana_1992 about 11 years ago
588
0
1 2 3 4 5 (0)

Resource summary

Fundamentos de la programación lógica
  1. 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:
            1. investigar las CONDICIONES DE VERDAD
              1. Se ocupa únicamente de los aspectos formales o estructurales de las condiciones de verdad
                1. 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
          2. 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
        3. 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
                  2. Frames
                    1. Un frame es una plantilla de objetos que contiene un conjunto de slots
                    2. Reglas
                      1. Cuenta con dos elementos
                        1. Atributos Y reglas
                3. 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.
                          1. Cuantificadores universales están implícitos en el uso de variables de proposiciones atómicas
                            1. 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)
                          2. 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
                          3. 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.
                                  2. 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.
                                  3. . 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.
                                      Show full summary Hide full summary

                                      0 comments

                                      There are no comments, be the first and leave one below:

                                      Similar

                                      Macbeth quotes
                                      Daniel Cormack
                                      GCSE Biology Unit 1 AQA
                                      Archie Clay
                                      C2.1 Structure and Bonding
                                      elzzie
                                      Chemistry (C1)
                                      Phobae-Cat Doobi
                                      mcolby MITOSIS TEST
                                      Melinda Colby
                                      GCSE Biology B1 (OCR)
                                      Usman Rauf
                                      GCSE REVISION TIMETABLE
                                      neharaniga
                                      ALL module 5 vocab
                                      Pamela Dentler
                                      IGCSE Biology Edexcel - Section 4 Respiration
                                      Jasmine Box
                                      Types of Learning Environment
                                      Brandon Tuyuc