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

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... ver más

01/01/2011

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 3669

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

0% 100%

Participantes

Lider

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

Proyectos interesantes

TIN2009-14704-C03-03 SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACI... 82K€ Cerrado

JCI-2009-05453 Non-classical logics for Artificial Intelligence, Many-value... 101K€ Cerrado

LoC The Logic of Conceivability Modelling Rational Imagination... 2M€ Cerrado

TIN2012-39348-C02-01 ESTUDIO Y DESARROLLO DE TECNOLOGIAS PARA LA RESOLUCION EFICI... 45K€ Cerrado

InqML Inquisitive Modal Logic 971K€ Cerrado

PROCESS REASONING Reasoning about processes a logico philosophical investigat... 207K€ Cerrado

Líder del proyecto

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

Total investigadores 3669

Presupuesto del proyecto 58K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores