Control Semanal 8

Mayker Céspedes Urriola

Lógica Matemática Y Digital

21 -12-2020
 Desarrollo

La programación lógica permite unificar las teorías lógicas con los lenguajes de
programación de tal forma de construir algoritmos que permitan la solución de
problemas de forma autónoma, la aplicación de la programación lógica viene
de la mano con los sistemas expertos y la inteligencia artificial, es decir,
permite desarrollar un entorno donde se almacene conocimiento (reglas y
hechos) para obtener un resultado que puede ir a la par con el pensamiento
humano. Las reglas de inferencia son base fundamental en el desarrollo de
estos algoritmos, y permiten obtener conclusiones con premisas sencillas, a su
vez, existen estrategias de inferencia que determinan la forma en la que se
obtiene el resultado. En una de estas estrategias se tienen las características y
se va hacia los objetivos, en la otra se tienen los objetivos y se busca qué
características los desencadenan. Todos estos procesos se realizan a través
de lenguajes de programación y facilitan la creación de algoritmos lógicos,
dichos algoritmos utilizan estructuras funcionales diferentes al resto que
comúnmente se utilizan, debido a que la programación lógica aplica un
paradigma diferente de la programación. De esta manera se crean códigos que
hacen las veces de bucles para buscar la información.

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.

Hecho 1 (“Tiberio”, “Carolina”)
Casado
Casado
Hecho 2 (“Jaider”, “Adriana”)

Hecho 3
Hermano (“Jaider”, “Tiberio”)
Hermana
Hecho 4 (“Adriana”, “Edna”)
Hecho Hermana (“Adriana”, “Mónica”)
5
 c) Mencione las reglas y la unificación en el caso de que exista

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

Hecho 1 (“Tiberio”, “Carolina”)

Casado
Casado
Hecho 2 (“Jaider”, “Adriana”)
Hecho 3
Hermano (“Jaider”, “Tiberio”)
Hermana
Hecho 4 (“Adriana”, “Edna”)
Hecho Hermana (“Adriana”, “Mónica”)
5
Cuñado (A, C),
Secciones Hermana (C, B), Reglas
Cuñado (A, B),
Hermano (A, C)
Casado (C, B)

Goal
Cunado (“Jaider”, Z) Unificacion
 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.

Desarrollo
Asignación de Valores
 A = Verdadero
 G = Falso
 K = Falso
 L = Falso
 H=?

Determinar el valor de H
Diagrama de Bloques

A
C
B
K
D
G M
E

F L
H
J
I
 El objetivo es H
 Se marca el objeto H, se tiene los objetos = {A, G, K, L, H}
Objetivos previos =0.
Las 6 reglas están Las 6 reglas están activas, por lo tanto, reglas
activas= {1, 2, 3, 4, 5, 6}
 Se busca una regla que incluya el objeto H, se selecciona la regla 3
 Tenemos entonces K y L son falsos, aplicamos Modus Ponendo Ponens
y decimos que M también es Falso
 G también es falso, pero tenemos a C sin valor, entonces como K es
falso aplicamos Modus Tollendo Tollens y C pasa a ser verdadero.
 A es verdadero y como marcamos a C verdadero, aplicamos Modus
Ponendo Ponens y B pasa a ser verdadero
 Como G es falsa, al menos una premisa (D, E, F) es falsa.
 Sabemos que L es falso entonces aplicamos Modus Tollendo Tollens y J
pasa a ser verdadero
 Entonces si J es verdadero, aplicamos Modus Ponendo Ponens y tanto
H como I son verdaderas

El valor de H es verdadero
 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
Domains persona = string
Predicates Padre (persona, persona).
Clauses
Padre ("Julio", "Jaider"). %Julio es padre de Jaider
Padre ("José", "Adriana"). %José es padre de Adriana
Padre ("Jaider", "Pedro"). %Jaider es padre de Pedro
Hermanos ("Adriana", "Pedro"). %Adriana es Hermana de Pedro
Hermanos ("Pedro", "Luis"). %Pedro es Hermano de Luis

Por lo tanto, los abuelos de Luis son Julio y José y conforman dos familia,
dónde Pedro, Adriana y Luis tienen consanguineidad por parte materna.

Figura
Julio (Padre) Abstracta José (Padre)
Femenina

Madre de Adriana
Jaider Adriana,
(hijo de Julio) (Hija de José,
Pedro y Luis
Hermana de Pedro)

Hermanos
 Pedro Luis
(hijo de Jaider, Hermano (Hermano de Pedro)
de Adriana

Bibliografía
IACC (2018). Lógica de programación. Lógica Matemática y Digital. Semana 8