reference
The 'NeuralSymbolic' approach uses a neural network generated from symbolic rules, such as the Neural Theorem Prover, which constructs a neural network from an AND-OR proof tree generated from knowledge base rules and terms; Logic Tensor Networks also fall into this category.

Authors

Sources

Referenced by nodes (2)