Improved Algorithms for Allen’s Interval Algebra by Dynamic Programming with Sublinear Partitioning
2023 (English)In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI-INT JOINT CONF ARTIF INTELL , 2023, p. 1919-1926Conference paper, Published paper (Refereed)
Abstract [en]
Allen's interval algebra is one of the most well-known calculi in qualitative temporal reasoning with numerous applications in artificial intelligence. Very recently, there has been a surge of improvements in the fine-grained complexity of NP-hard reasoning tasks in this algebra, which has improved the running time from the naive 2^O(n^2) to O*((1.0615n)^n), and even faster algorithms are known for unit intervals and the case when we a bounded number of overlapping intervals. Despite these improvements the best known lower bound is still only 2^o(n) under the exponential-time hypothesis and major improvements in either direction seemingly require fundamental advances in computational complexity. In this paper we propose a novel framework for solving NP-hard qualitative reasoning problems which we refer to as dynamic programming with sublinear partitioning. Using this technique we obtain a major improvement of O*((cn/log(n))^n) for Allen's interval algebra. To demonstrate that the technique is applicable to further problem domains we apply it to a problem in qualitative spatial reasoning, the cardinal direction calculus, and solve it in O*((cn/log(n))^(2n/3)) time. Hence, not only do we significantly advance the state-of-the-art for NP-hard qualitative reasoning problems, but obtain a novel algorithmic technique that is likely applicable to many problems where 2^O(n) time algorithms are unlikely.
Place, publisher, year, edition, pages
IJCAI-INT JOINT CONF ARTIF INTELL , 2023. p. 1919-1926
Keywords [en]
Constraint Satisfaction and Optimization: CSO: Constraint satisfaction Knowledge Representation and Reasoning: KRR: Qualitative, geometric, spatial, and temporal reasoning
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-198449DOI: 10.24963/ijcai.2023/213ISI: 001202344202001ISBN: 9781956792034 (print)OAI: oai:DiVA.org:liu-198449DiVA, id: diva2:1804537
Conference
International Joint Conference on Artificial Intelligence, Macao, S.A.R, 19-25 August, 2023
Note
Funding Agencies|National Graduate School in Computer Science (CUGS), Sweden; Swedish Research Council (VR) [2019-03690]
2023-10-132023-10-132024-08-27Bibliographically approved