liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Improved Algorithms for Allen’s Interval Algebra by Dynamic Programming with Sublinear Partitioning
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
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]

Available from: 2023-10-13 Created: 2023-10-13 Last updated: 2024-08-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Eriksson, LeifLagerkvist, Victor

Search in DiVA

By author/editor
Eriksson, LeifLagerkvist, Victor
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 102 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf