Communication Dans Un Congrès Année : 2024

Rule-aware Datalog Fact Explanation Using Group-SAT Solver

Résumé

One of the major benefits of symbolic AI is explainability. When new knowledge is obtained via a reasoning process, it is possible to determine precisely all elements of the knowledge base that yield this knowledge. Typically, one would use a SAT solver to compute the explanations. However, SAT-solving is computationally expensive, and as the knowledge base grows, the time required increases exponentially. This work presents a method for filtering a datalog knowledge base to optimise the time used by a SAT solver. This is achieved by creating a hypergraph representing the grounded knowledge base and pruning the nodes that are not reachable from the fact that we want to explain. This approach proves to be time-effective. Interestingly, one additional benefit of using this hypergraph is that it is possible to encode more information about the rules used in the reasoning process. By using an off-the-shelf group-SAT solver, this extra information allows us to find specific explanations that would be missed if we only considered facts.

Fichier principal
Vignette du fichier
Rule_aware_Datalog_Fact_Explanation_Using_Group_SAT_Solver.pdf (1.02 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04706324 , version 1 (23-09-2024)

Licence

Identifiants

  • HAL Id : hal-04706324 , version 1

Citer

Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette, Federico Ulliana. Rule-aware Datalog Fact Explanation Using Group-SAT Solver. RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Brussels, Belgium. ⟨hal-04706324⟩
387 Consultations
320 Téléchargements

Partager

  • More