Obtención de Modelos 3D a partir de Proyecciones Axonométricas

Abstract

En este artículo presentamos un método computacional para la resolución del problema de la interpretación de una escena 3D a partir de una proyección axonométrica de la misma. Si bien este problema había sido tratado hasta ahora mediante técnicas basadas en SAT o CSPs, aquí proponemos un método basado en un tipo específico de fórmulas proposicionales multivaluadas. Nuestro método puede ser competitivo con SAT porque las fórmulas obtenidas son más compactas que las obtenidas con lógica clásica.