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}
8.
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
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
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