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
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
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.
2022 (English)In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-22) / [ed] Luc De Raedt, International Joint Conferences on Artificial Intelligence , 2022, p. 1804-1810Conference paper, Published paper (Refereed)
Abstract [en]

Qualitative reasoning is an important subfeld ofartifcial intelligence where one describes relationships with qualitative, rather than numerical, relations. Many such reasoning tasks, e.g., ALLEN’SINTERVAL ALGEBRA, can be solved in 2O(n·log n) time, but single-exponential running times 2O(n) are currently far out of reach. In this paper we consider single-exponential algorithms via a multivariate analysis consisting of a fine-grained parameter n (e.g., the number of variables) and a coarsegrained parameter k expected to be relatively small.We introduce the classes FPE and XE of problems solvable in f(k) · 2O(n), respectively f(k)n,time, and prove several fundamental properties ofthese classes. We proceed by studying temporal reasoning problems and (1) show that the PARTIALLYORDERED TIME problem of effective width k is solvable in 16kn time and is thus included in XE, and (2) that the network consistency problem for ALLEN’S INTERVAL ALGEBRA with no intervaloverlapping with more than k others is solvable in (2nk)2k· 2n time and is included in FPE. Our multivariate approach is in no way limited to these tospecifc problems and may be a generally useful approach for obtaining single-exponential algorithms. 

Place, publisher, year, edition, pages
International Joint Conferences on Artificial Intelligence , 2022. p. 1804-1810
Series
Proceedings of the International Joint Conference on Artificial Intelligence, ISSN 1045-0823
Keywords [en]
Constraint Satisfaction and Optimization: Constraint Satisfaction
National Category
Computer Sciences Computational Mathematics
Identifiers
URN: urn:nbn:se:liu:diva-198450DOI: 10.24963/ijcai.2022/251Scopus ID: 2-s2.0-85137850976ISBN: 9781956792003 (electronic)OAI: oai:DiVA.org:liu-198450DiVA, id: diva2:1804538
Conference
International Joint Conference on Artificial Intelligence, Messe Wien, Vienna, Austria, July 23-29, 2022
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 textScopusPaper

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 SciencesComputational Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 83 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