Index

_

__call__() (jlnn.nn.base.LogicalElement method) (jlnn.nn.gates.BulkAnd method) (jlnn.nn.gates.BulkOr method) (jlnn.nn.gates.PhysicalAnd method) (jlnn.nn.gates.PhysicalImplication method) (jlnn.nn.gates.PhysicalNand method) (jlnn.nn.gates.PhysicalNor method) (jlnn.nn.gates.PhysicalNot method) (jlnn.nn.gates.PhysicalOr 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) (jlnn.nn.predicates.FixedPredicate method) (jlnn.nn.predicates.LearnedPredicate method) (jlnn.nn.predicates.PhysicalPredicate method)

__init__() (jlnn.nn.base.LogicalElement method) (jlnn.nn.gates.BulkAnd method) (jlnn.nn.gates.BulkOr method) (jlnn.nn.gates.PhysicalAnd method) (jlnn.nn.gates.PhysicalImplication method) (jlnn.nn.gates.PhysicalNand method) (jlnn.nn.gates.PhysicalNor method) (jlnn.nn.gates.PhysicalNot method) (jlnn.nn.gates.PhysicalOr 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) (jlnn.nn.predicates.FixedPredicate method) (jlnn.nn.predicates.LearnedPredicate method) (jlnn.nn.predicates.PhysicalPredicate method)

A

AlwaysNode (class in jlnn.reasoning.temporal) and() (jlnn.symbolic.compiler.JLNNCompiler method) and_() (jlnn.symbolic.compiler.JLNNCompiler method) and_drastic() (in module jlnn.nn.functional) and_drastic_pure() (in module jlnn.core.logic) and_gate (jlnn.nn.gates.PhysicalNand attribute) and_godel() (in module jlnn.nn.functional) and_godel_pure() (in module jlnn.core.logic) and_kleene_dienes() (in module jlnn.nn.functional)

and_lukasiewicz() (in module jlnn.nn.functional) and_lukasiewicz_pure() (in module jlnn.core.logic) and_physical_kleene_dienes() (in module jlnn.nn.functional) and_physical_lukasiewicz() (in module jlnn.nn.functional) and_physical_reichenbach() (in module jlnn.nn.functional) and_product() (in module jlnn.nn.functional) and_product_pure() (in module jlnn.core.logic) and_reichenbach() (in module jlnn.nn.functional) apply_constraints() (in module jlnn.nn.constraints)

B

beta (jlnn.nn.base.LogicalElement attribute) (jlnn.nn.gates.WeightedAnd attribute) (jlnn.nn.gates.WeightedImplication attribute) (jlnn.nn.gates.WeightedNand attribute) (jlnn.nn.gates.WeightedNor attribute) (jlnn.nn.gates.WeightedOr attribute) (jlnn.nn.gates.WeightedXor attribute) BinaryGateNode (class in jlnn.symbolic.compiler) build_networkx_graph() (in module jlnn.symbolic.graph) bulk_and_drastic() (in module jlnn.nn.functional) bulk_and_drastic_raw() (in module jlnn.core.logic)

bulk_and_godel() (in module jlnn.nn.functional) bulk_and_godel_raw() (in module jlnn.core.logic) bulk_and_product() (in module jlnn.nn.functional) bulk_and_product_raw() (in module jlnn.core.logic) bulk_or_drastic() (in module jlnn.nn.functional) bulk_or_drastic_raw() (in module jlnn.core.logic) bulk_or_godel() (in module jlnn.nn.functional) bulk_or_godel_raw() (in module jlnn.core.logic) bulk_or_product() (in module jlnn.nn.functional) bulk_or_product_raw() (in module jlnn.core.logic) BulkAnd (class in jlnn.nn.gates) BulkOr (class in jlnn.nn.gates)

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) entropy_raw() (in module jlnn.core.activations) 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

gamma (jlnn.nn.gates.PhysicalAnd attribute) (jlnn.nn.gates.PhysicalImplication attribute) (jlnn.nn.gates.PhysicalOr attribute) (jlnn.nn.predicates.PhysicalPredicate attribute) get_entropic_weight() (in module jlnn.core.activations)

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) gravitational_bend_activation() (in module jlnn.core.activations)

I

identity_activation() (in module jlnn.core.activations) implication() (in module jlnn.nn.functional) (jlnn.symbolic.compiler.JLNNCompiler method) implication_godel() (in module jlnn.nn.functional) implication_goguen() (in module jlnn.nn.functional) implication_kleene_dienes() (in module jlnn.nn.functional) implication_lukasiewicz() (in module jlnn.nn.functional) implication_physical_kleene_dienes() (in module jlnn.nn.functional) implication_physical_lukasiewicz() (in module jlnn.nn.functional) implication_physical_reichenbach() (in module jlnn.nn.functional) implication_reichenbach() (in module jlnn.nn.functional)

implies_godel() (in module jlnn.core.logic) implies_goguen() (in module jlnn.core.logic) implies_kleene_dienes() (in module jlnn.core.logic) implies_lukasiewicz() (in module jlnn.core.logic) implies_physical_gravitational_lukasiewicz() (in module jlnn.core.logic) implies_physical_kleene_dienes() (in module jlnn.core.logic) implies_physical_reichenbach() (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) logical_not() (in module jlnn.nn.functional) LogicalElement (class in jlnn.nn.base) lukasiewicz_and_activation() (in module jlnn.core.activations) lukasiewicz_or_activation() (in module jlnn.core.activations)

M

method (jlnn.nn.gates.BulkAnd attribute) (jlnn.nn.gates.BulkOr attribute) (jlnn.nn.gates.PhysicalAnd attribute) (jlnn.nn.gates.PhysicalImplication attribute) (jlnn.nn.gates.PhysicalOr attribute) (jlnn.nn.gates.WeightedAnd attribute) (jlnn.nn.gates.WeightedImplication attribute) (jlnn.nn.gates.WeightedNand attribute) (jlnn.nn.gates.WeightedNor attribute) (jlnn.nn.gates.WeightedOr attribute) (jlnn.nn.gates.WeightedXor attribute) mode (jlnn.nn.gates.PhysicalAnd attribute) (jlnn.nn.gates.PhysicalImplication attribute) (jlnn.nn.gates.PhysicalOr attribute) (jlnn.nn.predicates.PhysicalPredicate attribute) 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) not_gate (jlnn.nn.gates.PhysicalNand attribute) (jlnn.nn.gates.PhysicalNor attribute)

O

offset (jlnn.nn.gates.PhysicalAnd attribute) (jlnn.nn.gates.PhysicalImplication attribute) (jlnn.nn.gates.PhysicalOr attribute) offset_l (jlnn.nn.predicates.LearnedPredicate attribute) (jlnn.nn.predicates.PhysicalPredicate attribute) offset_u (jlnn.nn.predicates.LearnedPredicate attribute) (jlnn.nn.predicates.PhysicalPredicate attribute) or() (jlnn.symbolic.compiler.JLNNCompiler method) or_() (jlnn.symbolic.compiler.JLNNCompiler method) or_drastic() (in module jlnn.nn.functional) or_drastic_pure() (in module jlnn.core.logic)

or_gate (jlnn.nn.gates.PhysicalNor attribute) or_godel() (in module jlnn.nn.functional) or_godel_pure() (in module jlnn.core.logic) or_kleene_dienes() (in module jlnn.nn.functional) or_lukasiewicz() (in module jlnn.nn.functional) or_lukasiewicz_pure() (in module jlnn.core.logic) or_physical_kleene_dienes() (in module jlnn.nn.functional) or_physical_lukasiewicz() (in module jlnn.nn.functional) or_physical_reichenbach() (in module jlnn.nn.functional) or_product() (in module jlnn.nn.functional) or_product_pure() (in module jlnn.core.logic) or_reichenbach() (in module jlnn.nn.functional)

P

parse() (jlnn.symbolic.parser.FormulaParser method) PhysicalAnd (class in jlnn.nn.gates) PhysicalImplication (class in jlnn.nn.gates) PhysicalNand (class in jlnn.nn.gates) PhysicalNor (class in jlnn.nn.gates) PhysicalNot (class in jlnn.nn.gates) PhysicalOr (class in jlnn.nn.gates)

PhysicalPredicate (class in jlnn.nn.predicates) 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 (jlnn.nn.gates.PhysicalAnd attribute) (jlnn.nn.gates.PhysicalImplication attribute) (jlnn.nn.gates.PhysicalOr attribute)

slope_l (jlnn.nn.predicates.LearnedPredicate attribute) (jlnn.nn.predicates.PhysicalPredicate attribute) slope_u (jlnn.nn.predicates.LearnedPredicate attribute) (jlnn.nn.predicates.PhysicalPredicate 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

weight (jlnn.nn.gates.WeightedNot attribute) weighted_and() (in module jlnn.nn.functional) weighted_and_godel() (in module jlnn.nn.functional) weighted_and_kleene_dienes() (in module jlnn.nn.functional) weighted_and_lukasiewicz() (in module jlnn.core.logic) weighted_and_product() (in module jlnn.nn.functional) weighted_and_reichenbach() (in module jlnn.nn.functional) weighted_expr() (jlnn.symbolic.compiler.JLNNCompiler method) weighted_implication() (in module jlnn.nn.functional) weighted_nand() (in module jlnn.nn.functional) weighted_nand_kleene_dienes() (in module jlnn.nn.functional) weighted_nand_reichenbach() (in module jlnn.nn.functional) weighted_nor() (in module jlnn.nn.functional) weighted_nor_kleene_dienes() (in module jlnn.nn.functional) weighted_nor_reichenbach() (in module jlnn.nn.functional) weighted_not() (in module jlnn.nn.functional) weighted_or() (in module jlnn.nn.functional) weighted_or_godel() (in module jlnn.nn.functional) weighted_or_kleene_dienes() (in module jlnn.nn.functional) weighted_or_lukasiewicz() (in module jlnn.core.logic)

weighted_or_product() (in module jlnn.nn.functional) weighted_or_reichenbach() (in module jlnn.nn.functional) weighted_xor_godel() (in module jlnn.nn.functional) weighted_xor_lukasiewicz() (in module jlnn.nn.functional) weighted_xor_product() (in module jlnn.nn.functional) 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.WeightedAnd attribute) (jlnn.nn.gates.WeightedImplication attribute) (jlnn.nn.gates.WeightedNand attribute) (jlnn.nn.gates.WeightedNor attribute) (jlnn.nn.gates.WeightedOr attribute) (jlnn.nn.gates.WeightedXor attribute) window_size (jlnn.reasoning.temporal.AlwaysNode attribute) (jlnn.reasoning.temporal.EventuallyNode attribute)

X

xor_godel() (in module jlnn.nn.functional)

xor_product() (in module jlnn.nn.functional)