Fundamentos de la programación lógica.

Description

Mind Map on Fundamentos de la programación lógica., created by corazonsarahi on 04/06/2014.
corazonsarahi
Mind Map by corazonsarahi, updated more than 1 year ago
corazonsarahi
Created by corazonsarahi almost 10 years ago
290
0

Resource summary

Fundamentos de la programación lógica.
  1. Repaso de la lógica de primer orden.
    1. Es
      1. Argumentos
        1. Sintaxis
          1. Caracteres
          2. Reglas
            1. Axiomas
              1. Semantica
                1. Teoremas
              2. Unificación y resolución.
                1. Es
                  1. Se compone
                    1. Determina
                    2. Cláusulas de Horn y Resolución SLD.
                      1. Es
                        1. Sentencias
                          1. Representan
                          2. Programación lógica con cláusulas de Horn.
                            1. Formulas
                              1. Programa
                              2. Semántica de los programas lógicos.
                                1. Es
                                  1. Especifica
                                    1. Ejemplo
                                    2. Representación clausada del conocimiento.
                                      1. Representa
                                        1. Formas
                                        2. Consulta de una base de cláusulas
                                          1. Formado
                                            1. Hechos y Reglas
                                              1. Clausula
                                              2. Programación lógica con números listas y árboles.
                                                1. Basada en
                                                  1. Estructura
                                                    1. Utilizacion en prolog
                                                    2. Control de búsqueda en programas lógicos
                                                      1. Se define
                                                        1. procesa
                                                          1. Utiliza
                                                          2. Manipulación de términos. (Predicados metalógicos.)
                                                            1. Varidacion
                                                              1. Manipulacion
                                                                1. Clasificacion
                                                                2. Alumna: Emily Arroyo

                                                                  Media attachments

                                                                  Show full summary Hide full summary

                                                                  Similar

                                                                  Tectonic Hazards flashcards
                                                                  katiehumphrey
                                                                  GCSE PHYSICS: Energy Transfer
                                                                  magykman1998
                                                                  PRACTICA EL SPEAKING DEL FIRST
                                                                  Diana GE
                                                                  River Landscapes
                                                                  Chima Power
                                                                  Business Studies - KEY TERMS
                                                                  Dani Whitrick
                                                                  Globalisation Case Studies
                                                                  annie
                                                                  Characters in "An Inspector Calls"
                                                                  Esme Gillen
                                                                  Erosion, Transportation and Deposition quiz - AQA GCSE Geography
                                                                  chlopandactyl
                                                                  Basic Immunology Principles
                                                                  Robyn Hokulani-C
                                                                  GCSE ICT Edexcel Flashcards
                                                                  Sarah Bramley-Dymond
                                                                  Power and Conflict Ozymandias
                                                                  Sophia Hinchliffe