Finding a Solution, all Solutions, or the Most Probable Solution to a Temporal Interval Algebra Network

Abstract—Over the years, many implementations have been proposed for solving IA networks. These implementations are concerned with finding a solution efficiently. The primary goal of our implementation is simplicity and ease of use. We present an IA network implementation based on finite domain non-binary CSPs, and constraint logic programming. The implementation has a GUI which permits the drawing of arbitrary IA networks. We then show how the implementation can be extended to find all the solutions to an IA network. One application of finding all the solutions, is solving probabilistic IA networks. Keywords—Constraint logic programming, CSP, logic, temporal reasoning