UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING.

MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS

MANEJO DE PREDICADOS OBJETIVOS: Comprender el manejo de los Predicados.

PROCEDIMIENTO Bsquedas: Entendiendo las Variables y Predicados. La prctica le permitir proponer un sistema experto que deduzca toda una estructura familiar partiendo de solo definir quien es padre de quien, esto se ir definiendo paso a paso. Primero se ha de construir la base de conocimientos con las siguientes definiciones:
Domains persona= string Predicates padre(persona,persona). Clauses padre("Pablo", "Juan"). padre("Pablo", "Marcela"). padre("Juan", "Maria"). padre("Juan", "Maura"). padre("Carlos", "Debora"). padre("Maria", "Luis"). padre("Maria", "Pati"). padre("Debora", "Miguel").

%Pablo es padre de Juan

Nota: Se esta definiendo el predicado padre, que representa al padre de familia, no se esta considerando el gnero (masculino o femenino). Consultas: Quien es el padre de Juan?:
GOAL padre(Quien, "Juan")

Respuesta: No Pablo de quien es padre:

GOAL

Respuesta: Juan y marcela

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS

PARTE 2: Implementando ms predicados: Es necesario en base al conocimiento propuesto se debe conocer quien es hijo de quien, quien es el abuelo y los posibles hermanos, en base a los datos anteriores, esto involucrara definir estos predicados:
Predicates hijo(persona,persona). abuelo(persona,persona). hermano(persona,persona). Clauses hijo(A,B):-padre(B,A). % A es hijo de B si B es padre de A abuelo(A,B):-padre(A,C),padre(C,B). % A es abuelo de B si A es padre de C y C es padre B hermano(A,B):-padre(C,A),padre(C,B), A<>B. % A y B son hermanos Si el C es el padre de A y C es el padre de B y A y B tienen que ser diferentes.

Ntese la Inclusin de <>, que representa diferente. Consultas: Quien es el hijo de Pablo:
GOAL

Respuesta: Juan y Marcela Quien es el hijo de Maria:

GOAL

Respuesta: Luis y paty Marcela de quien es hijo:

GOAL

Respuesta:pablo Quien es el abuelo de Maria:

GOAL pablo

Respuesta: Quien es el abuelo de Pati:

GOAL

Respuesta:Juan Juan de quien es abuelo:

GOAL

Respuesta:luis pati

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS

Mostrar todos los abuelos:

GOAL

Respuesta: X=Pablo, Y=Maria X=Pablo, Y=Maura X=Juan, Y=Luis X=Juan, Y=Pati X=Carlos, Y=Miguel

Quien es el hermano de Pati:

GOAL

Respuesta: luis

Mostrar todos los hermanos:

GOAL

Respuesta: X=Juan, Y=Marcela X=Marcela, Y=Juan X=Maria, Y=Maura X=Maura, Y=Maria X=Luis, Y=Pati X=Pati, Y=Luis

PARTE 3: Desarrollando sus propios predicados: Ahora hay que completar mas predicados, por ejemplo: Maura es sobrino de Marcela y Marcela es ta de Maura por lo que es necesario desarrollar por lo que complete nuevos predicados
Predicates tio(persona,persona). sobrino(persona,persona). Clauses tio(A,B):-hermano(A,C),padre(C,B). % A es tio de B si A es hermano de C y C es padre de B sobrino(A,B):-padre(C,A),hermano(C,B). % A es sobrino de B si C es padre de A y C es hermano de B

Quien es el to de Maria:
GOAL

Respuesta: Marcela Maura de quien es tio:

GOAL

Respuesta:luis y pati

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS

Mostrar todos los tios:

GOAL

Respuesta: X=Marcela, Y=Maria X=Marcela, Y=Maura X=Maura, Y=Luis X=Maura, Y=Pati

Quien es el sobrino de Marcela:

GOAL

Respuesta: Maria y maura Pati de quien es sobrino:

GOAL %sobrino("Pati",X).

Respuesta: Maura Mostrar todos los sobrinos:

GOAL sobrino(X,Y).

Respuesta: X=Marcela, Y=Maria X=Marcela, Y=Maura X=Maura, Y=Luis X=Maura, Y=Pati PARTE 4: Desarrollando sus propios predicados y encontrando relaciones: Hasta ahora se supone se ha identificado ya ciertos rasgos familiares por lo que se presenta la siguiente propuesta de rbol familiar tomando en cuenta que el lazo de unin es: padre:
% Familia 1: % pablo % / \ % juan marcela % / \ % maria maura % / \ % luis pati Familia 2: carlos | debora | miguel

Ahora se ve necesario identificar quien es familia de quien ya que pati no es familiar de Carlos por ejemplo, para esto se tendr que proponer el predicado familiar( , ) de manera que la respuesta a dar tendr que ser afirmativa en los casos necesarios por ejemplo:
Goal familiar(maura,marcela). Respuesta: YES Goal familiar(pati,juan).

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS Respuesta: YES Goal familiar(debora,Y). Respuestas: Y=miguel Y=carlos 2 Solutions

Implementar los respectivos predicados, sugerencia los primeros, en los que se utilizan todos los predicados anteriores, utilice todos:

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS

Predicates familiar(persona,persona). Clauses familiar(A,B):- padre(A,B). % A y B son familiares si A es padre de B familiarde(A,B):- hijode(A,B). % A y B son familiares si A es hijo de B familiar(A,B):familiar(A,B):familiar(A,B):familiar(A,B):-

% hermano % to % sobrino

% Desarrolle todas las posibilidades que puedan existir

Despus de completados los predicados, realice las siguientes consultas:

GOAL familiar("Marcela", "Maria")

Respuesta: yes Por qu?:

GOAL familiar("Juan","Marcela")

Respuesta: Yes Por qu?:

GOAL familiar("Miguel","Marcela").

Respuesta: NO Por qu?:

GOAL familiar("Pati","Juan").

Respuesta: Por qu?:

GOAL familiar("Carlos","Miguel").

Respuesta: Por qu?:

Goal familiar("Debora",Y).

Respuesta: Por qu?:

Lab. Sistemas Expertos

Docente:Elvira Fernndez J

UNIVERSIDAD NACIONAL DE SAN CRISTOBAL DE HUAMANGA FACULTAD DE ING. MINAS, GELOGIA Y CIVIL ESCUELA DE FORMACIN PROFESIONAL DE INGENIERA DE SISTEMAS GOAL familiar("Pati","Marcela")

Respuesta: Por qu?:

Conclusin: Faltan Algunas Relaciones. Por qu?:

TRABAJO APLICATIVO 1. Realice un rbol genealgico de su familia, que tenga desde hijo hasta tatarabuelo. 2. Del rbol genealgico de su familia realice los siguientes predicados: hijo, padre, hermano. Y en base a estos predicados realiza los siguientes predicados: casado_con, cuado, abuelo, nieto, to, sobrino, primo, bisabuelo, bisnieto, tatarabuelo, tataranieto, etc. 3. Haga una copia del ejercicio anterior y agregue los predicados varn y mujer. Desarrolle los mismos predicados del ejercicio anterior, pero considere el gnero masculino y femenino en cada uno de ellos. Ejemplo, hijo, hija, madre, padre, hermano, hermana, casado_con, cuado, cuada, abuelo, abuela, nieto, nieta, tio, ta, sobrino, sobrina, primo, prima, bisabuelo, bisabuelo, bisnieto, bisnieta, tatarabuelo, tatarabuela, tataranieto, tataranieta.

Para cada pregunta, realice las preguntas respectivas por cada caso.

Lab. Sistemas Expertos

Docente:Elvira Fernndez J