Common abductive explanations in first order logic

We build upon a recent definition of a common explanation for the label shared by a group of observations. The motivation stems from explaining how a specific action, when playing a card game, leads to an acceptable reward at the end of the game. Since there are various ways to achieve this goal, gr...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Machine learning Ročník 114; číslo 12; s. 264
Hlavní autoři: Rouveirol, Céline, Soldano, Henry, Kazi Aoual, Malik, Ventos, Véronique
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York Springer US 01.12.2025
Springer Nature B.V
Témata:
Algorithms
Artificial Intelligence
Card games
Computer Science
Control
Decision trees
Logic
Machine Learning
Mechatronics
Natural Language Processing (NLP)
Robotics
Simulation and Modeling
Inductive logic programming
Abductive explanation
ISSN:0885-6125, 1573-0565
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We build upon a recent definition of a common explanation for the label shared by a group of observations. The motivation stems from explaining how a specific action, when playing a card game, leads to an acceptable reward at the end of the game. Since there are various ways to achieve this goal, groups of acceptable trajectories are first extracted from a rule-based ILP model. Subsequently, common explanations are enumerated for each group of trajectories. A significant contribution of this article is the introduction of a new definition of preferred common explanations: they must be both subset-minimal and maximally instantiated. These so-called leq-minimal common explanations ( leq-MCE s for short) happen to be subsets of the least general generalisation of the observations in the group. We propose efficient algorithms to enumerate leq-MCE s and a scheme to extract a diverse subset of these leq-MCEs to be presented to human interlocutors. Experiments are conducted on a card game.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0885-6125
1573-0565
DOI:10.1007/s10994-025-06869-z