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: a Dynamic Programming Approach
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.
2021 (English)In: Proceedings of the 30th International Joint Conference on Artificial Intelligence / [ed] Zhi-Hua Zhou, International Joint Conferences on Artificial Intelligence , 2021, p. 1873-1879Conference paper, Published paper (Refereed)
Abstract [en]

The constraint satisfaction problem (CSP) is an important framework in artificial intelligence used to model e.g. qualitative reasoning problems such as Allen's interval algebra (A). There is strong practical incitement to solve CSPs as efficiently as possible, and the classical complexity of temporal CSPs, including A, is well understood. However, the situation is more dire with respect to running time bounds of the form O(f(n)) (where n is the number of variables) where existing results gives a best theoretical upper bound 2^O(n * log n) which leaves a significant gap to the best (conditional) lower bound 2^o(n). In this paper we narrow this gap by presenting two novel algorithms for temporal CSPs based on dynamic programming. The first algorithm solves temporal CSPs limited to constraints of arity three in O(3^n) time, and we use this algorithm to solve A in O((1.5922n)^n) time. The second algorithm tackles A directly and solves it in O((1.0615n)^n), implying a remarkable improvement over existing methods since no previously published algorithm belongs to O((cn)^n) for any c. We also extend the latter algorithm to higher dimensions box algebras where we obtain the first explicit upper bound.

Place, publisher, year, edition, pages
International Joint Conferences on Artificial Intelligence , 2021. p. 1873-1879
Series
Proceedings of the International Joint Conference on Artificial Intelligence, ISSN 1045-0823
Keywords [en]
Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning Constraints and SAT: Constraint Satisfaction
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-198451DOI: 10.24963/ijcai.2021/258ISI: 001202335501130Scopus ID: 2-s2.0-85125470528ISBN: 9780999241196 (electronic)OAI: oai:DiVA.org:liu-198451DiVA, id: diva2:1804539
Conference
the Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 19-27 August 2021
Available from: 2023-10-13 Created: 2023-10-13 Last updated: 2024-09-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

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: 85 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