Inteligencia Artificial

Mgtr. Juan Carlos Romero Salazar

Logica
Lógica es una ciencia formal que estudia la estructura
o formas del pensamiento humano (como
proposiciones, conceptos y razonamientos) para
establecer leyes y principios válidos para obtener
criterios de verdad.
Lógica Proposicional
La Lógica proposicional es la más antigua y simple de
las formas de lógica. Utilizando una representación
primitiva del lenguaje, permite representar y
manipular aserciones sobre el mundo que nos rodea.
Una lógica proposicional es un sistema formal cuyos
elementos más simples representan proposiciones, y
cuyas constantes lógicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces
de formar otras proposiciones de mayor complejidad
Fundamentos
La lógica proposicional permite el razonamiento, a
través de un mecanismo que primero evalúa sentencias
simples y luego sentencias complejas, formadas
mediante el uso de conectivos proposicionales, por
ejemplo Y (AND), O (OR). Este mecanismo determina
la veracidad de una sentencia compleja, analizando los
valores de veracidad asignados a las sentencias simples
que la conforman.
Sintaxis
La sintaxis de la lógica proposicional nos define las
sentencias que se pueden construir.
Las sentencias atómicas (es decir, los elementos
sintácticos indivisibles) se componen de un único
símbolo proposicional.
Sintaxis
Cada uno de estos símbolos representa una
proposición que puede ser verdadera o falsa.
Utilizaremos letras mayúsculas para estos símbolos:
P, Q, R, y siguientes.
Gramatica
La gramática es muy estricta respecto al uso de los
paréntesis: cada sentencia construida a partir de
conectivas binarias debe estar encerrada en paréntesis.
Esto asegura que la gramática no sea ambigua.
También significa que tenemos que escribir, por
ejemplo: ((A ∧ B) ⇒C) en lugar de A ∧ B⇒C
Que es semántica
La semántica define las reglas para determinar el valor
de verdad de una sentencia respecto a un modelo en
concreto.
Semantica
Una vez especificada la sintaxis de la lógica
proposicional, vamos a definir su semántica. La
semántica define las reglas para determinar el valor de
verdad de una sentencia respecto a un modelo en
concreto.
En la lógica proposicional un modelo define el valor de
verdad (verdadero o falso). Por ejemplo, si las
sentencias de la base de conocimiento utilizan los
símbolos proposicionales H1,2, H2,2, y H3,1, entonces
un modelo posible sería :
m1 = {H(1,2) = falso, H(2,2) = falso, H(3,1) = verdadero}
La semántica en lógica proposicional debe especificar
cómo obtener el valor de verdad de cualquier
sentencia, dado un modelo.
Una lógica también debe definir la semántica del
lenguaje. Si lo relacionamos con el lenguaje hablado,
la semántica trata el «significado» de las sentencias.
En lógica, esta definición es bastante más precisa.
La semántica del lenguaje define el valor de verdad de
cada sentencia respecto a cada mundo posible. Por
ejemplo:
La semántica que se utiliza en la aritmética especifica
que la sentencia «x + y = 4» es verdadera en un mundo
en el que x sea 2 e y sea 2, pero falsa en uno en el que x
sea 1 e y sea 11.
En las lógicas clásicas cada sentencia debe ser o bien
verdadera o bien falsa en cada mundo posible, no
puede ser lo uno y lo otro.
Conectivos Lógicos
En la lógica proposicional, las conectivas lógicas son
tratados como funciones de verdad. Es decir,
como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad.
Por ejemplo, la conectiva lógica no es una función que si
toma el valor de verdad V, devuelve F, y si toma el valor de
verdad F, devuelve V. Por lo tanto, si se aplica la función no a
una letra que represente una proposición falsa, el resultado
será algo verdadero. Si es falso que «está lloviendo»,
entonces será verdadero que «no está lloviendo».
La negación
La negación de una proposición p se escribe “~p” y lee
“no p” o “no es cierto que p” o “es falso que p” y es otra
proposición que niega que se cumpla p.
Ejemplo:
p: Hoy es domingo
~p: Hoy no es domingo
Suponiendo que hoy es Sabado
 p: Hoy es domingo F
 ~p: Hoy no es domingo V
p ~p
V F
F V
La Conjunción
Dadas las proposiciones p, q se simboliza “p ^ q” y se
lee “p y q”, solo es verdadero cuando ambos son
verdaderos, en los demás casos siempre es falso.
Ejemplo:
p ^ q: Elvia viajo a Zacapa y Escuintla
p = Elvia viajo a Zacapa
q = Elvia viajo a Escuintla
En toda proposion, las palabras: “pero”, “sin embargo”,
“además”, “no obstante”, “aunque”, “a la vez”, equivalen
a un conectivo “^”.
p q p^q
V V V
V F F
F V F
F F F
Elvia viajo a Zacapa Elvia viajo a Escuintla Resultado
P Q
V V V
V F F
F F F
F F F
La Disyuncion inclusiva
Dadas dos proposiones p, q, se escribe “p v q” y se lee
“p o q”, solo es falso cuando ambos son falsos, en los
demás casos siempre es verdadero.
Ejemplo:
p v q: Carlos es abogado o contador.
p: Carlos es abogado
q: Carlos es contador
p q pvq
V V V
V F V
F V V
F F F
Carlos es abogado Carlos es contador Resultado
P Q
V V V
V F V
F V V
F F F
La Condicional
Dadas dos proposiones p,q se escribe “ p  q” y se lee “si
p entonces q” o “p implica q” o “p es suficiente para que q”,
solo es falso cuando el primero es verdadero y el segundo
es falso, en los demás casos siempre es verdadero.
(p = antecedente y q = consecuente)
Ejemplo:
Politico, dice “Si gano las elecciones entonces bajare el
precio de los combustibles”
p : Si gano las elecciones
q: Bajare el precio de los combustibles
p q p --> q
V V V
V F F
F V V
F F V
Gano las elecciones Bajare el precio de los Resultado
Combustibles
P q
V V V
V F F
F V V
F F V
NOTA: En toda proposición las palabras “porque”,
“puesto que”, “ya que”, “siempre que”, “cuando”, “si”,
“cada vez que”, “dado que”, “entonces” son conectivos
que representan a cada uno de estos términos esta en
antecedente.
La Bincondicional
Dadas dos proposiciones p,q se escribe “p  q” y se
lee “p si y solo si q”, es verdadero cuando los valores de
verdad son iguales y es falso cuando los dos valores de
verdad son diferentes.
Ejemplo: Jorge recibirá la bonificación si y solo si se
capacita.
p: Jorge recibirá la bonificación
q: Jorge se capacita
p q p <--> q
V V V
V F F
F V F
F F V
Jorge recibirá la Se capacita Resultado
bonificación
P Q
V V V
V F F
F V F
F F V
La disyunción exclusiva
Dadas las proposiciones p, q se escribe “p q” y se
lee “o bien p o bien q”, es falso si los valores de verdad
de las proposiciones son iguales y es verdadero si los
valores de verdad de las proposiciones son diferentes.
Ejemplo:
p q: O bien subo o bien bajo
p: subo
q: bien bajo
(Asensor en movimiento)
p q p q
V V F
V F V
F V V
F F F
Subo Bajo Resultado
P Q
V V F
V F V
F V V
F F F
Ejemplos:
Las computadoras trabajan mas rápido que los
hombres

p
Ejemplos
q = Tengo un auto
~q = No tengo un auto
Ejemplo
p = Juan estudia en Guatemala
q = Pedro estudio en Escuintla
p ^ q = Juan estudia en Guatemala y pedro en
Escuintla
Ejemplo:
p = Bailamos
q = Tomamos café
p v q = Bailamos o tomamos café
Ejemplo:
Si cantamos entonces necesitamos viajar

Si Cantamos = R
Necesitamos viajar = S

R  S
Ejemplo:
Leere este libro si solo si tiene pocas hojas

Si solo si = Bicondicional

p = Leere este libro
q = tiene pocas hojas

p  q
Ejemplo:
No es cierto que si no tomamos café implica que no
es de dia.

Implica
Tomamos café = p
Es de dia = q
~(~p ~q)
Ejemplo
La tierra gira alrededor del sol o no sera que la luna es
un planeta.

La tierra gira alrededor del sol = p

La luna es un planeta = q

p v ~q
Ejemplo
Si trabajara los fines de semana y durmiera menos
entonces no perdería el vuelo

Trabajara los fines de semana = p

Durmiera menos = q
Perdería el vuelo = r

(p ^ q)  ~r
Ejemplo:
Es falso que vivo en Jutiapa, pero visitare a mi familia
en Xela
Vivo en Jutiapa = p
Visitare a mi familia en Xela = q

~p ^ q
Modelo
En lógica se piensa en modelo.
Los modelos son mundos formalmente estructurados
donde la verdad puede ser evaluada.
Mundo del Wumpus
Inferencia lógica por comprobación de
modelos
 «No hay un hoyo en la casilla [1, 2]».
 «No hay un hoyo en la casilla [2, 2]».
Aplicación de la lógica
proposicional
Wumpus
Evaluacion de una
sentencia:
¬P2,1 ^(P2,2 v P1,3)
Wumpus
Evaluacion de una
sentencia:
¬P2,1 ^(P2,2 v P1,3)
Determinar si hay pozo
en 2,1
Wumpus
Evaluacion de una
sentencia:
¬P2,1 ^(P2,2 v P1,3)
Determinar si hay pozo
en 2,1
Verdadero ^ (Falso v
Verdadero)
Wumpus
 Evaluacion de una sentencia:
 ¬P2,1 ^(P2,2) v P1,3)
 Determinar si hay pozo en 2,1
 Verdadero ^ (Falso v Verdadero)
 (Falso v Verdadero) = Verdadero
 Verdadero ^ Verdadero = Verdadero

 Resultado final
 Verdadero ^ (Falso v Verdadero) =
Verdadero.

 No ha pozo en ¬P2,1.
Como se obtiene el significado
Interpretar cada proposición atómica en el mismo
mundo.
Asignar valores de verdero o falso a cada
interpretación.
Calcular el valor de verdad de la proposición completa.
Evaluación de sentencias
¬P v Q  P ^ Q
2 n
2 2 = 4
Validez de una sentencia
¬P v Q  Q

No es valida, ya que todos las combinaciones o modelos

deberían de ser verdaderas, por lo mismo se indica o se
clasifica como SATIFASIBLE para 3 modelos de 4
posibles.
¬(P  Q)   (P ^ ¬Q)

Es valida, ya que todos los modelos en donde se evalúa

la sentencia es verdadero.
Equivalencias Lógicas
Si dos sentencias son equivalente lógicamente si tiene
los mismos valores de verdad en el mismo conjunto de
modelos.
Equivalencias Lógicas
Comprobación teorema de Morgan
(Equivalencia)
¬(P v Q) = ¬P ^¬Q
2 n
2 2 = 4
Mundo del Wumpus
Construcción de una base de datos de
conocimiento
Ya hemos comentado que una base de conocimiento
está compuesta por sentencias. Ahora podemos
observar que esa base de conocimiento lógica es una
conjunción de dichas sentencias.
Es decir, si comenzamos con una BC vacía y
ejecutamos DECIR(BC, S1)…DECIR(BC, Sn) entonces
tenemos BC = S1 ∧ … ∧ Sn. Esto significa que podemos
manejar bases de conocimiento y sentencias de
manera intercambiable.
Ahora que ya hemos definido la semántica de la lógica
proposicional, podemos construir una base de
conocimiento para el mundo de wumpus. Para
simplificar, sólo trataremos con hechos y reglas acerca
de hoyos;
Construction semantica
Primero de todo,
necesitamos escoger
nuestro vocabulario de
símbolos proposicionales.
Para cada i, j:
Hacemos que Pi,j sea
verdadero si hay un pozo
en la casilla [i, j].
Hacemos que Bi,j sea
verdadero si hay una
corriente de aire (una
brisa) en la casilla [i, j].
Sentencia BC - WUMPUS
No hay ningun pozo en
la casilla (1,1).
R1: ¬P1,1
En una casilla se siente
una brisa si y solo si hay
un hoyo en una casilla
vecina.
R2:B1,1  (P1,2 v P2,1)
R3:B1,2  (P1,1 v P2,2 v
P1,3).
Sentencia BC - WUMPUS
 Se incluyen las percepciones de
brisa para las dos primeras
Casillas visitadas en el mundo
concreto en donde se encuentra
el agente.
 R4: ¬B1,1
 R5:B1,2
 BC = R1 ^ R2 ^ R3 ^ R4 ^ R5 .
 Para que la BC sea verdadera
todas las sentencias deben de ser
verdaderas. (Todas en este caso
son verdaderas)
Inferencia mediante tabla de verdad
Los símbolos proporcionales relevantes son:
B1,1 , B2,1 , P1,1 , P1,2 , P2,1 , P2,2 , P, 1,3
Con estos siete símbolos, tenemos 27 = 128 modelos
posibles.
(En este caso se busca que por medio de lógica
propocional se pueda determinar y resolver el
problema)
Tabla de verdad – para inferencias.
Sentencias es satisfacible ya que solo es verdadera solo para 3 modelos.

El agente por este método puede inferir:

No hay Brisa en B1,1
Hay brisa en B2,1
No hay pozo en P1,1 / P1,2 / P2,1
Pero no esta seguro si hay pozo en P2,2 y P3,1.
Reglas de inferencia – Modus Ponens

La notación nos dice que, cada vez que encontramos dos sentencias en la
forma α  β y α, entonces la sentencia β puede ser inferida. (Para esto α
debe de ser verdadera dentro de la BC)
Ejemplo 1:
(WumpusEn-Frente ^WumpusVivo)  Disparar y (WumpusEn-Frente
^WumpusVivo).
Se infiere Disparar.

Ejemplo 2:
Esta_Lloviendo  El_Suelo_Esta_Mojado y Esta_Lloviendo
Se infiere Que el suelo esta mojado.
La reglas de inferencia puede ser mecánicamente
aplicadas:
Si P ^ Q es verdadero entonces P es verdadero (Ambos
deben de ser verdaderos para que se cumpla la
afirmación)
Si P es verdadero entonces P v Q es verdadero (Si P es
verdadero y siempre es verdadero no importa si Q es
falso ya que se esta empleando Or).
Si ¬(¬P) es verdadero entonces P es verdadero (La
negación de algo que es falso y se niega, entonces va a ser
verdadero).
Las equivalencias lógicas se puede utilizar como reglas
de inferencia.

Se pueden cambiar por su equivalencia.

Desmostracion ¬P2,1
Demostración que no
existe Pozo en la
posición 2,1 del mundo
del WUMPUS.
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
BC:
R1: ¬P1,1
R2:B1,1  (P1,2 v P2,1)
R3:B1,2  (P1,1 v P2,2 v
P1,3).
R4: ¬B1,1
R5:B1,2
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos la
eliminacion de la
bicondicional a R2
R2:B1,1  (P1,2 v P2,1)
Esto debido a que es la
unica de las reglas que
posee el termino que
deseamos trabajar P1,2
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos la
eliminacion de la
bicondicional a R2
R2:B1,1  (P1,2 v P2,1)

Se produce una nueva

regla:
R6:{B1,1  (P1,2 v P2,1)}
^ {(P1,2 v P2,1)  B1,1,)}
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos la
eliminacion ^ (And):
R6:{B1,1  (P1,2 v P2,1)}
^ {(P1,2 v P2,1)  B1,1,)}
 Si P ^ Q es verdadero
entonces P es verdadero.
R7: {(P1,2 v P2,1)  B1,1}
 Si cualquiera de los dos
son verdaderos y son
equivalentes, se puede
elimiar cualquiera de ellos.
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos
contraposicion:
R7: {(P1,2 v P2,1)  B1,1}

R8:¬B11¬(P1,2 v P2,1)
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos Modus
ponens:
R8:¬B1,1¬(P1,2 v P2,1)
 Buscamos si ¬B1,1 es
verdadero dentro de la BC,
si asi es, aplica Modus
ponens.
R4:¬B1,1.
Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Aplicamos Ley de
morgan:

R10: (¬P1,2 ^ ¬P2,1)

Demostración que no existe Pozo en la
posición 2,1 del mundo del WUMPUS.
Conclucion :
R10: (¬P1,2 ^ ¬P2,1)
Se puede determiner que
no hay pozo en P1,2 y
P2,1.