HERRAMIENTAS DE

LOGICA
COMPUTACIONAL
Jonathan Camilo Cepeda Gil
Foro – Semana 5 y 6
Politécnico Grancolombiano
Lógica Proposicional
 1. ¿Por qué es importante para todo profesional en
carreras relacionadas con computación dominar los
fundamentos básicos de lógica proposicional? Dar
ejemplos de aplicación.
 La lógica proposicional es importante, debido a que estos
estudios se sentaría una de las bases de la construcción de
ordenadores, este es un instrumento para determinar la
validez de las mismas, estudiaremos la lógica como un
sistema de formal que opera sobre los procesos de
razonamientos mediante el calculo, aplicando precisas
reglas de inferencia.
 La lógica proposicional es una disciplina filosófica que trata
sobre la validez de los razonamientos; el dominio de la lógica
proposicional nos permite representar expresiones del
mundo real en un lenguaje representativo para evaluarlas a
través de proposiciones o sentencias lógicas y conocer su
verdad o en caso contrario su falsedad.
 En general, la lógica proposicional trata de la verdad o
falsedad de las proposiciones; además es la parte lógica,
mas antigua y simple, que estudia proposiciones complejas a
partir de proposiciones mas simples y como se transmite la
verdad de una proposición a otra, una lógica proposicional
centra su importancia que al dominarla podemos hacer un
sistema formal, sus elementos mas simples son
proposiciones, y sus constantes lógicas, llamados
conectores, son operaciones sobre proposiciones, los cuales
forman otras proposiciones de mayor complejidad.
 EJEMPLOS DE APLICACIÓN
 Una de las aplicaciones de la lógica proposicional se da en
los sistemas de inteligencia artificial (IA).
 En palabras sencillas, la inteligencia artificial trata de explicar
el funcionamiento de la mente utilizando y desarrollando
algoritmos para distintas funciones. La inteligencia combina
varias áreas, por ejemplo la robótica, sistemas expertos, etc.
Los cuales comparten el mismo objetivo, el tratar de crear
maquinas que puedan pensar o tomar decisiones por si
solas.
 La lógica proposicional es una parte muy importante en el
desarrollo de la inteligencia artificial. Estos lo podemos
observar en las siguientes afirmaciones:
 Un agente basado en conocimiento (ABC) o que posee
inteligencia para tomar decisiones, posee conocimientos de
su mundo y es capaz de razonar sobre las posibles acciones
que puede tomar para cambiar el estado de su mundo
tomando algunas decisiones.
 El agente lo podemos observar como un conjunto de
sentencias, que se representan mediante un lenguaje de
representación de conocimiento.
 EJEMPLO DE APLICACIÓN
 A los enunciados abiertos que contiene variables algebraicas
se les denomina función proposicional, que tiene la
propiedad de convertirse en proposiciones, al sustituirse la
variable por una constante especifica.
 El enunciado abierto
X2+1=5
 Es una función proposicional, el cual se convierte en
proposiciones cuando.
 Para X = -3 (por ejemplo), se convierte en la proposición
 (-3) 2 + 1 = 5 (F)
 El cual tiene valor de verdad FALSA
 Para X = 2, entonces, será la proposición.
 (2) 2 + 1 = 5 (V)
 El cual tiene valor de verdad VERDADERA.
Inferencia lógica
 2. ¿Por qué es importante para todo profesional en
carreras relacionadas con computación dominar los
fundamentos básicos de Inferencia lógica? Dar ejemplos
de aplicación
 Es importante la inferencia lógica porque no ofrece un
conjunto de reglas para la construir proposiciones,
enunciados que poseen consistencia lógica, como los que se
necesitan para especificar un sistema correctamente.
 Los sistemas se deben especificar, esta especificación nos la
brinda la inferencia lógica, el cual es un lenguaje
comprensible por todos los sistemas involucrados. Si un
sistema es especificado correctamente entonces el sistema
triunfara, en caso contrario fracasara ya sea inmediatamente
o pasado un tiempo.
 Al aprender la inferencia lógica podemos utilizar sus reglas
para determinar si una proposición compleja es verdadera o
falsa, nos ayudara a la descodificación de los signos
lingüísticos, las inferencias lógicas funcionan por un
mecanismo deductivo
 EJEMPLO DE APLICACIÓN
 En la lógica, las reglas de inferencia suelen darse
generalmente en la siguiente forma estándar:
 Premisa # 1
 Premisa # 2
…
 Premisa # n
 ---------------------
 Conclusión
 Esta expresión indica que cada vez que en el curso se haya
obtenido alguna derivación lógica a partir de las premisas
dadas, la conclusión especificada puede darse también por
sentado. El lenguaje formal exacto utilizado para describir
tanto premisas como las conclusiones depende del contexto
real de las derivaciones. En un caso sencillo se puede
utilizar formulas lógicas, tales como en:
A B
A
 --------------------
B
 EJEMPLO DE APLICACIÓN
 Un sistema de prueba esta formado por un conjunto de
reglas encadenadas entre si para formar pruebas, también
llamadas derivaciones. Cualquier derivación tiene una
conclusión final, que es la declaración probada o derivada. Si
las premisas quedan insatisfechas en la derivación, en
consecuencia, la derivación es una prueba de una
declaración hipotética “ si las premisas se mantienen,
entonces la conclusión es valida”.
 Una inferencia es valida si y solo si la conjunción de las
premisas implica la conclusión. Una inferencia es
concluyente o correcta si se realiza de acuerdo con una
regla de inferencia valida.
 Simbólicamente: sean pi ( con i = 1,2,3,4…n) premisas y a la
conclusión, entonces,
 p1 p2 p3 p4 … pn q (conclusión)
Lógica difusa
 3. ¿Qué relación tiene el contenido del módulo con
lógica difusa? Argumentar.
 La lógica difusa es una extensión de las lógicas tradicionales
(booleanas) que utiliza conceptos de pertenencia de
conclusiones mas parecidas a la manera de pensar humana.
Las conclusiones exactas usan lógica booleana con valores
exactos como por ejemplo la lógica binaria que usa valores de 1
o 0 para sus operaciones.
 La lógica difusa no usa valores exactos como 1 o 0 pero usa
valores entre 1 y 0 (inclusive) que puede indicar valores
intermedios (EJ. 0, 0.1,0.2….., 0.9, 1.0, 1.1….etc.) la lógica
difusa también incluye los valores 1 y 0 entonces se puede
considerar como conclusiones mas completas o extensión de la
lógica exactas, que se han visto hasta el momento en lo
transcurrido del modulo y lo leído en las cartillas.
 Podemos divisar esto con un ejemplo.
 Se considera a una persona como alta si mide mas de 1,80
MTS, pero de igual forma se considera a una persona como alta
si mide 1,7999 MTS.
 Esta consideración no existe en la lógica tradicional manejada
en el modulo que utiliza demarcaciones estrictas para
determinar pertenencia en las conclusiones.
 A es la variable clásica de personas altas
 A = { X / X > 1,80}
 Una persona que mide 1,799999 MTS es baja!
Referencias
 Profesores.elo.utfsm.cl
 Fabioalvarez.wikidot.com
 Roberto.mtz.blogspot.com
 Pogramacionits.blogspot.com