Resolución de restricciones geométricas. Selección de la solución deseada

Resumen

Una de las ventajas mas relevantes en el Diseño Asistido por Computador (CAD) ha sido el diseño basado en restricciones, El usuario describe un objeto mediante la definicion de un conjunto de elementos geometricos y un conjunto de restriccionies geometricas relativas a dichos elementos. La principal tarea de los sistemas CAD es comprobar si el conjunto de restricciones geometrica define de forma precisa el objeto, y en ese caso, determinar la posicion y orientacion de los elementos geometricos. Cuando existe una solucion, el usuario espera que el solver le proporcione una determinada instancia y no cualquier instancia del espacio de soluciones. El problema de generar automaticamente la instancia esperada es un problema abierto y se conoce como el problema de la selección de la solucion deseada. Existen diversas cuestiones que hacen que el problema de la selección de la sociedad deseada. Existen diversas cuestiones que hacen que el problema tenga una dificultad elevada. De importancia capital resulta el hecho que, hasta el momento, no se ha dado una definicion aceptable del propio problema es decir, hasta ahora no se sabe que es aquello que el usuario espera, y por tanto, no se sabe como caracterizar la solucion deseada. Los solvers actualmente existentes, cuando tratan el problema de las solucion deseada lo mas que hacen es ofrecer un sistema de navegacion interactiva por el espacio de soluciones. Dicha navegacion, basicamente, recorre de manera exahustiva al espacio de instancias solucion hasta que se encuentra la deseada. Dado que el numero de instancias es exponencial en el numero de elementos geometricos que intervienen en el problema, no parece esta una solucion practica viable. El objetivo principal de este trabajo es desarrollar un metodo que encuentre la solucion a un Problema de Satisfaccion de Restricciones Geometricas (PRSG), es decir, localice la solucion deseada por el usuario dentro de la familia de objetos generado