TÉCNICAS DE DEMOSTRACIÓN

[pic 1]

[pic 2]

[pic 3]

[pic 4]

[pic 5]

[pic 6]

[pic 7]

TÉCNICAS DE DEMOSTRACIÓN

1) De la siguiente línea de código:

a) Identifique las secciones: “Predicados”, “Cláusulas” y “Goal”

b) Identifique los hechos: Tiberio está casado con Carolina, Jaider está casado con Adriana, Jaider es hermano de Tiberio; Adriana es hermana de Edna; Adriana es hermana de Mónica;

c) Mencione las reglas y la unificación en el caso de que exista:

Reglas: Cuñado (A,C); Hermana (C,B); Cuñado (A,B); Hermano (A,C); Casado (C,B)

Unificación: cuñado (Jaider, Z)

Predicados

Mondeterm Hermana (STRING, STRING)

Mondeterm Hermano (STRING, STRING)

Mondeterm Casado (STRING, STRING)

Mondeterm Cunado (STRING, STRING)

Cláusulas

Casado (“Tiberio”, “Carolina”)

Casado (“Jaider”, “Adriana”)

Hermano (“Jaider”, “Tiberio”)

Hermana (“Adriana”, “Edna”)

Hermana (“Adriana”, “Mónica”)

Cunado (A, C),

Hermana (C, B),

Cunado (A, B),

Hermano (A, C)

Casado (C, B)

Goal

Cunado (“Jaider”, Z)

2) Siendo las siguientes reglas, diseñe el diagrama de bloques correspondiente:

[pic 8]

Para hacer el diagrama asigne los valores A = Verdadero, G = Falso, K = Falso, L = Falso, determine el Valor de H, mediante la estrategia de encadenamiento de reglas orientado a un objetivo[pic 9]

[pic 10][pic 11]

[pic 12][pic 13][pic 14]

[pic 15]

[pic 16][pic 17][pic 18]

[pic 19][pic 20][pic 21][pic 22]

[pic 23][pic 24][pic 25][pic 26]

[pic 27]

[pic 28][pic 29]

[pic 30][pic 31]

[pic 32][pic 33]

[pic 34]

• Se designan las variables:

• A=Verdadero
• G=Falso
• K=Falso
• L=Falso

• Se señala H como objetivo. Objetos marcados: {A,G,K,L} Objetivos previos: 0.
• Reglas activas: {1,2,3,4,5,6}
• Se busca una regla que incluya el objeto H, se selecciona la regla 3.
• La regla 3 no puede concluir puesto que se desconoce el valor de I.
• Se señala como objetivo J. Objetos marcados: {A,G,K,L,H,J}
• Se busca una regla que incluya a J. Se selecciona la regla 5.
• La regla 5 concluye que si G y J =Verdadero entonces L=Verdadero. Pero los objetos marcados nos dicen que L= Falso y G=Falso, por lo que J=Falso.
•  La regla 3 concluye que si H y I= Verdadero entonces J= Verdadero. Pero J= Falso, por lo que H= falso.
• Algoritmo entrega valor H.

3) Diseñe un algoritmo que permita hallar los abuelos de Luis, basándose en los siguientes hechos (3 puntos).

Julio es el padre de Jaider

José es el padre de Adriana

Jaider es el padre de pedro

Adriana es la hermana de pedro

Pedro es hermano de Luis

Predicados

Mondeterm Padre (STRING, STRING)

Mondeterm Hermana (STRING, STRING)

...