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

PID2019-111544GB-C22

Financiado

Cerrado

SISTEMAS DE INFERENCIA PARA INFORMACION INCONSISTENTE: ANALISIS ARGUMENTATIVO

EN ESTE PROYECTO, EL OBJETIVO PRINCIPAL ES AVANZAR EN EL ESTADO DEL ARTE EN MODELOS DE INFERENCIA TOLERANTES A LA INCONSISTENCIA EN DIFERENTES ESCENARIOS: TECNICAS DE MAXSAT EN LOGICAS CLASICAS Y MULTIVALUADAS, LOGICAS GRADUADAS N... ver más

01/01/2019

UDL

43K€

Presupuesto del proyecto: 43K€

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT No se ha especificado una descripción o un objeto social para esta compañía.

Sin perfil tecnológico

Fecha límite participación Sin fecha límite de participación.

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

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UDL

Lider

Proyectos interesantes

TIN2012-39348-C02-01

Software

Data Science

45K€ Cerrado

TIN2009-14562-C05-01

Software

Data Science

189K€ Cerrado

PID2019-111544GB-C21

Data Science

Artificial Inte...

94K€ Cerrado

TIN2009-14562-C05-04

Software

Data Science

141K€ Cerrado

TIN2015-70266-C2-1-P

Software

Data Science

56K€ Cerrado

TIN2009-14562-C05-05

Software

Artificial Inte...

54K€ Cerrado

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

Líder del proyecto

UNIVERSITAT DE LLEIDA CCT No se ha especificado una descripción o un objeto social para esta compañía.

Sin perfil tecnológico

Presupuesto del proyecto 43K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EN ESTE PROYECTO, EL OBJETIVO PRINCIPAL ES AVANZAR EN EL ESTADO DEL ARTE EN MODELOS DE INFERENCIA TOLERANTES A LA INCONSISTENCIA EN DIFERENTES ESCENARIOS: TECNICAS DE MAXSAT EN LOGICAS CLASICAS Y MULTIVALUADAS, LOGICAS GRADUADAS NO CLASICAS, MARCOS DE ARGUMENTACION, TANTO EN ASPECTOS TEORICOS COMO PRACTICOS, Y EN SU APLICACION AL ANALISIS DE DISCUSIONES EN REDES SOCIALES,LA PRINCIPAL DIFICULTAD QUE QUEREMOS ABORDAR ES LA EXISTENCIA DE INCONSISTENCIA EN LAS BASES DE CONOCIMIENTO, UNA PROPIEDAD COMUN EN LAS BASES DE CONOCIMIENTO QUE PROVIENEN DE APLICACIONES REALES, ESPECIALMENTE CUANDO LA INFORMACION SE OBTIENE COMO LA AGREGACION DE INFORMACION PROVENIENTE DE DIFERENTES FUENTES,POR UN LADO, PLANEAMOS USAR EXTENSIONES DE DIFERENTES LOGICAS NO CLASICAS, BASADAS PRINCIPALMENTE EN LOGICAS DIFUSAS Y LOGICAS DIFUSAS CON MODALIDADES, PARA PODER EXTRAER INFORMACION UTIL DE ESTE TIPO DE BASES DE CONOCIMIENTO, Y PODER MANEJAR TANTO INCERTIDUMBRE COMO INCONSISTENCIA EN LA INFORMACION, DEFINIREMOS MODELOS SOBRE ESTAS LOGICAS EXPANDIDAS, ASI COMO ALGORITMOS DE INFERENCIA QUE PUEDEN USARSE PARA EXTRAER INFORMACION UTIL BAJO ESTAS NUEVAS LOGICAS, LOS ALGORITMOS ESTUDIADOS SERAN AD-HOC O BASADOS EN REDUCCIONES A SAT / MAXSAT,POR OTRO LADO, TAMBIEN PLANEAMOS CONSIDERAR UN ENFOQUE PARA TRABAJAR CON INFORMACION INCONSISTENTE BASADA EN EXTENSIONES DE MODELOS DE ARGUMENTACION, INCORPORANDO NUEVAMENTE INFORMACION INCIERTA E INCONSISTENTE, DEFINIREMOS MODELOS DE ARGUMENTACION Y ALGORITMOS PARA ELLOS, TRATANDO DE IDENTIFICAR CASOS ESPECIALES QUE PUEDAN RESOLVERSE CON ALGORITMOS EFICIENTES, TAMBIEN PLANEAMOS ESTUDIAR ALGORITMOS DE INFERENCIA APROXIMADOS PARA ESTOS PROBLEMAS, BASADOS EN METODOS DE APRENDIZAJE AUTOMATICO,COMO DOMINIO DE APLICACION, PLANEAMOS PROBAR NUESTROS MODELOS Y ALGORITMOS EN DIFERENTES PROBLEMAS RELACIONADOS CON EL ANALISIS DE DISCUSIONES Y FORUMS DE COMENTARIOS EN DIFERENTES REDES SOCIALES, DONDE LA INCONSISTENCIA ES UNA PROPIEDAD MUY COMUN EN ESTOS ESCENARIOS, PERO TAMBIEN PODEMOS ENCONTRAR INFORMACION INCIERTA, YA QUE NO TODOS LOS DATOS QUE ENCONTRAMOS EN ELLOS SIEMPRE SE CREEN QUE TIENEN LA MISMA FUERZA,EN ESTE SEGUNDO SUBPROYECTO, NOS ENFOCAMOS MAS EN LOS MODELOS Y ALGORITMOS DE ARGUMENTACION Y EN HERRAMIENTAS PARA LA EXTRACCION DE INFORMACION DE REDES SOCIALES CONCRETAS, LOGICAS NO CLASICAS\LOGICA DIFUSA\INFORMACION INCONSISTENTE\RESOLUCION MAXSAT\MODELOS ARGUMENTATIVOS\REDES SOCIALES

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores