física, q uím ic a y matemática s - Andalucía Investiga

Soluciones con lógica para
problemas cotidianos
Un grupo de investigadores de la Universidad de Málaga ahondará en el conocimiento de las
‘herramientas matemáticas’ empleadas en sistemas inteligentes usados en modernos dispositivos
de videovigilancia, electrodomésticos o cámaras fotográfi cas. Para ello desarrollarán el proyecto
de excelencia Fundamentos matemáticos de las lógicas para sistemas inteligentes, fi nanciado con
84.200 euros por la Consejería de Innovación, Ciencia y Empresa.
Centro
Universidad de Málaga
Área
Física, Química y Matemáticas
Código
FQM2049
Nombre del proyecto
Fundamentos matemáticos de las
lógicas para sistemas inteligentes
Contacto
Manuel Ojeda Aciego
Teléfono: 952 13 28 71
e-mail: aciego@citima.uma.es
Dotación
84.200,00 euros
Acciones cotidianas como fotografi
ar a nuestros hijos o hacer la colada
entrañan más complejidad de la
que somos conscientes. La informática
nos facilita todas estas tareas
gracias a los sistemas inteligentes,
basados en lógicas matemáticas.
Gracias a ellos, nuestra cámara fotográfica
es capaz de enfocar automáticamente
la imagen y nuestras
modernas lavadoras ajustan el agua
y el tiempo de lavado en función de
la carga, liberándonos de realizar
los ajustes necesarios. Un grupo de
investigadores de la Universidad de
Málaga (UMA) se ha propuesto estudiar
los fundamentos matemáticos
de las lógicas empleadas en sistemas
inteligentes por medio de un
proyecto de excelencia.
En los sistemas inteligentes se
suele utilizar lógicas multivaluadas
o difusas. Estas ‘herramientas
matemáticas’ permiten trabajar
con informaciones imprecisas o
incompletas, y conseguir que el sistema
inteligente funcione. “Los ingenieros
crean algoritmos para dar
solución a problemas concretos. Y
estos funcionan, pero sin que sepamos
muy bien por qué. En nuestro
proyecto pretendemos saber qué
hace que tales algoritmos marchen
correctamente. Ése es el fin principal
de la investigación”, explica
Ojeda, miembro del grupo GIMAC
de Matemática Aplicada en Computación
de la ETS de Ingeniería
Informática de la UMA, e investigador
principal del proyecto.
Los investigadores pretenden
desarrollar algunos de los métodos
que permiten a los sistemas inteligentes
obtener datos desconocidos
a partir de otros dados. Se trata de
técnicas de deducción automática
que son las empleadas, por ejemplo,
por una cámara fotográfica a
la hora de enfocar la imagen por
sí misma. El sistema deduce el enfoque
correcto a partir de informaciones
que sí conoce como la
intensidad de la luz o la distancia
de la imagen respecto del objetivo.
De esta forma, los sistemas inteligentes
son capaces de adaptarse al
entorno sin necesidad de pedir la
información que le falta.
“Cada vez se estudian sistemas
más complejos para poder
afrontar los problemas que realmente
nos encontramos después
en la práctica. Consecuentemente,
debemos proporcionar nuevos métodos
de deducción automática, o
bien adaptar los existentes, para
posibilitar su funcionamiento”, argumenta
Ojeda. Los investigadores
también colaboran en otro proyecto
de excelencia. Se trata de una
investigación sobre Sistemas de
Teledetección Inteligentes que estudia,
por ejemplo, la posibilidad de
desarrollar un sistema de monitorización
para ancianos y personas
con dependencia física, capaz de
detectar y alertar de necesidades y
situaciones en las que corra peligro
la integridad de estas personas sin
el control de un ser humano.
El grupo que lidera el profesor
Ojeda proporcionará las técnicas
de deducción automática para este
tipo particular de sistema inteligente.
Esta vez, desde una perspectiva
eminentemente aplicada. “Cuanto
más aprendemos de Informática,
vemos que existen técnicas y fundamentos
de la Matemática más
abstracta que vienen al pelo para