Abstract

Relation algebras have been used for various kinds of temporal reasoning. Typically the network satisfaction problem turns out to be NP-hard. For the Allen interval algebra it is often convenient to use the propagation algorithm. This algorithm is sound and runs in cubic time but it is not complete. Here we define a series of tractable algorithms that provide approximations to solving the network satisfaction problem for any finite relation algebra. For algebras where all 3-consistent atomic networks are satisfiable, like the Allen interval algebra, we can improve these algorithms so that each algorithm runs in cubic time. These algorithms improve on the Allen propagation algorithm and converge on a complete algorithm.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call