Differentiable fuzzy conjunction (t-norm) – Phase 1 Mission 0 of campaign_exai_dl_library_neuro_symbolic (differentiable fuzzy-logic core, Logic Tensor Networks-shaped). More...

#include <optional>
#include "pulsatrix/module.hpp"

Include dependency graph for conjunction_module.hpp:

Go to the source code of this file.

Classes
class	pulsatrix::ConjunctionModule
	`y = a T b` for a selected t-norm T, over two independent fuzzy-truth-valued operand tensors (values intended in [0,1]; out-of-range values are not rejected – see propagate_relevance()'s note and mission_0_tnorm_operators.md's adversarial section). More...

Namespaces
namespace	pulsatrix

Detailed Description

Differentiable fuzzy conjunction (t-norm) – Phase 1 Mission 0 of campaign_exai_dl_library_neuro_symbolic (differentiable fuzzy-logic core, Logic Tensor Networks-shaped).

Classes

Namespaces

Detailed Description