Soluciones para la computación eficiente en sistemas basados en lógica borrosa
- Senén Barro Director
Defence university: Universidade de Santiago de Compostela
Year of defence: 1994
- José Mira Mira Chair
- Alejandro Sobrino Secretary
- Enric Trillas Committee member
- Ramón Ruiz Merino Committee member
- Claudio Moraga Roco Committee member
Type: Thesis
Abstract
LA PROPUESTA DE SOLUCIONES SUSCEPTIBLES DE IMPLEMENTACION HARDWARE PARA LA EJECUCION DE SISTEMAS BASADOS EN LOGICA BORROSA HA SIDO UNO DE LOS OBJETIVOS RECOGIDO EN LA MEMORIA, SE REALIZA UNA DESCRIPCION DETALLADA DEL MODELO GENERICO DE SISTEMA DE CONTROL BASADO EN LOGICA BORROSA Y SE DESCRIBEN SENDAS PROPUESTAS PARA CADA UNA DE LAS METODOLOGIAS DE INFERENCIA DISCUTIDAS, CON UNA ANALISIS DETALLADO DE LAS PRINCIPALES INNOVACIONES QUE PRESENTAN (FLEXIBILIDAD RESPECTO A LOS OPERADORES INVOLUCRADOS E INSENSIBILIDAD A LOS PARAMETROS QUE DEFINEN SU TAMAÑO). SEGUIDAMENTE SE ABORDA EL TRATAMIENTO DE AQUELLOS SISTEMAS BASADOS EN REGLAS QUE PRESENTAN ENCADENAMIENTO ENTRE SI. LA EFICIENCIA COMPUTACIONAL EN ESTE CASO SE CONSIGUE A TRAVES DE UNA "COMPACTACION" DEL CONJUNTO DE REGLAS Y LA CONSIGUIENTE REDUCCION EN EL NUMERO DE OPERACIONES A REALIZAR DURANTE LA EJECUCION DE LA BASE DE CONOCIMIENTO. SE DESCRIBE EL PROCESO GENERAL DE COMPACTACION SOBRE ESTE TIPO DE SISTEMAS Y SE PARTICULARIZAN LOS RESULTADOS PARA LA REGLA COMPOSICIONAL DE INFERENCIA "SUP- ", DESARROLLANDOSE UN MODELO BASADO EN EL FORMALISMO DE REDES DE PETRI, SOBRE EL QUE SE REPRESENTA LA BASE DE CONOCIMIENTO Y SE DESCRIBEN VARIOS PROCESOS DINAMICOS (DETECCION DE INCONSISTENCIAS Y DISTINTAS ESTRATEGIAS DE EJECUCION EN DIFERENTES SITUACIONES).