El documento habla sobre sistemas basados en lógica formal. Explica conceptos como inferencia, razonamiento, reglas de inferencia lógica, métodos de razonamiento lógico, definición de predicados, características de los predicados, ejemplos de predicados, axiomas, patrones, y el proceso de unificación.

1. SISTEMAS BASADOS EN LÓGICA FORMAL

7. Ejemplo Pedro X José Y X X = { p edro, jose, X, Y} Relación José es el padre de Pedro Predicado padre( jose, pedro) es V o F depende del dominio del problema Mapeo padre: X x X ->{0,1}

9. Átomo: Es la aplicación de un predicado a una lista de argumentos: Lista de argumentos: constante, variable, predicados, funciones padre ( jose, pedro) ama (jose, perro_de (jose)) Operadores :  ,V , ~, --> Cuántificadores :  ,  Expresión: Una expresión puede ser un atomo o una combinacion de atomos por medio de operadores o cuantificadores

21. Problema#2 1. A Jhon le gusta toda clase de comida 2. Las manzanas son comida 3. El pollo es comida 4. Cualquier cosa que uno coma y no le mate es comida 5. Bill come cacahuates y aún esta vivo 6. Sue come todo lo que come Bill. ¿ A Jhon le gustan los cacahuates ? Usando la resolución, determine si la consulta es Verdadera