Dynamic Generation of Interpretable Inference Rules in a Neuro-Symbolic Expert System.

Nathaniel Weir Benjamin Van Durme

Published in: CoRR (2022)

Keyphrases

inference rules
expert systems
first order logic
modal logic
theorem proving
logic programming language
truth values
sequent calculus
data sets
data mining
knowledge base
conditional probabilities
binary relations
linear logic
natural deduction