BLOGIA: febrero 2010

http://www.slideshare.net/melieslava/inteligencia-artificial-y-sistemas-expertos-237929

CONSULAS EN PROLOG

Este es el programa completo de las fotocopias que nos proporciono el pofeso Edgar Altamirano, espeo comentarios en
http://twitter.com/jsaxel

progenitor(pamela,roberto).
progenitor(tomas,roberto).
progenitor(tomas,elizabeth).
progenitor(roberto,ana).
progenitor(roberto,patricia).
progenitor(patricia,jaime).
mujer(pamela).
hombre(tomas).
hombre(roberto).
mujer(elizabeth).
mujer(patricia).
mujer(ana).
hombre(jaime).
descendiente(roberto,pamela).
descendiente(roberto,tomas).
descendiente(elizabeth,tomas).
descendiente(ana,roberto).
descendiente(partricia,roberto).
descendiente(jaime,patricia).
padre(X,Y):-progenitor(X,Y),hombre(X).
madre(X,Y):-progenitor(X,Y),mujer(X).
abuelo(X,Z):-progenitor(X,Y),progenitor(Y,Z).
hermana(X,Y):-progenitor(Z,X),progenitor(Z,Y),mujer(X).
hermana(X,Y):-progenitor(Z,X),progenitor(Z,Y),mujer(X),diferente(X,Y).

/*tradusca las siguientes sentencias en prolog*/
/*cualquiera que tiene un hijo es feliz*/
feliz(X):-progenitor(X,Y).

/*para todo X ,si X tiene un hijo que tiene una hermana,entonces X tiene dos hijos*/
tienedoshijos(X):-progenitor(X,Y),hermana(Y,Z).

/*defina la relación "nieto" usando la relación "progenitor".*/
nieto(Z,X):-progenitor(X,Y),progenitor(Y,Z).

/*defina la relacion tia(X,Y) en terminos de relacion "progenitor"
y "hermana"*/

tia(X,Y):-progenitor(Z,Y),hermana(Z,X).

/*++++no sale lo que indica en las fotocopias++++*/
predecesor(X,Z):-progenitor(X,Z).
predecesor(X,Z):-progenitor(X,Y),predecesor(Y,Z).

/*concidere la siguiemte definición altenetiva de predecesor:
si se puede ya que para todo X y Z, X es predecesor de Z si
exise algun Y tal que:
(1) progenitor(Y,Z)
(2)predecesor(X,Y). de modo que la elacion queda de la siguiente
forma: */
predecesor(X,Z):-progenitor(Y,Z),predecesor(X,Y).

/*COMO CONTESTA PROLOG LAS PREGUNTAS*/
/*DEL SIGUIENTE AXIOMAS:
Todos los hombres son mortales
Socraes es homrbe
un Teorema como concecuencia lógica de los dos axiomas
anteriores es:
Socrates es mortal. en prolog que da de la siguiente foma*/
mortal(X):-hombre(X).
hombre(socrates).

EJERCICIOS REALIZADOS EM PROLOG

CONSULTAS EN PROLOG

Del el siguiente árbol familia ingresamos los datos necesarios en el programa prolog y realizamos las siguientes consultas:

DATOS INGRESADOS EN PROLOG:

progenitor(pamela,roberto).

progenitor(tomas,robeto).

progenitor(tomas,elizabeth).

progenitor(roberto,ana).

progenitor(roberto,patricia).

progenitor(patricia,jaime).

mujer(pamela).

hombre(tomas).

hombre(roberto).

mujer(elizabeth).

mujer(patricia).

mujer(ana).

hombre(jaime).

Resultados al ejecutar el programa en prolog:

1 ?- Warning: c:/users/santiago/documents/prolog/familia.pl:10:

Clauses of mujer/1 are not together in the source-file

Warning: c:/users/santiago/documents/prolog/familia.pl:13:

Clauses of hombre/1 are not together in the source-file

% c:/Users/santiago/Documents/Prolog/familia.pl compiled 0.00 sec, 2,148 bytes

1 ?- progenitor(pamela,roberto).

true.

3 ?- progenitor(tomas,roberto).

true .

4 ?- progenitor(roberto,ana).

true .

5 ?- progenitor(roberto,patricia).

true.

6 ?- progenitor(patricia,jaime).

true.

7 ?- progenitor(X,elizabeth).

X = tomas .

9 ?- progenitor(roberto,X).

X = ana .

10 ?- progenitor(X,Y).

X = pamela,

Y = roberto .

PREGUNTAS REALIZADAS A PROLOG

1 ?- progenitor(jaime,X).

false.

2 ?- progenitor(X,jaime).

X = patricia.

3 ?- progenitor(pamela,X),progenitor(X,jaime).

false.

4 ?- progenitor(pamela,X),progenitor(X,patricia).

X = roberto.

5 ?- progenitor(pamela,X),progenitor(X,Y),progenitor(Y,jaime).

X = roberto,

Y = patricia.

FORMULAMOS EN PROLOG LAS SIGUIENTES PREGUNTAS:

¿Cómo se llama el progenitor de patricia?

7 ?- progenitor(X,patricia).

X = roberto .

¿Tiene Elizabeth algún hijo?

8 ?- progenitor(elizabeth,X).

false.

¿Cómo se llama el abuelo(a) de Patricia?

25 ?- progenitor(Y,roberto),progenitor(roberto,patricia),hombre(Y).

Y= tomas,

X=pamela.

BLOGIA

martes, 16 de febrero de 2010

Inteligencia Artificial y Sistemas Expertos

viciten esta pagina esta interesante

MAS SERCA DEL FUTURO

Datos personales

Seguidores

Archivo del blog

CONSULAS EN PROLOG

EJERCICIOS REALIZADOS EM PROLOG

Mi lista de blogs