Geometric reasoning for the determination of the position of objects linked by spatial relationships

EN CIERTAS AREAS DE LA IA, TALES COMO LA PROGRAMACION DE ROBOTS A NIVEL DE OBJETO, PLANIFICACION DE ENSAMBLADOS, INTERPRETACION DE IMAGENES, ETC,, SE PRECISA DE CIERTA CAPACIDAD PARA HACER RAZONAMIENTO GEOMETRICO, ES DECIR, HALLAR LAS POSICIONES Y ORIENTACIONES DE UN CONJUNTO DE CUERPOS DE FORMA QUE SE SATISFAGAN UNA SERIE DE RELACIONES ESPACIALES ENTRE ELLOS. LOS RESULTADOS APORTADOS POR LA CINEMATICA A LA SOLUCION DE ESTE PROBLEMA PRESENTAN UN ELEVADO COSTE DE COMPUTACIONAL Y NO OFRECEN LAS CONFIGURACIONES FACTIBLES DE FORMA EXPLICITA, COMO SERIA DE DESEAR. POR OTRO LADO, LOS TRABAJOS EXISTENTES EN IA SE BASAN EN SU MAYORIA EN LA COMPOSICION E INTERSECCION DE RESTRICCIONES, LO QUE, AL NO SER ESTAS OPERACIONES CERRADAS, CONLLEVA LA INCOMPLETITUD DE TALES PROCEDIMIENTOS. EN ESTA TESIS SE PROPONE UN NUEVO ENFOQUE EN EL QUE LA SOLUCION SE EXPRESA MEDIANTE LOS RANGOS DE VALORES QUE CADA VARIABLE PUEDE TOMAR PARA DAR LUGAR A UNA CONFIGURACION FACTIBLE. SE PRESENTA UN PROCEDIMIENTO EFICIENTE PARA HALLAR TALES RANGOS EN CUALQUIER CICLO PLANO O ESFERICO, ASI COMO UN ALGORITMO DE PROPAGACION DE INTERVALOS QUE PERMITE INCORPORAR RESTRICCIONES DE NO-INTERSECCION Y HALLAR SOLUCIONES COMPATIBLES CON VARIOS CICLOS CONECTADOS. EL PROCEDIMIENTO PUEDE TAMBIEN APLICARSE A UNA CLASE RESTRINGIDA DE PROBLEMAS ESPACIALES.