Innovating Works

FFI2011-29609-C02-01

Financiado
CONCIENCIA, LOGICA Y COMPUTACION
ABORDAREMOS UNA SERIE DE FENOMENOS CON MARCADAS DESVIACIONES DEL RAZONAMIENTO TRADICIONAL, DIFICILMENTE MODELIZABLES MEDIANTE LOGICA CLASICA, PERO QUE SE OBSERVAN COTIDIANAMENTE, NO SOLO EN LA PROPIA INTELIGENCIA ARTIFICIAL, SINO... ABORDAREMOS UNA SERIE DE FENOMENOS CON MARCADAS DESVIACIONES DEL RAZONAMIENTO TRADICIONAL, DIFICILMENTE MODELIZABLES MEDIANTE LOGICA CLASICA, PERO QUE SE OBSERVAN COTIDIANAMENTE, NO SOLO EN LA PROPIA INTELIGENCIA ARTIFICIAL, SINO TAMBIEN EN LAS PRINCIPALES DISCIPLINAS QUE DETERMINAN NUESTRA SOCIEDAD DEL CONOCIMIENTO. SE ESTUDIARAN ESTOS FENOMENOS DE INFORMACION (COMO INFERENCIAS NO MONOTONAS, ABDUCCION, CIRCUNSCRIPCION, INCERTIDUMBRE, CONOCIMIENTO COMUN, ETC.), CIERTAMENTE COMPLEJOS, UTILIZANDO HERRAMIENTAS LOGICAS Y SEMANTICAS, CON UNA PERSPECTIVA INTERDISCIPLINAR, PRESTANDO ESPECIAL ATENCION A CIERTAS LOGICAS NO CLASICAS, SU UNIFICACION, DESARROLLO Y, A SU VEZ NUEVAS APLICACIONES EN EL ESTUDIO DE TALES FENOMENO. SE RESUMEN LOS GRUPOS DE ACTIVIDADES EN LO QUE SIGUE1. INVESTIGACION DE SISTEMAS DINAMICOS PARA EL ESTUDIO DE ESTRUCTURAS SEMANTICAS CAPACES DE MODELAR CAMBIOS CONTINUOS A TRAVES DEL TIEMPO, ASI COMO SISTEMAS EN LOS QUE SE INTRODUZCAN NUEVOS OPERADORES MODALES2. NUEVOS LENGUAJES E INTERPRETACIONES QUE NOS PERMITAN RAZONAR ACERCA DE LA ABDUCCION, NO YA COMO PROCESO METATEORICO, SINO COMO PROCESO DINAMICO, BUSCANDO EL MARCO FORMAL QUE LO EXPRESE, TOMANDO COMO PARAMETRO INFERENCIAL LAS LOGICAS NO CLASICAS, ESPECIALMENTE LOGICAS MULTIMODALES, LOGICAS DE LA INCONSISTENCIA FORMAL, LOGICAS ADAPTATIVAS, ETC.3. APLICACIONES GENERALES DE LOS TRATAMIENTOS SINTACTICOS Y SEMANTICOS DE ESTOS SISTEMAS NO CLASICOS, TANTO EN FILOSOFIA DEL CONOCIMIENTO COMO EN COMPUTACION Y LINGUISTICA, ESPECIALMENTE EN MODELIZACION DE FENOMENOS DE CARACTER DINAMICO Y SECUENCIAL, QUE PUEDAN SER IMPLEMENTADAS EN UN SISTEMA CONVERSACIONAL DE PROPOSITO GENERAL. OGICA EPISRTEMICA DINAMICA\SEMANTICA FORMAL\CIRCUNSCRIPCION\ABDUCCION\LOGICAS MULTIMODALES ver más
01/01/2011
US
58K€
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 2011-01-01
Presupuesto El presupuesto total del proyecto asciende a 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