Mind map

Programación Lógica.

LUIS MTZ Ingeniería Spanish

Map content

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
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
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
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