Index

_

__call__() (jlnn.nn.base.LogicalElement method) (jlnn.nn.gates.WeightedAnd method) (jlnn.nn.gates.WeightedImplication method) (jlnn.nn.gates.WeightedNand method) (jlnn.nn.gates.WeightedNor method) (jlnn.nn.gates.WeightedNot method) (jlnn.nn.gates.WeightedOr method) (jlnn.nn.gates.WeightedXor method)

__init__() (jlnn.nn.base.LogicalElement method) (jlnn.nn.gates.WeightedAnd method) (jlnn.nn.gates.WeightedImplication method) (jlnn.nn.gates.WeightedNand method) (jlnn.nn.gates.WeightedNor method) (jlnn.nn.gates.WeightedNot method) (jlnn.nn.gates.WeightedOr method) (jlnn.nn.gates.WeightedXor method)

A

AlwaysNode (class in jlnn.reasoning.temporal) and() (jlnn.symbolic.compiler.JLNNCompiler method)

and_() (jlnn.symbolic.compiler.JLNNCompiler method) apply_constraints() (in module jlnn.nn.constraints)

B

beta (jlnn.nn.base.LogicalElement attribute) (jlnn.nn.gates.WeightedOr attribute)

BinaryGateNode (class in jlnn.symbolic.compiler) build_networkx_graph() (in module jlnn.symbolic.graph)

C

check_contradiction() (in module jlnn.core.intervals) child (jlnn.reasoning.temporal.AlwaysNode attribute) (jlnn.reasoning.temporal.EventuallyNode attribute) clip_predicates() (in module jlnn.nn.constraints)

clip_weights() (in module jlnn.nn.constraints) contradiction_degree() (in module jlnn.utils.metrics) contradiction_loss() (in module jlnn.training.losses) create_interval() (in module jlnn.core.intervals)

E

ensure_consistent() (in module jlnn.core.intervals) ensure_interval() (in module jlnn.core.intervals) EventuallyNode (class in jlnn.reasoning.temporal) export_module_recursive() (in module jlnn.export.data) export_to_onnx() (in module jlnn.export.onnx) export_to_pytorch() (in module jlnn.export.torch_map)

export_to_stablehlo() (in module jlnn.export.onnx) (in module jlnn.export.stablehlo) export_workflow() (in module jlnn.export.stablehlo) export_workflow_example() (in module jlnn.export.onnx) extract_logic_parameters() (in module jlnn.export.data) extract_weights_to_xarray() (in module jlnn.utils.xarray_utils)

F

FixedPredicate (class in jlnn.nn.predicates) FormulaParser (class in jlnn.symbolic.parser) forward() (jlnn.reasoning.temporal.AlwaysNode method) (jlnn.reasoning.temporal.EventuallyNode method) (jlnn.symbolic.compiler.BinaryGateNode method) (jlnn.symbolic.compiler.NAryGateNode method) (jlnn.symbolic.compiler.Node method) (jlnn.symbolic.compiler.PredicateNode method) (jlnn.symbolic.compiler.UnaryGateNode method)

from_networkx_to_jlnn() (in module jlnn.symbolic.graph)

G

get_lower() (in module jlnn.core.intervals) get_node_attributes() (in module jlnn.symbolic.graph)

get_rule_report() (in module jlnn.reasoning.inspector) get_upper() (in module jlnn.core.intervals)

I

identity_activation() (in module jlnn.core.activations) implication() (jlnn.symbolic.compiler.JLNNCompiler method) implies_kleene_dienes() (in module jlnn.core.logic) implies_lukasiewicz() (in module jlnn.core.logic)

implies_reichenbach() (in module jlnn.core.logic) infer() (jlnn.reasoning.engine.JLNNEngine method) inspect_stablehlo_module() (in module jlnn.export.stablehlo) is_precise() (in module jlnn.utils.helpers)

J

jlnn.core.activations module jlnn.core.intervals module jlnn.core.logic module jlnn.export.data module jlnn.export.onnx module jlnn.export.stablehlo module jlnn.export.torch_map module jlnn.nn.base module jlnn.nn.constraints module jlnn.nn.functional module jlnn.nn.gates module jlnn.nn.predicates module jlnn.reasoning.engine module jlnn.reasoning.inspector module

jlnn.reasoning.temporal module jlnn.storage.checkpoints module jlnn.storage.metadata module jlnn.symbolic.compiler module jlnn.symbolic.graph module jlnn.symbolic.parser module jlnn.training.losses module jlnn.training.optimizers module jlnn.utils.helpers module jlnn.utils.metrics module jlnn.utils.visualize module jlnn.utils.xarray_utils module jlnn_learning_loss() (in module jlnn.training.losses) JLNNCompiler (class in jlnn.symbolic.compiler) JLNNEngine (class in jlnn.reasoning.engine)

L

LearnedPredicate (class in jlnn.nn.predicates) LNNFormula (class in jlnn.symbolic.compiler) load_checkpoint() (in module jlnn.storage.checkpoints) load_metadata() (in module jlnn.storage.metadata)

logical_consistency_loss() (in module jlnn.training.losses) logical_mse_loss() (in module jlnn.training.losses) LogicalElement (class in jlnn.nn.base) lukasiewicz_and_activation() (in module jlnn.core.activations) lukasiewicz_or_activation() (in module jlnn.core.activations)

M

model (jlnn.reasoning.engine.JLNNEngine attribute) model_to_xarray() (in module jlnn.utils.xarray_utils) module jlnn.core.activations jlnn.core.intervals jlnn.core.logic jlnn.export.data jlnn.export.onnx jlnn.export.stablehlo jlnn.export.torch_map jlnn.nn.base jlnn.nn.constraints jlnn.nn.functional jlnn.nn.gates jlnn.nn.predicates jlnn.reasoning.engine jlnn.reasoning.inspector jlnn.reasoning.temporal jlnn.storage.checkpoints jlnn.storage.metadata jlnn.symbolic.compiler jlnn.symbolic.graph jlnn.symbolic.parser jlnn.training.losses jlnn.training.optimizers jlnn.utils.helpers jlnn.utils.metrics jlnn.utils.visualize jlnn.utils.xarray_utils

N

NAryGateNode (class in jlnn.symbolic.compiler) negate() (in module jlnn.core.intervals) Node (class in jlnn.symbolic.compiler)

None (jlnn.nn.predicates.FixedPredicate attribute) not() (jlnn.symbolic.compiler.JLNNCompiler method) not_() (jlnn.symbolic.compiler.JLNNCompiler method)

O

offset_l (jlnn.nn.predicates.LearnedPredicate attribute) offset_u (jlnn.nn.predicates.LearnedPredicate attribute)

or() (jlnn.symbolic.compiler.JLNNCompiler method) or_() (jlnn.symbolic.compiler.JLNNCompiler method)

P

parse() (jlnn.symbolic.parser.FormulaParser method) plot_gate_weights() (in module jlnn.utils.visualize) plot_training_log_loss() (in module jlnn.utils.visualize)

plot_truth_intervals() (in module jlnn.utils.visualize) PredicateNode (class in jlnn.symbolic.compiler) predicates (jlnn.symbolic.compiler.LNNFormula attribute) ProjectedOptimizer (class in jlnn.training.optimizers)

R

ramp_sigmoid() (in module jlnn.core.activations)

root (jlnn.symbolic.compiler.LNNFormula attribute) rule_violation_loss() (in module jlnn.training.losses)

S

save_checkpoint() (in module jlnn.storage.checkpoints) save_for_xla_runtime() (in module jlnn.export.onnx) save_metadata() (in module jlnn.storage.metadata) save_stablehlo_artifact() (in module jlnn.export.stablehlo)

scalar_to_interval() (in module jlnn.utils.helpers) slope_l (jlnn.nn.predicates.LearnedPredicate attribute) slope_u (jlnn.nn.predicates.LearnedPredicate attribute) step() (jlnn.training.optimizers.ProjectedOptimizer method)

T

to_dot() (in module jlnn.symbolic.graph) total_lnn_loss() (in module jlnn.training.losses)

trace_reasoning() (in module jlnn.reasoning.inspector) train_step() (jlnn.reasoning.engine.JLNNEngine method)

U

UnaryGateNode (class in jlnn.symbolic.compiler)

uncertainty() (in module jlnn.core.intervals) uncertainty_width() (in module jlnn.utils.metrics)

V

variable() (jlnn.symbolic.compiler.JLNNCompiler method)

verify_pytorch_conversion() (in module jlnn.export.torch_map)

W

weighted_and() (in module jlnn.nn.functional) weighted_and_lukasiewicz() (in module jlnn.core.logic) weighted_expr() (jlnn.symbolic.compiler.JLNNCompiler method) weighted_implication() (in module jlnn.nn.functional) weighted_nand() (in module jlnn.nn.functional) weighted_nor() (in module jlnn.nn.functional) weighted_not() (in module jlnn.nn.functional) weighted_or() (in module jlnn.nn.functional) weighted_or_lukasiewicz() (in module jlnn.core.logic) WeightedAnd (class in jlnn.nn.gates)

WeightedImplication (class in jlnn.nn.gates) WeightedNand (class in jlnn.nn.gates) WeightedNor (class in jlnn.nn.gates) WeightedNot (class in jlnn.nn.gates) WeightedOr (class in jlnn.nn.gates) WeightedXor (class in jlnn.nn.gates) weights (jlnn.nn.base.LogicalElement attribute) (jlnn.nn.gates.WeightedOr attribute) window_size (jlnn.reasoning.temporal.AlwaysNode attribute) (jlnn.reasoning.temporal.EventuallyNode attribute)