Inteligencia Computacional I

Conjuntos difusos y
operaciones estndar
Ing. Omar Salazar
osalazarm@correo.udistrital.edu.co
Universidad Distrital Francisco Jos de Caldas
Facultad de Ingeniera

Teora clsica de conjuntos

En la teora clsica los conjuntos se definen como colecciones

de objetos que tienen alguna propiedad en comn.
Existen tres mtodos bsicos para formular conjuntos dentro de
un conjunto universal
dado:
1. (Mtodo de listado) Nombrando los elementos del conjunto
(slo para conjuntos finitos). El conjunto , cuyos elementos
son
, se nota como
2. (Mtodo de la propiedad) Definiendo una propiedad que la
satisfacen sus elementos, notado
,
donde
es una proposicin que es cierta para los
miembros de y falsa para los no-miembros
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

3. (Mtodo de la funcin caracterstica o funcin de
pertenencia) Definiendo una funcin
que declara cules
elementos pertenecen a y cules no. Para todo
entonces:

si y slo si

es miembro de

si y slo si

no es miembro de

Esto funcin realiza la aplicacin

conjuntos
y
El conjunto

entre los

est definido por la funcin:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

Por ejemplo, si
entonces se puede definir un conjunto de las
siguientes tres formas:

Mtodo de listado:

Mtodo de la propiedad:

Mtodo de la funcin caracterstica o de

pertenencia:

1
0

0123456789
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

Otro ejemplo, si
entonces se puede definir
el conjunto de los nmeros mayores a 1 de la
forma:

Mtodo de la propiedad:

Mtodo del listado: No es posible

Mtodo de la funcin caracterstica o de

pertenencia:

1
0

1
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

Un conjunto
implica

es subconjunto de
para todo

, notado

Un conjunto es subconjunto propio de

si
y existe un
tal que

si

, notado

Existe un conjunto, llamado conjunto vaco notado por

que no tiene elementos
Se deduce que:
(Todo conjunto es subconjunto de s mismo)

Si

entonces

Si

entonces

para todo conjunto

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

Para dos conjuntos y las operaciones de

unin, interseccin y complemento absoluto se
definen por:

(Unin)

(Interseccin)

(Complemento)

Las operaciones de unin, interseccin y

complemento cumplen las propiedades del
lgebra de Boole
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

Las siguientes propiedades son vlidas para todos los
conjuntos

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

En trminos de funciones de pertenencia:

Se deduce que para todo

y todo

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Teora clsica de conjuntos

En trminos de funciones de pertenencia:

O en tablas:

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

10

Teora de conjuntos difusos

Lofti Zadeh [1] generaliza la funcin de pertenencia de un

conjunto clsico para que no slo tome los valores del conjunto
{0,1}, sino ahora para que tome los valores del intervalo unitario
[0,1] de nmeros reales.
Un conjunto difuso
donde

es el grado de pertenencia de

si y slo si

pertenece a

si y slo si

no pertenece a

se define por una funcin de la forma:

si y slo si

en

y:

pertenece parcialmente a

Si
y
entonces se dice que
pertenece en mayor grado que
al conjunto
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

11

Teora de conjuntos difusos

En trminos de funciones de pertenencia:

Se deduce que para todo

y todo

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

12

Teora de conjuntos difusos

En trminos de funciones de pertenencia:

Unin

Interseccin

Complemento
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

Operaciones estndar

13

Teora de conjuntos difusos

A(x)

B(x)
1

0
1

AB(x)

0
A(x)

AB(x)

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

x
14

Teora de conjuntos difusos

Las siguientes propiedades son vlidas para todos los
conjuntos difusos

Versin ms dbil de la
complementacin en conjuntos clsicos
Nota: La propiedad de complementacin en general no se cumple en conjuntos difusos
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

15

Teora de conjuntos difusos

Ejemplo, si
entonces se puede definir el
conjunto
de los nmeros mucho mayores
a 1 de la forma:

1
0
1
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

10
16

Teora de conjuntos difusos

Ejemplo, si
entonces se puede definir el
conjunto
de los nmeros cercanos a 5 de
la forma:

1
0

4 5 6
Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

17

Teora de conjuntos difusos

La unin, interseccin y complemento de

es:
1

1 4 5 6

10

1 4 5 6

10

1 4 5 6

10

0
1 4 5 6

10

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

18

Tarea individual
Hacer los ejercicios 2.1, 2.3 y 2.6
(pg 32 y 33) del libro de Li-Xin
Wang
Consultar al menos tres operadores
(diferentes a los estndar) para
realizar cada una de las
operaciones de unin, interseccin
y complemento de conjuntos
difusos

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

19

Referencias
[1] L. A. Zadeh, Fuzzy sets, Information
and Control, vol. 8, no. 3, pp. 338-353,
1965.
[2] L. X. Wang, A Course in Fuzzy
Systems and Control. Prentice-Hall
International, Inc., 1997.

Ing. Omar Salazar - Universidad Distrital Francisco Jos de Caldas

20