El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento analizando en detalle sólo uno de los casos simétricos y luego generalizar el resu...
En esta tesis trabajaremos con el concepto de simetría en el contexto del razonamiento automático. Si podemos identificar las simetrías de un problema, podríamos utilizarlas para reducir la dificultad del razonamiento analizando en detalle sólo uno de los casos simétricos y luego generalizar el resultado a los demás. Esto es exactamente lo que tratamos de hacer cuando utilizamos las simetrías de un problema en el contexto de razonamiento automático: la presencia de simetrías en subespacios que no contienen soluciones pueden ser de utilidad para nuestro algoritmo ya que podemos guiarlo para que busque soluciones en otras partes del espacio de búsqueda. En particular, nos enfocaremos en la detección de simetrías en lógicas de descripción.
Aprovecharemos estudios previos en lógicas modales y lógicas de descripción para desarrollar un nexo sintáctico y semántico entre ambas lógicas y así trasladar todos los resultados teóricos necesarios para la detección de simetrías obtenidos ya para lógicas modales hacia el caso de las lógicas de descripción.
Con respecto al marco práctico, describiremos la herramienta implementada para la detección de simetrías en lógicas de descripción y estudiaremos cada uno de sus módulos a través de un simple caso de uso. Presentaremos también resultados de un estudio empírico al probar nuestra herramienta con ontoloías obtenidas de la web y utilizadas en razonadores, y analizaremos dichos resultados: tiempos de ejecución, tamaños de las ontologías, tamaños de los grafos y cantidad de simetrías obtenidas.