Fundamentos de la programación lógica.

Description

Mind Map on Fundamentos de la programación lógica., created by corazonsarahi on 06/04/2014.
corazonsarahi
Mind Map by corazonsarahi, updated more than 1 year ago
corazonsarahi
Created by corazonsarahi almost 9 years ago
234
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

                                                                  Social Psychology, Milgram (1963)
                                                                  Robyn Chamberlain
                                                                  Epithelial tissue
                                                                  Morgan Morgan
                                                                  OCR AS Biology - Enzymes
                                                                  Chris Osmundse
                                                                  GCSE Chemistry C1 - Carbon Chemistry ATOMS, MOLECULES AND COMPOUNDS (Easy)
                                                                  T W
                                                                  One child policy, China- Population Control Case Study
                                                                  a a
                                                                  Key word flashcards
                                                                  I M Wilson
                                                                  GoConqr Quick Guide to Getting Started
                                                                  Andrea Leyden
                                                                  The Cold War: An Overview_2
                                                                  Andrea Leyden
                                                                  NSI Test First day
                                                                  brahim matrix
                                                                  Mitosis
                                                                  Selam H
                                                                  AAHI_Card set 5 (Vital sign terminology)
                                                                  Tafe Teachers SB