Inteligencia Computacional I

Relaciones binarias difusas,

proyecciones y extensiones
cilndricas
Ing. Omar Salazar
osalazarm@correo.udistrital.edu.co
Universidad Distrital Francisco Jos de Caldas
Facultad de Ingeniera

Relacin binaria clsica

Sean y dos conjuntos clsicos, y sea

producto cartesiano, es decir,

su

Una relacin binaria clsica

es un subconjunto del
producto cartesiano, es decir,
Dado que es un conjunto, tambin puede definirse
en trminos de su funcin de pertenencia
sobre el
conjunto universo
En el caso finito
se puede representar como una
matriz, llamada matriz relacional
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Relacin binaria clsica

Por ejemplo, si

entonces

Se considera la relacin x es mayor o igual que y,

la cual est dada por:

Se nota que

En trminos de la matriz relacional se obtiene:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Relacin binaria difusa

Sean y dos conjuntos clsicos, y sea

su
producto cartesiano. Una relacin binaria difusa es un
conjunto difuso definido sobre
, es decir, un
conjunto difuso con funcin de pertenencia
En el caso finito,
se puede representar por medio
de una matriz relacional difusa

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Relacin binaria difusa

Por ejemplo, si
y
, y se
considera la relacin x es mucho menor a y,
entonces se puede tener la matriz relacional difusa:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Relacin binaria difusa

Por ejemplo, si
y se considera la relacin difusa
x es cercano a y, donde
entonces se puede
tener la funcin de pertenencia de la relacin:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Relacin binaria difusa

1
0 .8

0 .6
0 .4
0 .2
0
5
5
0

0
y

-5

-5

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Proyeccin (o sombra)

Si
es una relacin binaria difusa definida
sobre
, entonces los conjuntos difusos
y
, llamados proyecciones (o sombras) se
definen por las funciones de pertenencia

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Proyeccin (o sombra)

Por ejemplo, si
y
, y se
considera la relacin x es mucho menor a y,
entonces se puede tener la matriz relacional difusa
con proyecciones
y
:
SX

SY

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Extensin cilndrica

Sea un conjunto difuso definido sobre el universo

y sea
otro conjunto universo. La extensin
cilndrica de a
es una relacin binaria difusa
cuya funcin de pertenencia en
es:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

10

Extensin cilndrica

Sea el conjunto de los nmeros cercanos a 5 definidos

sobre el universo
con funcin de
pertenencia:
Sea

el conjunto universo

La extensin cilndrica de a
es la relacin binaria
difusa
cuya funcin de pertenencia es:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

11

Tarea

Sea
la funcin de
pertenencia de una relacin binaria difusa
definida
sobre

Hallar las proyecciones

Hallar las extensiones cilndricas de

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

sobre

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