Razonamiento espacial cualitativo con relaciones cardinales basado en problemas de satisfacción de restricciones y lógicas modales

Resumen

El Razonamiento Espacial Cualitativo juega un papel muy importante en Inteligencia Artificial y las Ciencias de la Computación debido sobre todo al interés que despierta en distintas áreas de aplicación como, por ejemplo, los robots móviles, los sistemas de información geográfica, las bases de datos espaciales o la composición de textos. Las técnicas cualitativas de razonamiento y representación espacial ofrecen una forma de interacción con los datos espaciales más intuitiva y cercana a la forma de pensar de las personas que las técnicas púramente cuantitativas. Son varios los aspectos a tener en cuenta a la hora de formalizar el razonamiento espacial desde el punto de vista cualitativo. Por un lado están los aspectos ontológicos, es decir, cuáles son las entidades espaciales básicas (puntos, regiones, líneas, etc.) y las posibles relaciones entre ellas (topológicas, direccionales, de distancia, etc.). Por otro lado tenemos que elegir un lenguaje formal adecuado que nos permita representar los problemas de razonamiento asociados a dichas entidades y relaciones. Por último tenemos que identificar mecanismos eficientes para resolver dichos problemas. La combinación de todos estos aspectos ha dado lugar a una amplia variedad de modelos posibles para razonamiento espacial cualitativo. Esta tesis supone una aportación más al campo del Razonamiento Espacial Cualitativo, ofreciendo mejoras en algunos modelos ya existentes y proporcionando otros nuevos. La tesis se centra en modelos que consideran un espa