Innovating Works

TIN2016-76653-P

Financiado
HERRAMIENTAS FORMALES DIFUSAS PARA RAZONAMIENTO NO CANONICO
EL LENGUAJE NATURAL ES POSIBLEMENTE LA HERRAMIENTA MAS PODEROSA QUE POSEEMOS LOS SERES HUMANOS PARA TRANSMITIR INFORMACION SOBRE CUALQUIER PROBLEMA O SITUACION, DISTINTOS ESTUDIOS COGNITIVOS ASEGURAN QUE EL PENSAMIENTO HUMANO SE B... EL LENGUAJE NATURAL ES POSIBLEMENTE LA HERRAMIENTA MAS PODEROSA QUE POSEEMOS LOS SERES HUMANOS PARA TRANSMITIR INFORMACION SOBRE CUALQUIER PROBLEMA O SITUACION, DISTINTOS ESTUDIOS COGNITIVOS ASEGURAN QUE EL PENSAMIENTO HUMANO SE BASA PRINCIPALMENTE EN PATRONES CONCEPTUALES E IMAGENES MENTALES, DE AHI QUE NUESTRO LENGUAJE HAGA USO DE TERMINOS SIMPLES PERO POCO PRECISOS EN NUMEROSAS OCASIONES, A PESAR DE LA VAGUEDAD Y DE LA AMBIGUEDAD CON LA QUE NOS EXPRESAMOS EN NUESTRAS COMUNICACIONES, EL PROCESO DE PENSAMIENTO HUMANO NO TIENE APENAS INCONVENIENTES EN LO QUE RESPECTA A UNA COMPRENSION BASICA,EL RETO DE DISEÑAR PROGRAMAS QUE PUEDAN SIMULAR RAZONAMIENTO INTELIGENTE SOBRE ASPECTOS DINAMICOS DEL MUNDO REAL, REQUIERE EL DESARROLLO DE TECNICAS FORMALES ADECUADAS PARA EL TRATAMIENTO DE INFORMACION QUE PUDIERA SER INCIERTA O IMPRECISA, ESTE RETO DEMANDA, POR TANTO, UNOS FUNDAMENTOS SOLIDOS SOBRE LOS QUE CONSTRUIR TEORIAS Y ALGORITMOS CAPACES DE GESTIONAR ADECUADAMENTE, POR UNA PARTE, LA INCERTIDUMBRE EN LOS DATOS Y, POR OTRA, LA HETEROGENEIDAD Y LA FALTA DE ESTRUCTURA EN LA INFORMACION QUE SE SUELE MANEJAR, TALES FUNDAMENTOS, NECESARIAMENTE HAN DE TENER UNA FUERTE COMPONENTE LOGICA Y MATEMATICA,EN ESTA PROPUESTA SE CONJUGAN CUATRO DE LAS HERRAMIENTAS MATEMATICAS MAS UTILES Y UTILIZADAS DESDE FINALES DEL SIGLO XX EN EL TRATAMIENTO DE INFORMACION IMPERFECTA (INCOMPLETA, IMPRECISA O AUSENTE): LAS ECUACIONES DE RELACIONES DIFUSAS (FRE), EL ANALISIS DE CONCEPTOS FORMALES (FCA), LA TEORIA DE LOS CONJUNTOS RUGOSOS (RST) Y LA PROGRAMACION LOGICA DIFUSA (FLP), JUNTO CON EL ESTUDIO DE LAS ESTRUCTURAS ALGEBRAICAS QUE LAS SUSTENTAN,ESTAS HERRAMIENTAS FORMALES SE HAN ESTUDIADO TANTO DESDE UN PRISMA TEORICO COMO APLICADO, LO QUE HA DADO LUGAR A LA RESOLUCION DE PROBLEMAS PRACTICOS, DESDE EN ENTORNOS MEDICOS, A LA TOMA DE DECISIONES EN ENTIDADES BANCARIAS, PASANDO POR CLASIFICACION DE PATRONES, SISTEMAS DE CONTROL, SOPORTE DE LA DECISION, REDES SOCIALES, RECUPERACION DE IMAGENES, ETC, EN DISTINTOS TRABAJOS PREVIOS HEMOS VISTO COMO SE RELACIONAN ENTRE SI ESTAS TECNICAS Y COMO LOS PROGRESOS EN UNA MEJORAN A LAS OTRAS, CONCRETAMENTE, HEMOS RESUELTO LAS FRE MEDIANTE LOS RETICULOS DE CONCEPTOS DIFUSOS ORIENTADOS POR ATRIBUTOS, QUE SURGEN COMO UNA GENERALIZACION DE RST Y DE FCA, HEMOS RELACIONADO TAMBIEN ESTAS DOS TEORIAS Y CONSTRUIDO EL PUENTE PARA PODER TRASLADAR UN RESULTADO DESARROLLADO DE UNA A LA OTRA, TAMBIEN HEMOS UTILIZADO LAS FRE EN LA RESOLUCION DE DISTINTOS PROBLEMAS DE FLP MULTIADJUNTA, COMO EN EL RAZONAMIENTO ABDUCTIVO, ADEMAS, TANTO RST COMO FCA SE HAN UTILIZADO EN LA CONSTRUCCION DE REGLAS PARA LA CONSTRUCCION DE PROGRAMAS LOGICOS DE FLP, LA EXISTENCIA DE TODAS ESTAS RELACIONES HACE IMPORTANTE SEGUIR DESARROLLANDOLAS DE FORMA INDIVIDUAL Y CONJUNTA, PUESTO QUE HAY PROBLEMAS AUN IMPORTANTES POR TRATAR Y OTROS EN LOS QUE HAY QUE MEJORAR, CONSIDERANDO ENTORNOS MAS GENERALES Y FLEXIBLES, PERMITIENDO CONSIDERAR UN RANGO MAS AMPLIO DE POSIBLES APLICACIONES,POR LO TANTO, EL OBJETIVO PRINCIPAL DE ESTA PROPUESTA ES AVANZAR ARMONIOSAMENTE EN TODAS ELLAS, ENRIQUECIENDOSE MUTUAMENTE Y CON EL FIN CLARO DE APORTAR MECANISMOS OPTIMOS PARA SU USO EN PROBLEMAS PRACTICOS, ANÁLISIS DE CONCEPTOS FORMALES\CONJUNTOS DIFUSOS Y RUGOSOS\PROGRAMACIÓN LÓGICA DIFUSA\ECUACIONES DE RELACIONES DIFUSAS ver más
01/01/2016
UCA
52K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2016-01-01
Presupuesto El presupuesto total del proyecto asciende a 52K€
Líder del proyecto
UNIVERSIDAD DE CÁDIZ No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 1444