Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2017-89023-P

Financiado

DESARROLLO DE UN MARCO GLOBAL PARA INFERIR NUEVO CONOCIMIENTO USANDO IMPLICACION...

DESARROLLO DE UN MARCO GLOBAL PARA INFERIR NUEVO CONOCIMIENTO USANDO IMPLICACIONES Y SUS GENERALIZACIONES LA GRAN CANTIDAD DE DATOS GENERADOS ACTUALMENTE SON PRINCIPALMENTE ALMACENADOS EN DATASETS PLANOS, ESTABLECIENDO UNA RELACION ENTRE OBJETOS Y ATRIBUTOS, PARA DESCRIBIR Y MANIPULAR ESTA INFORMACION HAY QUE SELECCIONAR UNA REPRESENT... ver más

01/01/2017

UMA

107K€

Presupuesto del proyecto: 107K€

Líder del proyecto

UNIVERSIDAD DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1956

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2017-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UMA

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

PRE2018-086544 RAZONAMIENTO AUTOMATICO, EJECUCION DE MODELOS Y ANALISIS DE... 93K€ Cerrado

TIN2013-41086-P LOGICA COMPUTACIONAL PARA LA CIENCIA DEL DATO 45K€ Cerrado

TIN2011-27696-C02-02 APLICABILIDAD DE LA SOFT COMPUTING EN ENTORNOS TECNOLOGICOS... 16K€ Cerrado

MOKA Management and completion of dynamic Knowledge Graph 192K€ Cerrado

PID2019-105058GA-I00 PROCESADO DE DATOS UNIFICADO MEDIANTE TRANSFORMACIONES PROBA... 41K€ Cerrado

TIN2011-28488 APLICACION DE LAS TECNICAS DE SOFT COMPUTING EN MINERIA DE D... 102K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE MÁLAGA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 1956

Presupuesto del proyecto 107K€

Descripción del proyecto LA GRAN CANTIDAD DE DATOS GENERADOS ACTUALMENTE SON PRINCIPALMENTE ALMACENADOS EN DATASETS PLANOS, ESTABLECIENDO UNA RELACION ENTRE OBJETOS Y ATRIBUTOS, PARA DESCRIBIR Y MANIPULAR ESTA INFORMACION HAY QUE SELECCIONAR UNA REPRESENTACION DEL CONOCIMIENTO ADECUADA, EL LENGUAJE SELECCIONADO DETERMINA LA POTENCIA EXPRESIVA Y LA EFICIENCIA DE SU MANIPULACION, POR ELLO, TENEMOS QUE BALANCEAR ADECUADAMENTE AMBAS COSAS,EN ESTA PROPUESTA ELEGIMOS UNA REPRESENTACION DEL CONOCIMIENTO MUY USADA: LAS REGLAS IF-THEN, SON USADAS EN DIVERSAS AREAS (BASES DE DATOS, PROGRAMACION LOGICA, SISTEMAS EXPERTOS, ANALISIS DE CONCEPTOS FORMALES, ETC,) CON DIFERENTES INTERPRETACIONES (CAUSA-EFECTO, ACCIONES EJECUTABLES, CONEXION DE ATRIBUTOS, ETC), EN NUESTRA OPINION, SU EXITOSA IMPLANTACION SE DEBE A SU SIMPLICIDAD Y SU ADAPTACION PARA EMULAR EL RAZONAMIENTO HUMANO,SIN EMBARGO, CADA VEZ MAS SE DEMANDA UN AUMENTO EN LA POTENCIA EXPRESIVA, ASI, EN EL MODELO CLASICO SOLO LA INFORMACION EXPLICITA ES CONSIDERADA, PERO ASI NO PODEMOS CONTEMPLAR LA AUSENCIA DE DICHA INFORMACION, LA GENERALIZACION HACIA ATRIBUTOS NEGATIVOS SOLVENTA ESTO, SIN COMPLICAR LOS DATASETS, EN OTROS CONTEXTOS DEMANDAMOS PODER ASIGNAR A CADA INFORMACION UN CIERTO GRADO, INTERPRETADO COMO INCERTIDUMBRE, CONFIANZA O VAGUEDAD, EL USO DE CONJUNTOS DIFUSOS APORTA UNA SOLUCION, ENRIQUECIENDO EL LENGUAJE Y PROPORCIONANDO UNA MANIPULACION ADECUADA, OTRA MANERA DE INDICAR LA PRECISION DE LAS REGLAS ES MEDIANTE LAS REGLAS DE ASOCIACION, INTRODUCIENDO LOS VALORES DE SOPORTE Y CONFIANZA, ADEMAS DE LOS ATRIBUTOS Y OBJETOS, PODEMOS CONSIDERAR LAS LLAMADAS CONDICIONES, AUNQUE UN SISTEMA RELACIONAL PODRIA SOPORTAR ESTA INFORMACION, LOS DATASETS TRIADICOS SUPONEN UNA APROXIMACION MAS SENCILLA, FINALMENTE, AQUI TAMBIEN PROPONEMOS MEZCLAR VARIAS GENERALIZACIONES, POR EJEMPLO LO DIFUSO Y LO NEGATIVO PUEDEN SER COMBINADAS USANDO UNA APROXIMACION INTUICIONISTA, DONDE UNA SENTENCIA Y SU NEGACION PUEDEN TOMAR GRADOS DE VERDAD INDEPENDIENTES,NUESTRO PRINCIPAL OBJETIVO IS OBTENER UN MARCO UNIFICADO PARA TODAS ESTAS GENERALIZACIONES DENTRO DEL ANALISIS DE CONCEPTOS FORMALES: NEGACION, DIFUSO, TRIADICO, PRECISION E INTUICIONISTA, LAS ABORDAREMOS MEDIANTE EL PROBLEMA DE LA IMPLICACION, ENUNCIADO DE FORMA GENERAL ASI: COMO COMPROBAR EFICIENTEMENTE SI UNA NUEVA INFORMACION SE DEDUCE DEL CONOCIMIENTO CONOCIDO, PARA ELLO USAREMOS EL OPERADOR DE CIERRE DE ATRIBUTOS, QUE RECIBE UN CONJUNTO DE ATRIBUTOS Y DE REGLAS Y PRODUCE EL CONJUNTO MAXIMAL QUE SE DEDUCE DEL PRIMERO, LA CLAVE DE ESTA PROPUESTA ES NUESTRO OPERADOR DE CIERRE BAJO SIMPLIFICACION, ESTE TIENE UNA CARACTERISTICA: ADEMAS DEL CIERRE DE ATRIBUTOS PRODUCE UN NUEVO CONJUNTO DE REGLAS CON LA INFORMACION EN EL SUBCONJUNTO FUERA DE ESE CIERRE, ESTA REGLAS SON MUY UTILES PARA AVANZAR EN EL RAZONAMIENTO SON COSTE, PUES ELLAS SE GENERAN SIMULTANEAMENTE CON EL CIERRE, EVITAR ESTE COSTE NO ES TRIVIAL, PUES EXTRAER DICHO CONJUNTO DEL DATASET RESTANTE TIENE COMPLEJIDAD EXPONENCIAL, IMPLICACIONES\LÓGICA\TEORÍA DE RETÍCULOS\ANÁLISIS DE CONCEPTOS FORMALES

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores