Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2009-09492

Financiado

MARCO LOGICO-COMPUTACIONAL PARA LA EVOLUCION DE TEORIAS SOBRE CONCEPTOS FORMALES

EL PROYECTO CONSISTE EN LA ELABORACION DE UN MARCO LOGICO-COMPUTACIONAL SOBRE EL QUE FUNDAMENTAR EL MANEJO Y APLICACION DE LA EVOLUCION DE LAS TEORIAS SOBRE CONCEPTOS FORMALES, ESPECIFICADAS EN FORMALISMOS COMO EL ANALISIS FORMAL... ver más

01/01/2009

58K€

Presupuesto del proyecto: 58K€

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

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2009-01-01

0% 100%

Participantes

Lider

Proyectos interesantes

TIN2017-87610-R RAZONAMIENTO AUTOMATICO, EJECUCION DE MODELOS Y ANALISIS DE... 161K€ Cerrado

TIN2009-13692-C03-03 EVOLUCION DEL RAZONAMIENTO BASADO EN CASOS PARA APLICACIONES... 180K€ Cerrado

TIN2009-14562-C05-04 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 141K€ Cerrado

TIN2009-14562-C05-03 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 22K€ Cerrado

TIN2009-14562-C05-05 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 54K€ Cerrado

TIN2009-14562-C05-01 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 189K€ Cerrado

Últimas noticias

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

29-11-2024: CMVAMADRID En las últimas 48 horas el Organismo CMVAMADRID ha otorgado 37 concesiones

Líder del proyecto

UNIVERSIDAD DE SEVILLA

Total investigadores 3670

Presupuesto del proyecto 58K€

Descripción del proyecto EL PROYECTO CONSISTE EN LA ELABORACION DE UN MARCO LOGICO-COMPUTACIONAL SOBRE EL QUE FUNDAMENTAR EL MANEJO Y APLICACION DE LA EVOLUCION DE LAS TEORIAS SOBRE CONCEPTOS FORMALES, ESPECIFICADAS EN FORMALISMOS COMO EL ANALISIS FORMAL DE CONCEPTOS, LOGICAS DESCRIPTIVAS (O LOGICA DE PRIMER ORDEN) Y KIF, E INCLUSO LAS ESPECIFICACIONES E INTERPRETACIONES ALGEBRAICAS DE SISTEMAS BASADOS EN CONOCIMIENTO Y ONTOLOGIAS, DESEAMOS QUE ESTE MARCO SIRVA DE SOPORTE -CON FIABILIDAD LOGICA- PARA EL DESARROLLO DE ALGORITMOS DE EVOLUCION, CONTROL Y REPARACION DE ESTAS TEORIAS, ALGORITMOS QUE SERAN IMPLEMENTADOS EN SISTEMAS PARA LA REVISION, SUPERVISION Y MANTENIMIENTO DE ONTOLOGIAS, EL MARCO SE APLICARA Y ADAPTARA, CONCRETAMENTE, A CUATRO CASOS DISTINTOS PERO RELACIONADOS: LA CREACION DE INTERFACES INTELIGENTES PARA EL MANEJO DE ONTOLOGIAS, LA EVOLUCION DE ONTOLOGIAS ASOCIADAS A REDES SOCIALES, LA DOCUMENTACION SOCIAL FIABLE DE ONTOLOGIAS DE DOMINIO, Y EL MANTENIMIENTO DE ONTOLOGIAS EN LA WEB 2,0 MOVIL,, LOS ASPECTOS MAS RELEVANTES DE ESTA PROPUESTA SON: ¿ LA CARACTERIZACION DEL MARCO COMO UNA CAPA DE FIABILIDAD LOGICA SOBRE LA QUE CONSTRUIR HERRAMIENTAS QUE PERMITAN EL MANEJO FIABLE DE CONCEPTUALIZACIONES POR PARTE DE NO ESPECIALISTAS, CON EL OBJETIVO DE SALVAR LA INCIPIENTE BRECHA SEMANTICA, ¿ DISEÑO DE FACTORES DE ENTROPIA QUE ASISTAN A LA EVOLUCION CONTROLADA DE ONTOLOGIAS EXTRAIDAS POR TECNICAS DE SEMANTICA EMERGENTE Y QUE ESTEN BASADOS EN FACTORES LOGICOS COMPUTACIONALES,¿ IMPLEMENTACION DE LOS SISTEMAS: UN OBJETIVO FUNDAMENTAL DEL PROYECTO ES QUE LOS RESULTADOS FACILITEN LA IMPLEMENTACION DE SISTEMAS EN LOS CASOS DE ESTUDIO, ¿ ES IMPORTANTE DESTACAR QUE SE PRETENDE QUE TODAS LAS NOCIONES INTRODUCIDAS Y ESTUDIADAS TENGAN UN FUERTE COMPONENTE ALGORITMICO, Y SE DISEÑARAN NUEVOS METODOS DE RAZONAMIENTO AUTOMATIZADO EN BASE A ESTAS, LOGICA COMPUTACIONAL\RAZONAMIENTO AUTOMATICO\REPRESENTACION DEL CONOCIMIENTO

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores