期刊名称：International Journal of Artificial Intelligence & Applications (IJAIA)
印刷版ISSN：0976-2191
电子版ISSN：0975-900X
出版年度：2017
卷号：8
期号：4
页码：1
DOI：10.5121/ijaia.2017.8401
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：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.
关键词：Knowledge based systems; Prolog; RCC model; topology; AI languages; Programming languages; spatial;reasoning; spatial representation.
