Solución de problemas de dominios finitos con restricciones en hojas de cálculo

Abstract

Las aplicaciones de hoja de cálculo se utilizan como herramienta para el manejo de volumenes grandes de datos en estructura tabulada. Estas herramientas que se usan para diversas tareas, entre ellas la organización y representación de información. En su concepción básica proveen de una herramienta potente a sus usuarios pero aun así se podrían extender dotandolas de mucha más capacidad prestando atención a los problemas concretos que sus usuarios representan en ella, creando módulos que facilitarían la resolución de esos problemas. En esta tesis de proyecto final de carrera se propone la extensión de la funcionalidad de las hojas de cálculo para resolver problemas de dominios finitos. El objetivo es proveer al usuario con la capacidad de resolver típicos problemas de dominios finitos en el dia a dia, como puede ser la organización de un horario escolar, de forma que estableciendo una serie de restricciones en lenguaje lógico la hoja proporcione una solución posible. Para alcanzar esta meta se ha definido un pseudo lenguaje lógico para modelar los problemas de dominios finitos, un compilador para traducir estos modelos a código prolog, y algunos métodos predefinidos para ayudar al usuario. El resultado es un programa java, el cual interactúa con el motor de inferencia de Ciao Prolog con la extensión CLP(FD), es decir, soportando restricciones sobre dominios finitos, y que puede ser conectado a diversas interfaces de usuario como podrian ser una aplicacion de hojas de calculo o un servicio web como las Hojas de calculo de Google.