SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA BASADO...
SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO CON INFORMACION INCOMPLETA BASADOS EN SAT Y CSP: FUNDAMENTOS LOGICOS
EL OBJETIVO CENTRAL DEL PROYECTO ES EL ESTUDIO Y DESARROLLO DE SISTEMAS EFICIENTES QUE PERMITAN EXTRAER INFORMACION EN EL MARCO DE BASES O FUENTES DE CONOCIMIENTO QUE CONTENGAN INFORMACION INCOMPLETA, CON LO QUE PODRA SER INFORMAC...
EL OBJETIVO CENTRAL DEL PROYECTO ES EL ESTUDIO Y DESARROLLO DE SISTEMAS EFICIENTES QUE PERMITAN EXTRAER INFORMACION EN EL MARCO DE BASES O FUENTES DE CONOCIMIENTO QUE CONTENGAN INFORMACION INCOMPLETA, CON LO QUE PODRA SER INFORMACION VAGA E INCONSISTENTE, POR UN LADO, PRETENDEMOS AVANZAR EN EL ESTUDIO DE LOGICAS APROPIADAS PARA DESCRIBIR ESA CLASE DE INFORMACION, PRINCIPALMENTE LOGICAS BASADAS EN T-NORMAS Y EXTENSIONES FUZZY DE LOGICAS DE DESCRIPCION, POR OTRO LADO, PRETENDEMOS AVANZAR EN EL ESTUDIO DE SISTEMAS EFICIENTES DE RAZONAMIENTO AUTOMATICO QUE PERMITAN INFERIR INFORMACION VALIDA A PARTIR DE ESAS FUENTES, EN EL CASO DE PROBLEMAS DE INCONSISTENCIA EN LA INFORMACION EXTRAIDA, LOS PROCEDIMIENTOS DE RAZONAMIENTO PUEDEN LLEGAR A CONCLUIR INFORMACION CONTRADICTORIA, ASI PUES UNO DE NUESTROS OB JETIVOS SERA ESTUDIAR LA APLICACION Y DESARROLLO DE MODELOS ARGUMENTATIVOS QUE PERMITAN JUSTIFICAR ANTE EL USUARIO FINAL LA SOLIDEZ DE LAS CONCLUSIONES OBTENIDAS, PARA ACOTAR AL MAXIMO EL TIEMPO DE RESPUESTA DE LOS SISTEMAS DE RAZONAMIENTO SE ESTUDIARA LA APLICACION DE TRANSFORMACIONES EFICIENTES BASADAS EN LOS PROBLEMAS DE SATISFACTIBILIDAD Y MAXIMA SATISFACTIBILIDAD, PARA LOS QUE EXISTEN ALGORITMOS ALTAMENTE EFICIENTES, FINALMENTE, A TRAVES DEL ESTUDIO DE LA COMPLEJIDAD EN EL CASO PEOR Y EN EL CASO TIPICO ACOTAREMOS LA DIFICULTAD DE RESOLUCION DE CASOS PARTICULARES DE LOS PROBLEMAS DE RAZONAMIENTO, PARA LA COMPLEJIDAD EN EL CASO TIPICO, EMPLEAREMOS TANTO GENERADORES DE PROBLEMAS ARTIFICIALES COMO PROBLEMAS REALES, ACUDIENDO SIEMPRE QUE SEA POSIBLE A ONTOLOGIAS PROVENIENTES DE LA WEB SEMANTICA DONDE PODAMOS INCORPORAR EL TRATAMIENTO DE LA INFORMACION IMPRECISA SIGUIENDO LAS LOGICAS DE DESCRIPCION FUZZY QUE ESTUDIEMOS, LOGICAS BORROSAS\RAZONAMIENTO AUTOMATICO\SAT\CSP\INFORMACION INCOMPLETA\INCERTIDUMBRE\ARGUMENTACION\LOGICAS DE DESCRIPCION\COMPLEJIDAD COMPUTACIONAL\RAZONAMIENTO TRATABLEver más
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.