Inteligencia Computacional I

Reglas de inferencia en lgica

difusa (razonamiento
aproximado)
Ing. Omar Salazar
osalazarm@correo.udistrital.edu.co
Universidad Distrital Francisco Jos de Caldas
Facultad de Ingeniera

Reglas bsicas de inferencia en

lgica clsica

La lgica es el estudio de los mtodos y

principios de razonamiento en todas sus
posibles formas, donde razonamiento se
entiende como el obtener nuevas proposiciones
de proposiciones existentes [2]
En lgica clsica existen tres (aunque hay ms)
reglas de inferencia bsicas:

Modus Ponens
Modus Tollens
Silogismo hipottico
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Ponens
Premisa 1:

x es A

Premisa 2:

SI x es A ENTONCES y es B

Conclusin:

y es B

Ejemplo:
P1: Mara es Bogotana
P2: SI Mara es Bogotana ENTONCES Mara es Colombiana
C: Mara es Colombiana

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Tollens
Premisa 1:

y no es B

Premisa 2:

SI x es A ENTONCES y es B

Conclusin:

x no es A

Ejemplo:
P1: Mara no es Colombiana
P2: SI Mara es Bogotana ENTONCES Mara es Colombiana
C: Mara no es Bogotana

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Silogismo hipottico
Premisa 1:

SI x es A ENTONCES y es B

Premisa 2:

SI y es B ENTONCES z es C

Conclusin:

SI x es A ENTONCES z es C

Ejemplo:
P1: SI Mara es Bogotana ENTONCES Mara es Colombiana
P2: SI Mara es Colombiana ENTONCES Mara es Americana
C: SI Mara es Bogotana ENTONCES Mara es Americana

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Ponens generalizado

Premisa 1:

x es A'

Premisa 2:

SI x es A ENTONCES y es B

Conclusin:

y es B'

Nota:
Cuanto ms cercano est A' a A, ms cercano
estar B' de B

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Ponens generalizado

Dado un conjunto difuso en y una relacin

binaria difusa
en
, un conjunto
difuso en es inferido como

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Tollens generalizado

Premisa 1:

y es B'

Premisa 2:

SI x es A ENTONCES y es B

Conclusin:

x es A'

Nota:
Cuanta ms diferencia haya entre B' y B, ms
ms diferencia habr entre A' de A

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Modus Tollens generalizado

Dado un conjunto difuso en y una relacin

binaria difusa
en
, un conjunto
difuso en es inferido como

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Silogismo hipottico generalizado

Premisa 1:

SI x es A ENTONCES y es B

Premisa 2:

SI y es B' ENTONCES z es C

Conclusin:

SI x es A ENTONCES z es C'

Nota:
Cuanto ms cercano est B' a B, ms cercano
estar C' de C

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

10

Silogismo hipottico generalizado

Dada una relacin binaria difusa

en
y una relacin binaria difusa
en
entonces una relacin binaria difusa
puede ser inferida como

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

en

11

Tarea

Realizar ejercicios 6.2, 6.3 y 6.4

(pgs. 86 y 87) del libro de LiXin Wang

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

12

Referencias
[1] L. X. Wang, A Course in Fuzzy
Systems and Control. Prentice-Hall
International, Inc., 1997.
[2] G. J. Klir and B. Yuan, Fuzzy sets and
fuzzy logic: theory and applications. New
Jersey: Prentice Hall PTR, 1995.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

13