Sistemas Expertos.clips
-
Upload
josue-andres -
Category
Documents
-
view
224 -
download
0
Transcript of Sistemas Expertos.clips
-
8/2/2019 Sistemas Expertos.clips
1/5
INFORME
ARBOL GENEALOGICO:
CODIGO DEL PROGRAMA arbolg.pl:
%================================================
% ESPECIFICACION DE HECHOS
%================================================
proge(rosa, roberto).
proge(rosa, juana).
proge(jose, roberto).
proge(jose, juana).
proge(pedro, irma).
proge(carmen, irma).
proge(pedro, yanina).
proge(carmen, yanina).proge(roberto, ana).
proge(roberto, luis).
proge(irma, luis).
proge(ana, jaime).
proge(juana, gonzalo).
proge(maria,carmen).
proge(maria,gina).
ROSA JOSE PEDRO CARMEN GINA
MARIA
ROBERTO JUANA
ANA LUIS
JAIME
IRMAYANINA
GONZALO
JULIA
SILVIALINDA
ANGEL
-
8/2/2019 Sistemas Expertos.clips
2/5
proge(gina,julia).
proge(julia,silvia).
proge(irma,linda).
proge(angel,linda).
varon(jose).
varon(pedro).
varon(roberto).
varon(luis).
varon(gonzalo).
varon(jaime).
varon(angel).
mujer(rosa).
mujer(yanina).
mujer(carmen).
mujer(juana).mujer(irma).
mujer(ana).
mujer(maria).
mujer(gina).
mujer(silvia).
mujer(julia).
mujer(linda).
%================================================
% ESPECIFICACION DE REGLAS
%================================================
padre(X,Y) :- proge(X,Y),varon(X).
madre(X,Y) :- proge(X,Y),mujer(X).
hijo(X,Y) :- proge(Y,X),varon(X).
hija(X,Y) :- proge(Y,X),mujer(X).
abuelo(X,Y) :- padre(X,Z),proge(Z,Y).
abuela(X,Y) :- madre(X,Z),proge(Z,Y).
bisabuela(X,Y) :-madre(X,Z),abuelo(Z,Y).bisabuela(X,Y) :-madre(X,Z),abuela(Z,Y).
bisabuelo(X,Y) :-padre(X,Z),abuelo(Z,Y).
bisabuelo(X,Y) :-padre(X,Z),abuela(Z,Y).
nieto(X,Y) :- proge(Y,Z),proge(Z,X),varon(X).
nieto(X,Y) :- abuelo(Y,X),varon(X).
nieto(X,Y) :- abuela(Y,X),varon(X).
-
8/2/2019 Sistemas Expertos.clips
3/5
nieta(X,Y) :- abuelo(Y,X),mujer(X).
nieta(X,Y) :- abuela(Y,X),mujer(X).
bisnieto(X,Y) :- bisabuelo(Y,X),varon(X).
bisnieto(X,Y) :- bisabuela(Y,X),varon(X).
bisnieta(X,Y) :- bisabuelo(Y,X),mujer(X).
bisnieta(X,Y) :- bisabuela(Y,X),mujer(X).
mismo(X,X).
diferente(X,Y) :- not(mismo(X,Y)).
hermanos(X,Y) :- proge(Z,X),proge(Z,Y),diferente(X,Y).
tio(X,Y) :- hermanos(X,Z),antepasado(Z,Y),varon(X).
tio(X,Y) :- primohermano(X,Z),antepasado(Z,Y),varon(X).
tia(X,Y) :- hermanos(X,Z),antepasado(Z,Y),mujer(X).tia(X,Y) :- primahermana(X,Z),antepasado(Z,Y),mujer(X).
tioabuelo(X,Y) :-hermanos(X,Z),abuelo(Z,Y),varon(X).
tiaabuela(X,Y) :-hermanos(X,Z),abuela(Z,Y),mujer(X).
sobrino(X,Y) :- tio(Y,X),varon(X).
sobrino(X,Y) :- tia(Y,X),varon(X).
sobrina(X,Y) :- tio(Y,X),mujer(X).
sobrina(X,Y) :- tia(Y,X),mujer(X).
primohermano(X,Y) :- padre(Z,X),tio(Z,Y),varon(X).primohermano(X,Y) :- madre(Z,X),tia(Z,Y),varon(X).
primahermana(X,Y) :- padre(Z,X),tio(Z,Y),mujer(X).
primahermana(X,Y) :- madre(Z,X),tia(Z,Y),mujer(X).
primo(X,Y) :-abuelo(Z,X),tioabuelo(Z,Y),varon(X).
primo(X,Y) :-abuela(Z,X),tiaabuela(Z,Y),varon(X).
prima(X,Y) :-abuela(Z,X),tiaabuela(Z,Y),mujer(X).
prima(X,Y) :-abuelo(Z,X),tioabuelo(Z,Y),mujer(X).
cuado(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),varon(X).
cuado(Y,X) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),varon(Y).
cuada(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),mujer(X).
cuada(Y,X) :- proge(Y,Z),proge(W,Z),diferente(Y,W),hermanos(X,W),mujer(Y).
suegro(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(X,W),varon(X).
suegra(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(X,W),mujer(X).
yerno(X,Y) :- suegro(Y,X),varon(X).
yerno(X,Y) :- suegra(Y,X),varon(X).
-
8/2/2019 Sistemas Expertos.clips
4/5
nuera(X,Y) :- suegro(Y,X),mujer(X).
nuera(X,Y) :- suegra(Y,X),mujer(X).
hijastro(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(W,X),not(proge(Y,X)),varon(X).
hijastra(X,Y) :- proge(Y,Z),proge(W,Z),diferente(Y,W),proge(W,X),not(proge(Y,X)),mujer(X).
hermanastro(X,Y) :- proge(Z,Y),hijastro(X,Z),varon(X).
hermanastra(X,Y) :- proge(Z,Y),hijastro(X,Z),mujer(X).
mediohermana(X,Y) :- proge(Z,Y),proge(Z,X),not(hermanos(X,Y)),mujer(X).
mediohermano(X,Y) :- proge(Z,Y),proge(Z,X),not(hermanos(X,Y)),varon(X).
%RECURSIVIDAD { antepasado(x,y) = x es antepasado de y}
antepasado(X,Y) :- proge(X,Y).
antepasado(X,Y) :- proge(X,Z),antepasado(Z,Y).
PRUEBAS DEL PROGRAMA:
-
8/2/2019 Sistemas Expertos.clips
5/5