Differentiable fuzzy disjunction (t-conorm) – 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 disjunction_module.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	pulsatrix::DisjunctionModule
	`y = a S b` for a selected t-conorm S, over two independent fuzzy-truth-valued operand tensors (values intended in [0,1]; out-of-range values are not rejected – see conjunction_module.hpp's identical note). More...

Namespaces
namespace	pulsatrix

Detailed Description

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

Classes

Namespaces

Detailed Description