procedure
Logic Tensor Networks (LTN) use continuously valued logic with fuzzy semantics to train neural networks that satisfy given logical axioms, such as enforcing that the truth degree of a premise is less than or equal to the truth degree of a conclusion.

Authors

Sources

Referenced by nodes (2)