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

                                      Analgesicos
                                      Adriana
                                      Dir. Civil - Pessoa Jurídica
                                      Lucas Ávila
                                      Preposições em inglês
                                      GoConqr suporte .
                                      CICLO CELULAR e MITOSE
                                      João Ramalho
                                      IELTS Academic
                                      jorge.tatemoto
                                      Direito Constitucional - Direitos e Garantias Fundamentais
                                      aline.costaa
                                      Organograma
                                      emm.camelo
                                      Apresentação da aula 1 - Desenvolvimento Humano e Social - Saúde
                                      Emmanuela Pimenta
                                      Contextualização da Aula 1 - Tecnologia na Formação Profissional - SAÚDE
                                      Fabrícia Assunção
                                      Quiz -sólidos geométricos
                                      INES FIGUEIRA