Resumen de Un modelo cualitativo basado en CLP para representar y razonar de manera uniforme con varios aspectos del espacio

María Teresa Escrig Monferrer , Francisco Toledo Lobo

• Con el objetivo de simular el razonamiento humano usando aspectos espaciales como orientación o distancia, se han desarrollado en los últimos años varios modelos cualitativos. Sin embargo, no existe un único modelo que permita representar y razonar con varios aspectos espaciales de manera uniforme. En este artículo se describe un modelo operacional utilizando programación lógica basada en restricciones (CLP) sobre dominios finitos, extendida con reglas de manejo de restricciones (CHRs), que permiten la integración de distintos aspectos espaciales en el mismo modelo, así como el uso de objetos puntuales y objetos extendidos como primitiva de razonamiento. Estos modelos espacial y operacional han sido aplicados al desarrollo de un demostrador: un Simulador de Navegación Cualitativa en el entorno estructurado de las calles de Castellón.