Solving Qualitative Spatio-temporal Reasoning Problems by Means of Answer Set Programming: Methods and Experiments
Christopher Brenton, Wolfgang Faber, Sotiris Batsakis · Huddersfield Research Portal (University of Huddersfield) · 2015
We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. Furthermore, we provide a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems using the various techniques. Finally, we report on an experimental analysis of solving consistency problems for the Region Connection Calculus with eight base relations (RCC-8).