Prologused to Represent and Reason Qualitatively Over a Space Domain

摘要

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