Introduccion de los Sistemas Basados en Logica

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