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
Complexity of Faceted Explanations in Propositional Abduction
Jönköping University, School of Engineering, JTH, Department of Computer Science and Informatics.ORCID iD: 0000-0001-8551-1624
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. Jönköping University.
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. Linköping University, Department of Computer and Information Science, Software and Systems.ORCID iD: 0000-0002-8681-7470
2025 (English)In: Theory and Practice of Logic Programming, ISSN 1471-0684, E-ISSN 1475-3081, Vol. 25, no 4, p. 775-793Article in journal (Refereed) Published
Abstract [en]

Abductive reasoning is a popular non-monotonic paradigm that aims to explain observedsymptoms and manifestations. It has many applications, such as diagnosis and planning in artificial intelligence and database updates. In propositional abduction, we focus on specifying knowledge by a propositional formula. The computational complexity of tasks in propositional abduction has been systematically characterized – even with detailed classifications for Boolean fragments. Unsurprisingly, the most insightful reasoning problems (counting and enumeration) are computationally highly challenging. Therefore, we consider reasoning between decisions and counting, allowing us to understand explanations better while maintaining favorable complexity.We introduce facets to propositional abductions, which are literals that occur in some explanation (relevant) but not all explanations (dispensable). Reasoning with facets provides a more fine-grained understanding of variability in explanations (heterogeneous). In addition, we consider the distance between two explanations, enabling a better understanding of heterogeneity/homogeneity. We comprehensively analyze facets of propositional abduction in various settings, including analmost complete characterization in Post’s framework.

Place, publisher, year, edition, pages
Cambridge University Press, 2025. Vol. 25, no 4, p. 775-793
Keywords [en]
computational complexity, fine-grained reasoning, Post’s framework, propositional abduction
National Category
Artificial Intelligence
Identifiers
URN: urn:nbn:se:liu:diva-214265DOI: 10.1017/S1471068425100215ISI: 001564073400001Scopus ID: 2-s2.0-105015159666OAI: oai:DiVA.org:liu-214265DiVA, id: diva2:1963259
Conference
ICLP 2025 - Unical, Rende (CS), Italy, September 12-19, 2025
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, VR-2022-03214Available from: 2025-06-03 Created: 2025-06-03 Last updated: 2025-11-05

Open Access in DiVA

fulltext(580 kB)45 downloads
File information
File name FULLTEXT02.pdfFile size 580 kBChecksum SHA-512
3d66347b01f9f826104534d6e85bb2818673bad559860dd8a884fba7c531ef65678fca97279e8998eaa4de9638196662f2878f2b72feab2fadf211b79d9c88d9
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Lagerkvist, VictorFichte, Johannes Klaus

Search in DiVA

By author/editor
Schmidt, JohannesMaizia, MohamedLagerkvist, VictorFichte, Johannes Klaus
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & EngineeringSoftware and Systems
In the same journal
Theory and Practice of Logic Programming
Artificial Intelligence

Search outside of DiVA

GoogleGoogle Scholar
Total: 45 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

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