Resumen de Razonamiento espacial con relaciones cardinales basado en problemas de satisfacción de restricciones y lógicas modales
- español
Este artículo es un resumen de la tesis doctoral que lleva el mismo nombre y cuyo objetivo es proponer mejoras en modelos existentes de razonamiento espacial cualitativo con relaciones cardinales, y proponer nuevos modelos y técnicas de razonamiento utilizando algunos resultados previos del razonamiento temporal cualitativo. Los modelos propuestos se basan en dos formalismos muy utilizados para razonamiento cualitativo: los problemas de satisfacción de restricciones y las lógicas modales.
- English
This paper is a summary of the PhD Thesis, entitled the same, whose main goal is to propose improvements to existing models for qualitative spatial reasoning with cardinal direction relations, and to propose new models and reasoning techniques using some previous results from qualitative temporal reasoning. The proposed models are based on two widely used formalisms for Qualitative Reasoning: Constraint Satisfaction Problems and Modal Logics.
