Translating neural logic machines into fuzzy first-order logic
Neural logic machines (NLMs) can learn formulas in first-order logic or fuzzy first-order logic. Differentiable logic machines provide a logic program extraction. This contributes much to the explainability of neural networks. The goal is to evaluate differentiable logic machines with examples and assess the quality of the extracted logic programs, and discuss possible improvements.