Beruflich Dokumente
Kultur Dokumente
Instituto IACC
17/03/2019
Desarrollo
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:
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.
Regla 6: Sabemos que K y L son falsos, por lo que mediante Modus Ponendo Ponens M también
será Falso.
Regla 4: Por otro lado sabemos que G es falso pero no sabemos que es C, pero como K es falso y
aplicando Modus Tollendo Tollens, C será verdadero.
Regla 1: Siguiendo la misma línea, nos dicen que A es verdadero, y como dedujimos que C
también es verdadero, aplicando Modus Ponendo Ponens, B es verdadero
Regla 2: Nos dicen que G es falso, por lo que Modus Tollendo Tollens, al menos una premisa (D,
E o F), será falsa.
Regla 5: Sucede lo mismo que en la regla 4, ya que si G y J entonces L y sabemos que L es falso,
nuevamente por ModusTollendo Tollens J puede ser verdadero.
Regla 3: Entonces, si J es verdadera, podemos aplicar Modus Ponendo Ponens y tanto H como I
serán Verdadera.
3) Diseñe un algoritmo que permita hallar los abuelos de Luis, basándose en los siguientes hechos.
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
Lamento no completar esta pregunta, no pude entender bien el concepto, por más que busque
información en la web pero esta es bastante escueta y difícil de entender. Por tiempo solo
Link 1 Acceso
Link 2 Acceso