pulsatrix::datalog::RelevanceResult Struct Reference

The result of one propagate_relevance_weighted call: relevance recorded at every atom the recursion visited (all_atoms, useful for inspection/debugging), and relevance recorded only at atoms with zero matching derivations in fixpoint – the extensional/base facts (base_facts) – which is what an end-to-end conservation check must sum against the seeded relevance, per ordinary LRP convention (intermediate/derived atoms are redistribution waypoints, not part of the conserved total, exactly as an ordinary Module chain's intermediate activations are not summed alongside its raw inputs). More...

#include <datalog_lrp.hpp>

Public Attributes
RelevanceMap	all_atoms
RelevanceMap	base_facts

Detailed Description

The result of one propagate_relevance_weighted call: relevance recorded at every atom the recursion visited (all_atoms, useful for inspection/debugging), and relevance recorded only at atoms with zero matching derivations in fixpoint – the extensional/base facts (base_facts) – which is what an end-to-end conservation check must sum against the seeded relevance, per ordinary LRP convention (intermediate/derived atoms are redistribution waypoints, not part of the conserved total, exactly as an ordinary Module chain's intermediate activations are not summed alongside its raw inputs).

Member Data Documentation

all_atoms

RelevanceMap pulsatrix::datalog::RelevanceResult::all_atoms

base_facts

RelevanceMap pulsatrix::datalog::RelevanceResult::base_facts

---

The documentation for this struct was generated from the following file:

• include/pulsatrix/datalog_lrp.hpp