Escolar Documentos
Profissional Documentos
Cultura Documentos
OBJETIVOS:
REQUERIMIENTOS:
PROCEDIMIENTO
Domains
persona= string
Predicates
padre(persona,persona).
Clauses
padre("Pablo", "Juan"). %Pablo es padre de Juan
padre("Pablo", "Marcela").
padre("Juan", "Maria").
padre("Juan", "Maura").
padre("Carlos", "Debora").
padre("Maria", "Luis").
padre("Maria", "Pati").
padre("Debora", "Miguel").
Consultas:
1
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
Respuesta:
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.
Consultas:
2
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
GOAL
Respuesta:
Ahora hay que completar mas predicados, por ejemplo: Maura es sobrino
de Marcela y Marcela es tía 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
3
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
% Familia 1: Familia 2:
% pablo carlos
% / \ |
% juan marcela debora
% / \ |
% maria maura miguel
% / \
% luis pati
Goal familiar(maura,marcela).
Respuesta: YES
Goal familiar(pati,juan).
Respuesta: YES
Goal familiar(debora,Y).
Respuestas: Y=miguel Y=carlos 2 Solutions
4
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
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):- % hermano
familiar(A,B):- % tío
familiar(A,B):- % sobrino
familiar(A,B):-
% Desarrolle todas las posibilidades que puedan existir
¿Por qué?:
GOAL familia("Juan","Marcela")
Respuesta:
¿Por qué?:
GOAL familia("Miguel","Marcela")
Respuesta:
¿Por qué?:
GOAL familia("Pati","Juan")
Respuesta:
¿Por qué?:
GOAL familia("Pati","Marcela")
Respuesta:
¿Por qué?:
5
Universidad Nacional del Altiplano – Puno
Escuela Profesional de Ingeniería de Sistemas
CURSO: INTELIGENCIA ARTIFICIAL
CONCLUSIONES
RECOMENDACIONES
TRABAJO APLICATIVO