EJERCICIOS RESUELTOS

LSC DE

MARIA

ES

DE_LA

ESTUDIA NTE

SON

QUE

JOVENES SON

CLASE IA

QUE

TRABAJA N

SON

SON

ES

CASADOS

SOLTERO S

JORGE ES

RED SEMANTICA DEL EJERCICIO 2

ES SON

PERSONA INDEPENDIENTE

INCOMPATIB LES

ES_UNA

ES

LE_GUSTA DANIEL

NATALIA

ES

EJERCICIO 1

LOGICA DE PREDICADO 1. Rufian(Bertoldo) V Rufian(Bartolo)

2. 3. 4. 5.

Noble(Romeo) V Noble(Bertoldo) Plebeyo(Bartolo) Dama(Gertrudis) V Dama(Julieta) Hermosa(Julieta) 6. ∇ x[Plebeyo(x)  Desea_a_cualquier(x,y)] V ∇ x[Noble(x)  Hermosa(x)] 7. ∇ x[Rufian(x)  Desea_a_cualquier(x,y)]

CLAUSULAS 1. 2. 3. 4. 5.

Rufian(x) = x es un rufian Noble(x) = x es un noble Plebeyo(x) = x es un plebeyo Dama(x) = x es una dama Hermosa(x) = x es hermosa 6. Desea_a_cualquier(x,y) = x desea a cualquier y

PREGUNTAS 1. 2. 3. 4. 5. 6. 7.

¿QUE NOBLE ES RUFIAN? ¿QUIEN ES SUSCEPTIBLE DE SER RAPTADA POR ROMEO? ¿QUIEN PUEDE RAPATAR A JULIETA? ¿QUIEN RAPTA A QUIEN? ¿A QUIEN DESEA BARTOLO? ¿A QUIEN DESEA ROMEO? ¿CUAL HERMOSA DAMA ES DESEADA POR BARTOLO?

EJERCICIO 1 DATABASE - tmp is_a(STRING,STRING) is_per(STRING,STRING) is_other(STRING,STRING) is(STRING,STRING) is_she(STRING,STRING) deseen(STRING,STRING) CLAUSES is_a("Bertoldo","Rufian"). is_a("Bartolo","Rufian"). is_per("Romeo","Nobles"). is_per("Bertoldo","Nobles"). is_other("Bartolo","Plebeyo"). is("Gertrudis","Damas"). is("Julieta","Damas"). is_she("Julieta","Hermosa"). deseen("Plebeyo","Damas"). deseen("Nobles","Hermosa").

/*5.-*//*desea_bart(STRING desea_bart)*/ /*6.-*//*desea_romeo(STRING desea_romeo)*/ /*7.-*//*herm_desea_bart(STRING herm_desea_bart)*/ CLAUSES /*1.- */ /*rufian_noble(A):-is_a(A,B), is_per(A,C).*/ /*2.-*/ /*rap_romeo():is_a(A,B),is_per()*/ /*3.-*/ /*rap_ruf(A):is_a(A,B),is_per(A,C),deseen(C,D).*/ /*4.-*/ /*quien_rap(A,H,C,I):is_a(A,B),is_a(C,B),is_per(A,D),is_other( C,E),deseen(D,F),deseen(E,G),is_she(H,F ),is(I,G).*/ /*5.-*/ /*desea_bart(C):is_other(A,B),deseen(B,C).*/ /*6.-*/ /*desea_romeo(D):is_per(A,B),deseen(B,C),is_she(D,C).*/ /*7*/ /*herm_desea_bart(D):is_other(A,B),deseen(B,C),is(D,C),is_she (D,E).*/

PREDICATES /*1.-*//*rufian_noble(STRING rufian_noble)*/ /*2.-*//*rap_romeo(STRING GOAL rap_romeo)*/ /*1.-*//*rufian_noble(Z), /*3.-*//*rap_ruf(STRING rap_ruf)*/ format(Msg,"rufian_noble: (%)",Z).*/ /*4.-*//*quien_rap(STRING quie_rap, /*2.-*//*NO TIENE SOLUCION*/ STRING quien_rap, STRING quien_rap, /*3.-*//*rap_ruf(Z), STRING quien_rap)*/ format(Msg,"rap_ruf: (%)",Z).*/ /*4.-*//*quien_rap(X,Y,Z,W), format(Msg,"quien_rap: (%) (%) (%) (%)",X,Y,Z,W).*/ /*5.-*//*desea_bart(Z), format(Msg,"desea_bart: (%) (%)",Z).*/ /*6.-*//*desea_romeo(Z), format(Msg,"desea_romeo: (%)",Z).*/ /*7.-*//*herm_desea_bart(Z), format(Msg,"herm_desea_bart: (%)",Z).*/

EJERCICIO 2

LOGICA DE PREDICADO ∇ x[Estudiante(x)  Joven(x)] ∇ x[(Joven(x) V Estudiante(x))  Soltero(x)] ∇ x[(Estudiante(x) V Trabaja(x))  Casado(x)] ∇ x[(Estudiante_Clase_IA(x) Λ Trabaja(x))  Soltero(x)] ∇ x[Persona_Independiente(x)  Soltero(x)] ∇ x ∇ y[(Soltero(x) V Casado(y)  Estado_Incompatible(x,y)] 7. Estudiante(Maria) V Casado(Jorge) 8. Εx[(Estudia_LSC(x) V Persona_Independiente(x))  Gusta(x,y)] 1. 2. 3. 4. 5. 6.

CLAUSULAS 1. Estudiante(x) = x es estudiante 2. Joven(x) = x es joven 3. Soltero(x) = x es soltero 4. Trabajan(x) = x trabajan 5. Casado(x) = x es casado 6. Estudia_Clase_IA(x,y) = x es estudiante de la clase y 7. Persona_Idependiente(x) = x es persona independiente 8. Estado_Incompatible(x,y)= x es un estado incompatible de y 9. Estudia_LSC(x) = x es estudiante de LSC 10. Gusta(x,y) = x le gusta y

PREGUNTA 1. ¿PODRIA CASARSE MARIA CON DANIEL?

EJERCICIO 2 DATABASE - tmp son(STRING,STRING) estado(STRING,STRING) esta(STRING,STRING) es(STRING,STRING) que(STRING,STRING) incompatible(STRING,STRING) una(STRING,STRING) legusta(STRING,STRING) de_la(STRING,STRING) CLAUSES son("Estudiante","Jovenes"). estado("Jovenes","Solteros"). incompatible("Solteros","Casado"). de_la("Estudiante","ClaseIA"). que("ClaseIA","Trabajan"). esta("Trabajan","Casados"). esta("Jorge","Casados"). es("Maria","Estudiante"). es("Natalia","Estudiante"). es("Daniel","Estudiante"). una("Natalia","PersonaIndependiente"). legusta("Natalia","Daniel"). PREDICATES disponible_maria(STRING disponible_maria) CLAUSES disponible_maria(A):-es(A,B),son(B,C),estado(C,D). GOAL format(Msg,"¿Podria casarse Maria y Daniel? Verifique usted:"), disponible_maria(X).

RED SEMANTICA DEL EJERCICIO 1 RUFIA N

ES_UN

RAPTORE S

SON

ES_UN PLEBEYO S

ES

ES

BERTOL DO

BARTOL O

DESEAN

NOBL E

DAMA S

ES ES

ROME O

ES GERTRU DIS

JULIET A ES

DESEAN

HERMOS A