neuro_symbolic_toy_kb.hpp File Reference

Toy knowledge-base training demo – Phase 1 Mission 2 of campaign_exai_dl_library_neuro_symbolic (differentiable fuzzy-logic core's own correctness oracle: proves Missions 0-1's operators compose into a real, trainable Logic Tensor Network). More...

#include "pulsatrix/device_backend.hpp"
#include "pulsatrix/disjunction_module.hpp"
#include "pulsatrix/linear_module.hpp"
#include "pulsatrix/negation_module.hpp"
#include "pulsatrix/satisfaction_loss.hpp"
#include "pulsatrix/sgd_optimizer.hpp"
#include "pulsatrix/tensor.hpp"

Include dependency graph for neuro_symbolic_toy_kb.hpp:

Go to the source code of this file.

Classes
class	pulsatrix::ToyKnowledgeBase
	A small, hand-traceable knowledge base: two neural predicates A(x)/B(x) (each a sigmoid-squashed LinearModule(1,1), producing a fuzzy truth degree in (0,1)), one logical rule A(x) -> not(B(x)), expressed via De Morgan (not(A(x)) or not(B(x)), Product t-conorm/t-negation) using only NegationModule/DisjunctionModule (Mission 0) – no dedicated Implication Module – aggregated across synthetic groundings into one scalar via SatisfactionLoss (Mission 1). More...

Namespaces
namespace	pulsatrix

Detailed Description

Toy knowledge-base training demo – Phase 1 Mission 2 of campaign_exai_dl_library_neuro_symbolic (differentiable fuzzy-logic core's own correctness oracle: proves Missions 0-1's operators compose into a real, trainable Logic Tensor Network).