Fundamentos de la programación lógica

Descrição

Mapa Mental sobre Fundamentos de la programación lógica, criado por j_ohana_1992 em 04-06-2014.
j_ohana_1992
Mapa Mental por j_ohana_1992, atualizado more than 1 year ago
j_ohana_1992
Criado por j_ohana_1992 mais de 10 anos atrás
584
0

Resumo de Recurso

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.

                                      Semelhante

                                      Matemática Básica
                                      Alessandra S.
                                      Principais Temas para estudar Geografia
                                      Marina Faria
                                      Phrasal Verbs - Inglês #11
                                      Eduardo .
                                      Roteiro de Estudo - Matemática
                                      Luiz Fernando
                                      Pré-História
                                      Valdemir Júnior
                                      Ecologia I
                                      kyungsos
                                      Sistema Endócrino
                                      Gabriel Paes
                                      21 erros de comunicação que atrapalham sua carreira
                                      Liliane Tubino
                                      4 Passos para Aplicar o Método da ABP
                                      GoConqr suporte .
                                      Plano de Aula em 5 minutos
                                      GoConqr suporte .
                                      Hobbes, Locke e Rousseau
                                      Ricardo l.