Innovating Works

PID2019-109152GB-I00

Financiado
HERRAMIENTAS LOGICAS Y ALGEBRAICAS PARA EL ANALISIS DE SISTEMAS BASADOS EN CONOC...
HERRAMIENTAS LOGICAS Y ALGEBRAICAS PARA EL ANALISIS DE SISTEMAS BASADOS EN CONOCIMIENTO. APLICACIONES EL OBJETIVO GENERAL DEL PROYECTO ES INVESTIGAR TANTO EL DESARROLLO TEORICO COMO LAS APLICACIONES DE LOS METODOS DE RAZONAMIENTO BASADOS EN LA OMISION DE VARIABLE (VARIABLE FORGETTING) Y METODOS PARA LA EXTRACCION DE LA RETRACCION... EL OBJETIVO GENERAL DEL PROYECTO ES INVESTIGAR TANTO EL DESARROLLO TEORICO COMO LAS APLICACIONES DE LOS METODOS DE RAZONAMIENTO BASADOS EN LA OMISION DE VARIABLE (VARIABLE FORGETTING) Y METODOS PARA LA EXTRACCION DE LA RETRACCION CONSERVATIVA DE NATURALEZA ALGEBRAICA, NO SOLO NOS CENTRAREMOS EN EL PROBLEMA DE LA CONSECUENCIA LOGICA, TAMBIEN SE ABORDAN OTROS PROBLEMAS RELACIONADOS (TRANSFORMACIONES, ACTUALIZACION Y FUSION DE BASES DE CONOCIMIENTO, RELACIONES SEMANTICAS ENTRE VARIABLES, ETC,) Y APLICACIONES: ASPECTOS ALGORITMICOS PARA SAT NO CLAUSAL, QBF, RAZONAMIENTO CON ATRIBUTOS EN ANALISIS FORMAL DE CONCEPTOS (Y SUS APLICACIONES REALES), ETC, TAMBIEN SE PRETENDE VERIFICAR FORMALMENTE LOS METODOS DE RAZONAMIENTO, ASI COMO SU IMPLEMENTACION, LOGICA COMPUTACIONAL\METODOS ALGEBRAICOS PARA EL RAZONAMIENTO\REPRESENTACION DEL CONOCIMIENTO Y RAZONA\ANALISIS FORMAL DE CONCEPTOS\VERIFICACION FORMAL ver más
01/01/2019
US
40K€
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 2019-01-01
Presupuesto El presupuesto total del proyecto asciende a 40K€
Líder del proyecto
UNIVERSIDAD DE SEVILLA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 3670