RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS
ENFOCADO A LA INVESTIGACION FUNDAMENTAL Y LA GENERACION DE CONOCIMIENTO, ESTE PROYECTO ABORDA LA INTEGRACION DE RAZONAMIENTO TEMPORAL NO MONOTONO EN DISTINTOS ASPECTOS DE REPRESENTACION DE CONOCIMIENTO EN INTELIGENCIA ARTIFICIAL,...
ver más
UNIVERSIDAD DE A CORUÑA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores88
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 2017-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.
¿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
Información proyecto TIN2017-84453-P
Líder del proyecto
UNIVERSIDAD DE A CORUÑA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores88
Presupuesto del proyecto
85K€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
ENFOCADO A LA INVESTIGACION FUNDAMENTAL Y LA GENERACION DE CONOCIMIENTO, ESTE PROYECTO ABORDA LA INTEGRACION DE RAZONAMIENTO TEMPORAL NO MONOTONO EN DISTINTOS ASPECTOS DE REPRESENTACION DE CONOCIMIENTO EN INTELIGENCIA ARTIFICIAL, APLICADOS AL PARAGUAS COMUN DE ANSWER SET PROGRAMMING (ASP), UN PARADIGMA EXITOSO PARA LA RESOLUCION PRACTICA DE PROBLEMAS, COMO BASE FORMAL, EL PROYECTO SE APOYARA EN UN FORMALISMO MODAL TEMPORAL NO MONOTONO CONOCIDO COMO TEMPORAL EQUILIBRIUM LOGIC, ESTUDIADO AMPLIAMENTE POR LOS MIEMBROS DEL GRUPO Y QUE HA GANADO POPULARIDAD RECIENTE EN LA COMUNIDAD ASP, LOS RESULTADOS FUNDAMENTALES SERAN ACOMPAÑADOS POR HERRAMIENTAS COMPUTACIONALES Y PROTOTIPOS PARA SU USO EN DOMINIOS DINAMICOS Y, EN PARTICULAR, EN LA APLICACION A TRES ESCENARIOS REALES, USADOS COMO PRUEBAS DE CONCEPTO, QUE PROVIENEN DE LAS AREAS DE MEDICINA E INFORMATICA FORENSE RAZONAMIENTO TEMPORAL\ANSWER SET PROGRAMMING\LÓGICAS NO CLÁSICAS\RAZONAMIENTO NO MONÓTONO\REPRESENTACIÓN DEL CONOCIMIENTO