Vous êtes sur la page 1sur 3

Escuela Politécnica Nacional

Ingenieria En Sistemas Informáticos Y De Computación


Inteligencia Artificial

1. La ley dice que es un crimen para un americano vender armas a países hostiles.
El país de Nono, un enemigo de América (USA), tiene algunos misiles y todos sus
misiles fueron vendidos por el Coronel West, que es americano. Demostrar por
refutación que West es un criminal. Presentar la demostración como un árbol.

– << … es un crimen para un americano vender armas a países hostiles>>


Americano(x)  Arma(y)  Vender(x,y,z)  Hostil(z) → Criminal(x) (9.3)
– << Nono tiene algunos misiles >>
 x Tiene(Nono,x)  Misil(x) se convierte en Tiene(Nono,M1) (9.4) y Misil(M1)
(9.5)
– << Todos los misiles le (a Nono) fueron vendidos por el coronel West >>
Misil(x)  Tiene(Nono,x) → Vende(West,x,Nono) (9.6)
Misil(x)  Arma(x) (9.7)
Enemigo(x,America) → Hostil(x) (9.8)
– << West, que es Americano… >>
Americano(West) (9.9)
– << El país Nono, un enemigo de America… >>
Enemigo(Nono,America) (9.10)

2. Escribir las sentencias y definir qué regla de inferencia es la base del siguiente
argumento:
“Está bajo cero. Por lo tanto, está bajo cero o lloviendo ahora”

Esta bajo cero = P


Lloviendo ahora = Q

P “Está bajo cero”


PvQ “Está bajo cero o lloviendo ahora”
_____
P v Q “Por lo tanto, está bajo cero o lloviendo ahora”

Se usa la ley de la adición


Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción)
acompañado por cualquier otro enunciado.

3. Escriba las sentencias y defina qué regla de inferencia se usa para el siguiente
argumento: “Está bajo cero y lloviendo ahora. Por lo tanto, está bajo cero.”
Está bajo cero = P
Escuela Politécnica Nacional
Ingenieria En Sistemas Informáticos Y De Computación
Inteligencia Artificial

Está lloviendo ahora = Q

PQ “Está bajo cero y lloviendo ahora”


Q “Está lloviendo ahora”
____
P “Por lo tanto, está bajo cero
Se usa la regla de inferencia de simplificación
Si disponemos de un enunciado formado por dos miembros unidos por una
conjunción, podemos hacer de los dos miembros dos enunciados afirmados por
separado.

4. Defina que regla de inferencia se usa en el siguiente argumento:


Si llueve ahora, entonces no tendremos un asado. Si no tenemos un asado ahora,
entonces tendremos un asado mañana. Por lo tanto, si llueve ahora, entonces
tendremos un asado mañana.

Llueve ahora = P
Tendremos un asado ahora= Q
Tendremos un asado mañana =R

P → Q “Si llueve ahora, entonces no tendremos un asado”


Q → R “Si no tenemos un asado ahora, entonces tendremos un asado mañana”
______
P → R “Por lo tanto, si llueve ahora, entonces tendremos un asado mañana”

Se usa la regla de silogismo hipotético


Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente
de la otra (el mismo enunciado), podemos construir una nueva implicación cuyo
antecedente sea el de aquella implicación cuya consecuencia sea el antecedente de la
otra implicación, y cuyo consecuente sea el de ésta última, cuyo antecedente era
consecuencia del primero.

5. Muestre que las hipótesis “No está soleada la tarde y está más frío que ayer”
“Iremos a nadar solo si está soleado”, “Si no vamos a nadar, entonces iremos en
un viaje en canoa” y “Si vamos en canoa, entonces estaremos en casa al
anochecer” lleva a la conclusión “Estaremos en casa al anochecer. “
Escuela Politécnica Nacional
Ingenieria En Sistemas Informáticos Y De Computación
Inteligencia Artificial

Esta soleada la tarde = P


Esta mas frio que ayer = Q
Iremos a nadar = R
Iremos un viaje en canoa = S
Estaremos en casa al anochecer = T

P1: P  Q P Por conjunción


P2: R →P Q
P3: R → S
P4: S → T R → T Por silogismo hipotético

P1: P
P2: Q
P3: R → P R Por Modus Tollens
P4: R → T

P1: Q
P2: R
P3: R → T T Por Modus Ponens

P1: Q
P1: T
_____
QT Por conjunción

Conclusión: T “Estaremos en casa al anochecer”

Vous aimerez peut-être aussi