Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge

no code implementations • 27 Sep 2022 • Cara Widmer, Md Kamruzzaman Sarker, Srikanth Nadella, Joshua Fiechter, Ion Juvina, Brandon Minnery, Pascal Hitzler, Joshua Schwartz, Michael Raymer

Concept induction, which is based on formal logical reasoning over description logics, has been used in ontology engineering in order to create ontology (TBox) axioms from the base data (ABox) graph.

Explainable Artificial Intelligence (XAI) Logical Reasoning