Prologused to Represent and Reason Qualitatively Over a Space Domain

Abstract

Spatial reasoning is a relevant topic in artificial intelligence with applications in geographical Information System, robotics, content-based image retrieval, traffic engineering. Additionally formal representation of knowledge allows the processing in a computer. Prolog is a programming language used in artificial intelligence that is useful to represent knowledge and perform a search, by asking questions in the knowledge base. Prolog can be used to develop a variety of applications like check the consistency or to perform any kind of reasoning. This article proposes the use of Prolog as a representation model and a reasoning engine to describe the topological relations between several objects in a geographic space, using the RCC model. The application of this simplifies the constructionprogram, allows us to focus on the spatial problem.