Control 8 Jorge Olguín Leiva Lógica Matemática y Digital Instituto IACC 17/03/2019 Desarrollo 1) De la siguiente línea
Views 538 Downloads 2 File size 346KB
Control 8 Jorge Olguín Leiva Lógica Matemática y Digital Instituto IACC 17/03/2019
Desarrollo 1) De la siguiente línea de código: a) Identifique las secciones. Las secciones serian; Predicados, Cláusulas y Goal. b) Identifique los hechos. Los hechos son todo el contenido de la sección Clausulas. c) Mencione las reglas y la unificación en el caso de que exista. El procedimiento de unificación consiste en hacer coincidir dos expresiones. Esto se logra básicamente reemplazando variables por constantes u otras variables. En este caso, Cunado (A,C), Hermana (C,B), etc. 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: Regla 1 Si A y B Entonces C
Regla 2 Si D, E y F Entonces G
Regla 3 Si H y I Entonces J
Regla 4 Si C y G Entonces K
Regla 5 Si G y J Entonces L
Regla 6 Si K y L Entonces M
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 completaré las dos primeras.
Bibliografía Link 1 Acceso Link 2 Acceso