System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
1213141516171815 of 63
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
Back to the future: revival of evidence theory and modal logic for robust and interpretable AI
Sirris, EluciDATA Lab, Brussels, Belgium.
Blekinge Institute of Technology, Faculty of Computing, Department of Computer Science.ORCID iD: 0000-0003-3128-191x
2026 (English)In: 39th Canadian Conference on Artificial Intelligence / [ed] Bouzar-Benlabiod, L Leung, C, JMLR-Journal Machine Learning Research , 2026, Vol. 318, p. 759-770Conference paper, Published paper (Refereed)
Abstract [en]

Years ago, when AI research was still predominantly a theoretical endeavor due to the scarcity of data, we developed a multi-valued modal logic interpretation of evidence measures. This work attracted some interest within the research community at the time but was gradually forgotten, even by us. Only recently have we revisited this modal logic interpretation of evidence theory, with the aim of developing neuro-symbolic modelling workflows capable of handling imperfect real-world data. The purpose of this position paper is to highlight the largely unexploited potential of these formalisms and to encourage the research community to further develop them toward more reliable, genuinely reasoning, and interpretable AI models. We begin by providing a concise overview of the key concepts underlying multi-valued mappings, evidence theory, and modal logic, along with our proposed multi-valued modal logic interpretation of evidence measures. We then present recent results demonstrating how these interpretations can be used to learn class expressions in weakly supervised learning scenarios. In addition, we show how these class representations can support reasoning under uncertainty in real-world applications. Finally, we discuss the untapped potential of the evidence-based approach for analyzing and quantifying the complexity of learning tasks, and we outline promising directions for future research.

Place, publisher, year, edition, pages
JMLR-Journal Machine Learning Research , 2026. Vol. 318, p. 759-770
Series
Proceedings of Machine Learning Research, ISSN 2640-3498
Keywords [en]
modal logic, evidence theory, neuro-symbolic AI, multi-valued mapping, evidential learning, class expression learning
National Category
Artificial Intelligence
Identifiers
URN: urn:nbn:se:bth-30537ISI: 001866331300114OAI: oai:DiVA.org:bth-30537DiVA, id: diva2:2106652
Conference
39th Canadian Conference on Artificial Intelligence-CANADIAN AI-Annual, Burnaby, May 25-29, 2026
Part of project
HINTS - Human-Centered Intelligent Realities
Funder
Knowledge Foundation, 20220068Available from: 2026-09-30 Created: 2026-09-30 Last updated: 2026-09-30Bibliographically approved

Open Access in DiVA

fulltext(950 kB)25 downloads
File information
File name FULLTEXT01.pdfFile size 950 kBChecksum SHA-512
29c08505d108d3800be55db8d1f806abe765bfaef376820d425ba4a8cb2d8bbfa22d0a65e20f31a738101205c908d3b370dddfd1fd4a1e5bfeb74ce1a512e485
Type fulltextMimetype application/pdf

Authority records

Boeva, Veselka

Search in DiVA

By author/editor
Boeva, Veselka
By organisation
Department of Computer Science
Artificial Intelligence

Search outside of DiVA

GoogleGoogle Scholar
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

urn-nbn

Altmetric score

urn-nbn
Total: 929 hits
1213141516171815 of 63
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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