Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Jason Jingshi Li
2012 2012 IEEE 24th International Conference on Tools with Artificial Intelligence  
Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and temporal reasoning into logic programs for answer set programming solvers. Each encoding reflects a different type of modeling abstraction. We evaluate our approach with two of the most well known qualitative spatial and temporal reasoning
more » ... ral reasoning formalisms, the Interval Algebra and Region Connection Calculus. Our results show some surprising findings, including the strong performance of the solver for disjunctive logic programs over the non-disjunctive ones on our benchmark problems.
doi:10.1109/ictai.2012.87 dblp:conf/ictai/Li12 fatcat:inxyxw47gnhszaq4ycg3risziq