Programación lógica

Description

Mind Map on Programación lógica, created by JOSE FRANCISCO CARDENAS TORRES on 10/06/2022.
JOSE FRANCISCO CARDENAS TORRES
Mind Map by JOSE FRANCISCO CARDENAS TORRES, updated more than 1 year ago
JOSE FRANCISCO CARDENAS TORRES
Created by JOSE FRANCISCO CARDENAS TORRES over 2 years ago
18
0

Resource summary

Programación lógica
  1. Características
    1. Resolución automática
      1. El sistema de programación lógica se encarga de la resolución de las reglas y los hechos.
        1. Es declarativa
          1. Se centra en declarar qué debe hacerse en lugar de cómo hacerlo,
            1. Esta basada en reglas
              1. Se utilizan reglas lógicas para representar el conocimiento y la lógica del dominio. Las reglas se aplican a los hechos conocidos para inferir nuevas conclusiones.
                1. No determinista
                  1. Permite múltiples soluciones para un problema dado.
                              1. Conceptos básicos
                                1. Lógica de primer orden
                                  1. Resolución
                                    1. Reglas y cláusulas
                                      1. Unificación
                                              1. Tipos de problema que resuelve
                                                1. Procesamiento de información
                                                  1. Verificación de sistemas
                                                    1. Toma de deciones basada en
                                                      1. Planificación automatizada
                                                        1. Inteligencia artifical
                                                          1. Problemas complejos
                                                                  1. ¿Qué es?
                                                                        1. Paradigma de programación
                                                                            1. Se basa en
                                                                                                    Show full summary Hide full summary

                                                                                                    Similar

                                                                                                    Programación Lógica
                                                                                                    Angelito Cerino Gonzalez
                                                                                                    Fundamentos de la programación logica
                                                                                                    erika yalitza
                                                                                                    Programación Lógica
                                                                                                    Guccy Condado
                                                                                                    One child policy, China- Population Control Case Study
                                                                                                    a a
                                                                                                    Symbols in Lord of the Flies
                                                                                                    lowri_luxton
                                                                                                    Peace and Conflict Flashcards - Edexcel GCSE Religious Studies Unit 8
                                                                                                    nicolalennon12
                                                                                                    Biology B1.1 - Genes
                                                                                                    raffia.khalid99
                                                                                                    English Basic Grammar
                                                                                                    tvazacconcia
                                                                                                    NSI Test First day
                                                                                                    brahim matrix
                                                                                                    Writing successful GCSE English essays
                                                                                                    Sarah Holmes
                                                                                                    3MA114 Management_test 1/2
                                                                                                    Jakub Beyr