Programación Lógica.

Programación Lógica.

1. Repaso de la lógica de primer orden.

   • ÁLGEBRA DECLARATIVA
     • Usa
       • Conectivos Lógicos
   • Apegada A
     • Razonamiento
       • Para Demostrar
         • Proposiciones
           • Dependientes de
             • Parámetro
   • Lógica Proposicional
     • Trabaja con
       • Expresiones u Oraciones
         • Asociadas con
         • Oraciones Son
           • Expresión Lingüística
             • Forma Pensamiento
               • Interrogativos
               • Imperativos
               • Declarativos
           • De Tipo
             • Acción
             • Atribución
             • Relación
     • Investiga
       • Relación de Consecuencia
     • Consiste en
       • Formular Proposiciones
         • Emplean
           • Lenguaje Simbólico
             • Puede Ser
               • Simples
                 • Vinculados Por
                   • Operador Relacional
                     • Debe Ser Una
                       • Magnitud Numérica
                       • Expresión Aritmética
               • Compuestas
                 • Formadas Por
                   • Una o Más Proposiciones Simples Modificadas
                     • Vinculadas Por Conectivos u Operadores Lógicos
         • Usa
           • Tablas de Verdad
             • T si es verdadero
               • Llamada
                 • Tautología.
             • Con F si es falso
               • Llamada
                 • Contradicción.
               • Al Combinarse Es
                 • Contingencia
         • Contiene y Será
           • Capcioso
           • Falacia
           • Lógica de Predicados
             • Es Una Forma
               • Lógica
                 • Representa Detalles
                   • Expresados En Sentencias
             • Basada En Objetos
               • Conocidos Como
                 • Argumentos o Términos
               • Usados Solo Con
                 • Métodos de Argumentación Sólidos.
                   • Denominados
                     • Reglas de Inferencia

2. Unificación y resolución.

   • Debe
     • Evaluar Veracidad
       • Si se componen por
         • Predicados y conectivos lógicos
   • Predicado Componente
     • verdadero si
       • Identifica Con Axioma
         • De La
           • Base De Información
     • Con
       • Variables Por Argumentos
         • Se Denomina
           • Patrones
   • unificación
     • proceso de
       • Computar Sustituciones
         • Determinan
           • Coincidencia De Expresiones Lógicas
   • 3 Métodos Básicos
     • Deducción
       • Es El
         • Razonamiento
           • De Un Principio
             • Conocido A Un Desconocido
     • Abducción
       • Usado Para
         • Generar Explicaciones
     • Inducción
       • Es El
         • Razonamiento
           • De Hechos
             • Particulares o Casos Individuales

3. Cláusulas de Horn, resolución SLD.

   • Los
     • Hechos y Reglas
       • Son
         • Clausulas Definidas
           • Representan
             • Hechos
             • Relaciones
             • Dependencias
             • Reglas
   • Trabaja Con
     • Secuencias De Literales
       • Y No Con
         • Conjuntos
       • Pueden Aparecer
         • Repetidos En El Cuerpo
           • Existe
             • Orden En Literales Del Cuerpo

4. Programación lógica con cláusulas de Horn

   • Se Lee Así
     • A es hija de B si A es mujer y B es padre de A
   • Términos Lógicos
     • Representa Como:
   • Definición De Implicación
   • La Disyunción,
     • Tiene Que
       • Definir Reglas Nuevas
         • A es hija de B si A es mujer y B es madre de A
   • Las Condiciones
     • Deben
       • Cumplirse Simultáneamente
         • Para Que La
           • Conclusión Sea Válida

Bilder und Dateien der Mindmap