aggregator_module.hpp File Reference

Differentiable p-mean quantifier aggregator – Phase 1 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Logic Tensor Networks' Real Logic: agg_p(x) = (mean(x^p))^(1/p), standing in for a fuzzy universal/existential quantifier over a batch of groundings). More...

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

Include dependency graph for aggregator_module.hpp:

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

Go to the source code of this file.

Classes
class	pulsatrix::AggregatorModule
	y = (mean(x^p))^(1/p), reduced over the leading (batch/grounding) axis – not the last axis. Rank-agnostic: input shape (N, ...rest) reduces to output shape (...rest) (rank 0 – a scalar – when input is rank 1, i.e. a single formula's groundings with no other axes). More...

Namespaces
namespace	pulsatrix

Detailed Description

Differentiable p-mean quantifier aggregator – Phase 1 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Logic Tensor Networks' Real Logic: agg_p(x) = (mean(x^p))^(1/p), standing in for a fuzzy universal/existential quantifier over a batch of groundings).