Installation
🚀 Quick Start
PyNeuraLogic Language
Problem Definition
Understanding Rules
Model Evaluation
🦓 Module Zoo
Advanced Usage
🔬 Examples
⏱️ Benchmarks
Beyond GNNs
Hypergraph Neural Networks
Heterophily Settings
Package Reference
neuralogic package
neuralogic.dataset package
neuralogic.logging package
PyNeuraLogic
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
|
X
|
Z
A
ACCURACY (Metric attribute)
,
[1]
,
[2]
Adam (class in neuralogic.nn)
(class in neuralogic.nn.optim)
(class in neuralogic.nn.optim.adam)
add() (Dataset method)
,
[1]
(SpecialPredicateFactory method)
add_csv_file() (CSVDataset method)
,
[1]
add_data() (TensorDataset method)
,
[1]
add_db_source() (DBDataset method)
,
[1]
add_eval() (SpecialPredicateFactory method)
add_example() (Dataset method)
,
[1]
add_examples() (Dataset method)
,
[1]
add_handler() (in module neuralogic.logging)
add_log_handler() (in module neuralogic)
(in module neuralogic.logging)
add_metadata_function() (JavaFactory method)
add_module() (Model method)
,
[1]
,
[2]
add_parametrized_function() (JavaFactory method)
add_queries() (Dataset method)
,
[1]
add_query() (Dataset method)
,
[1]
add_rule() (Model method)
,
[1]
,
[2]
add_rules() (Model method)
,
[1]
,
[2]
add_sample() (Dataset method)
,
[1]
add_samples() (Dataset method)
,
[1]
agg_terms (SoftmaxAggregation attribute)
Aggregation (class in neuralogic.core)
(class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.enum)
aggregation (Metadata attribute)
,
[1]
Aggregation (NeuronType attribute)
,
[1]
AggregationFunction (class in neuralogic.core.constructs.function.function)
ALL (Level attribute)
alldiff() (SpecialPredicateFactory method)
anypred() (SpecialPredicateFactory method)
APPNPConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.appnp)
,
[1]
ArithmeticLR (class in neuralogic.nn.optim.lr_scheduler)
(class in neuralogic.nn.optim.lr_scheduler.arithmetic)
arity (Atom property)
,
[1]
(Predicate attribute)
Atom (class in neuralogic.core.builder)
(class in neuralogic.core.builder.components)
(NeuronType attribute)
,
[1]
atom_to_clause() (JavaFactory method)
AtomFactory (class in neuralogic.core.constructs.factories)
atoms (Grounding property)
,
[1]
attach_activation_function() (BaseRelation method)
(WeightedRelation method)
Attention (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.attention)
,
[1]
AVG (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
avg (F attribute)
,
[1]
,
[2]
,
[3]
avg_agg (F attribute)
,
[1]
,
[2]
,
[3]
AvgPooling (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.pooling)
,
[1]
axis (ConcatAggregation attribute)
(ConcatCombination attribute)
B
BackendError
,
[1]
BaseDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.base)
BaseRelation (class in neuralogic.core.constructs.relation)
best_epoch (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
best_val_loss (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
betas (Adam property)
,
[1]
,
[2]
body (Rule attribute)
,
[1]
build() (Model method)
,
[1]
,
[2]
build_dataset() (DatasetBuilder method)
,
[1]
(NeuralModule method)
build_examples() (DatasetBuilder method)
,
[1]
build_model() (Builder method)
,
[1]
build_model_from_file() (Builder method)
,
[1]
build_queries() (DatasetBuilder method)
,
[1]
Builder (class in neuralogic.core.builder)
(class in neuralogic.core.builder.builder)
BuiltDataset (class in neuralogic.core)
(class in neuralogic.core.builder)
(class in neuralogic.core.builder.dataset)
BUP (Grounder attribute)
,
[1]
C
can_flatten (AggregationFunction attribute)
(CombinationFunction attribute)
(Function attribute)
,
[1]
(TransformationFunction attribute)
chain_pruning (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
CheckpointCallback (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.callbacks)
clear_handlers() (in module neuralogic.logging)
clone() (Model method)
,
[1]
,
[2]
COLOR (Formatter attribute)
cols (Slice attribute)
Combination (class in neuralogic.core)
(class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.enum)
combination (Metadata attribute)
,
[1]
CombinationFunction (class in neuralogic.core.constructs.function.function)
combine() (Metadata method)
,
[1]
compute_metrics() (in module neuralogic.nn)
(in module neuralogic.nn.trainer)
(in module neuralogic.nn.trainer.metrics)
CONCAT (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
concat (F attribute)
,
[1]
,
[2]
,
[3]
concat_agg (F attribute)
,
[1]
,
[2]
,
[3]
ConcatAggregation (class in neuralogic.core.constructs.function.concat)
ConcatCombination (class in neuralogic.core.constructs.function.concat)
CONFIG (Level attribute)
ConfigurationError
,
[1]
Constant (class in neuralogic.core.constructs.term)
(class in neuralogic.nn)
(class in neuralogic.nn.init)
CONSTANT (InitializerNames attribute)
ConstantFactory (class in neuralogic.core.constructs.factories)
Converter (class in neuralogic.experimental.db.converter)
ConvertibleDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.base)
copy() (Metadata method)
,
[1]
COSSIM (Combination attribute)
,
[1]
,
[2]
cossim (F attribute)
,
[1]
,
[2]
,
[3]
COUNT (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
count (F attribute)
,
[1]
,
[2]
,
[3]
count_agg (F attribute)
,
[1]
,
[2]
,
[3]
create_disconnected_proxy() (Settings method)
,
[1]
,
[2]
create_proxy() (Settings method)
,
[1]
,
[2]
CrossEntropy (class in neuralogic.nn)
(class in neuralogic.nn.loss)
CROSSENTROPY (ErrorFunctionNames attribute)
CROSSSUM (Combination attribute)
,
[1]
,
[2]
crossum (F attribute)
,
[1]
,
[2]
,
[3]
csv_source (CSVFile attribute)
,
[1]
CSVDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.csv)
CSVFile (class in neuralogic.dataset)
(class in neuralogic.dataset.csv)
D
Data (class in neuralogic.dataset)
(class in neuralogic.dataset.tensor)
Dataset (class in neuralogic.dataset)
(class in neuralogic.dataset.logic)
DatasetBuilder (class in neuralogic.core.builder)
(class in neuralogic.core.builder.dataset_builder)
DatasetError
,
[1]
DBDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.db)
DBSource (class in neuralogic.dataset)
(class in neuralogic.dataset.db)
debug_exporting (SettingsProxy property)
,
[1]
decay() (LRDecay method)
,
[1]
default_fact_value (SettingsProxy property)
,
[1]
default_value (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
derivable_queries() (Model method)
,
[1]
,
[2]
div_eval() (SpecialPredicateFactory method)
draw() (Grounding method)
,
[1]
(in module neuralogic.utils.visualize)
(NeuralModule method)
(NeuralSample method)
,
[1]
(Sample method)
,
[1]
draw_grounding() (in module neuralogic.utils.visualize)
draw_model() (in module neuralogic.utils.visualize)
draw_sample() (in module neuralogic.utils.visualize)
dump() (BaseDataset method)
,
[1]
(FileDataset method)
,
[1]
(TensorDataset method)
,
[1]
duplicate_grounding (Metadata attribute)
,
[1]
E
EarlyStoppingCallback (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.callbacks)
ELPRODUCT (Combination attribute)
,
[1]
,
[2]
elproduct (F attribute)
,
[1]
,
[2]
,
[3]
EncoderBlock (class in neuralogic.nn.module.general.transformer)
eps (Adam property)
,
[1]
,
[2]
eq() (SpecialPredicateFactory method)
error_function (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
ErrorFunction (class in neuralogic.nn)
(class in neuralogic.nn.loss)
ErrorFunctionNames (class in neuralogic.nn.loss)
example (Sample attribute)
,
[1]
EXAMPLE_PER_SOURCE (Mode attribute)
,
[1]
exp (F attribute)
,
[1]
,
[2]
,
[3]
EXP (Transformation attribute)
,
[1]
,
[2]
F
F (class in neuralogic)
(class in neuralogic.core)
(class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.enum)
F1_MACRO (Metric attribute)
,
[1]
,
[2]
Fact (NeuronType attribute)
,
[1]
Family() (in module neuralogic.utils.data)
FContainer (class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.function_container)
FileDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.file)
FINE (Level attribute)
FINER (Level attribute)
FINEST (Level attribute)
fit() (Trainer method)
,
[1]
,
[2]
fixed() (WeightedRelation method)
Formatter (class in neuralogic.logging)
formatter (LogHandler attribute)
,
[1]
forward() (NeuralModule method)
from_args() (Sources static method)
from_iterable() (Metadata static method)
,
[1]
from_java() (ValueFactory static method)
from_pyg() (Data static method)
,
[1]
from_settings() (Sources static method)
function (BaseRelation attribute)
Function (class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.function)
function (FContainer attribute)
,
[1]
function_graph (FunctionGraph attribute)
FunctionGraph (class in neuralogic.core.constructs.function.function_graph)
G
GATv2Conv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gatv2)
,
[1]
GCNConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gcn)
,
[1]
GENConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gen)
,
[1]
generate_features() (Dataset method)
,
[1]
GeometricLR (class in neuralogic.nn.optim.lr_scheduler)
(class in neuralogic.nn.optim.lr_scheduler.geometric)
geq() (SpecialPredicateFactory method)
get() (AggregationFunction method)
(AtomFactory method)
(ConcatAggregation method)
(ConcatCombination method)
(ConstantFactory method)
(Function method)
,
[1]
(FunctionGraph method)
(HiddenPredicateFactory method)
(Reshape method)
(Slice method)
(SoftmaxAggregation method)
(SpecialPredicateFactory method)
(VariableFactory method)
get_aggregation_function() (SettingsProxy method)
,
[1]
get_atoms() (Grounding method)
,
[1]
get_builders() (Builder static method)
,
[1]
get_combination_function() (SettingsProxy method)
,
[1]
get_conjunction() (JavaFactory method)
get_default_graphviz_path() (in module neuralogic)
(in module neuralogic.setup)
get_drawing_settings() (in module neuralogic.utils.visualize)
get_fact() (NeuralSample method)
,
[1]
get_fact_sql_function() (Converter method)
get_flattened_nodes() (FContainer static method)
,
[1]
get_generic_relation() (JavaFactory method)
get_graphviz_path() (in module neuralogic.utils.visualize)
get_grounding_drawer() (in module neuralogic.utils.visualize)
get_helpers() (Converter method)
get_lifted_example() (JavaFactory method)
get_lr_decay() (Optimizer method)
,
[1]
,
[2]
get_metadata() (JavaFactory method)
get_model_drawer() (in module neuralogic.utils.visualize)
get_neurons() (NeuralSample method)
,
[1]
get_new_weight_factory() (JavaFactory method)
get_predicate() (AtomFactory static method)
(JavaFactory method)
get_predicate_metadata_pair() (JavaFactory method)
get_query() (Data static method)
,
[1]
(JavaFactory method)
get_relation() (JavaFactory method)
get_relation_interface_sql_function() (Converter method)
get_rule() (JavaFactory method)
get_rule_aggregation_function() (Converter method)
get_rule_sql_function() (Converter method)
get_sample_drawer() (in module neuralogic.utils.visualize)
get_settings() (Constant method)
,
[1]
(Glorot method)
,
[1]
(He method)
,
[1]
(Initializer method)
,
[1]
(Uniform method)
,
[1]
get_std_functions() (Converter method)
get_term() (JavaFactory method)
get_transformation_function() (SettingsProxy method)
,
[1]
get_value() (ValueFactory method)
get_valued_fact() (JavaFactory method)
get_variable_factory() (JavaFactory method)
get_weight() (JavaFactory method)
GINConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gin)
,
[1]
GINEConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gine)
,
[1]
Glorot (class in neuralogic.nn)
(class in neuralogic.nn.init)
GLOROT (InitializerNames attribute)
gradient (Neuron property)
,
[1]
GRINGO (Grounder attribute)
,
[1]
ground() (NeuralModule method)
ground_dataset() (DatasetBuilder method)
,
[1]
ground_from_logic_samples() (Builder method)
,
[1]
ground_from_sources() (Builder method)
,
[1]
GroundedDataset (class in neuralogic.core)
(class in neuralogic.core.builder)
(class in neuralogic.core.builder.dataset)
Grounder (class in neuralogic.core)
(class in neuralogic.core.enums)
grounder (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
Grounding (class in neuralogic.core.builder)
(class in neuralogic.core.builder.components)
GRU (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.gru)
,
[1]
GRUCell (class in neuralogic.nn.module.general.gru)
gt() (SpecialPredicateFactory method)
H
He (class in neuralogic.nn)
(class in neuralogic.nn.init)
HE (InitializerNames attribute)
head (Rule attribute)
,
[1]
header (CSVFile attribute)
,
[1]
hidden (Predicate attribute)
(SpecialPredicateFactory property)
HiddenPredicateFactory (class in neuralogic.core.constructs.factories)
I
identity (F attribute)
,
[1]
,
[2]
,
[3]
IDENTITY (Transformation attribute)
,
[1]
,
[2]
INFO (Level attribute)
initial_seed() (in module neuralogic)
(in module neuralogic.setup)
initialize() (Adam method)
,
[1]
,
[2]
(in module neuralogic)
(in module neuralogic.setup)
(Optimizer method)
,
[1]
,
[2]
(SGD method)
,
[1]
,
[2]
Initializer (class in neuralogic.nn)
(class in neuralogic.nn.init)
initializer (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
initializer_const (SettingsProxy property)
,
[1]
initializer_uniform_scale (SettingsProxy property)
,
[1]
InitializerNames (class in neuralogic.nn.init)
inverse (F attribute)
,
[1]
,
[2]
,
[3]
INVERSE (Transformation attribute)
,
[1]
,
[2]
is_fixed (WeightedRelation attribute)
is_initialized() (in module neuralogic)
(in module neuralogic.setup)
is_jupyter() (in module neuralogic.utils.visualize)
is_parametrized() (ConcatAggregation method)
(ConcatCombination method)
(Function method)
,
[1]
(FunctionGraph method)
(Reshape method)
(Slice method)
(SoftmaxAggregation method)
is_simple() (Glorot method)
,
[1]
(He method)
,
[1]
(Initializer method)
,
[1]
iso_value_compression (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
J
JavaFactory (class in neuralogic.core.constructs.java_objects)
L
leaky_relu (F attribute)
,
[1]
,
[2]
,
[3]
LEAKY_RELU (Transformation attribute)
,
[1]
,
[2]
learnable (Metadata attribute)
,
[1]
learning_rates (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
leq() (SpecialPredicateFactory method)
Level (class in neuralogic.logging)
level (LogHandler attribute)
,
[1]
Linear (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.linear)
,
[1]
literals (RuleBody attribute)
,
[1]
load() (Model method)
,
[1]
,
[2]
load_state_dict() (NeuralModule method)
log (F attribute)
,
[1]
,
[2]
,
[3]
LOG (Transformation attribute)
,
[1]
,
[2]
LogHandler (class in neuralogic)
(class in neuralogic.logging)
Longtail (class in neuralogic.nn)
(class in neuralogic.nn.init)
LONGTAIL (InitializerNames attribute)
lr (Optimizer property)
,
[1]
,
[2]
LRDecay (class in neuralogic.nn.optim.lr_scheduler)
(class in neuralogic.nn.optim.lr_scheduler.lr_decay)
LSTM (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.lstm)
,
[1]
LSTMCell (class in neuralogic.nn.module.general.lstm)
lt() (SpecialPredicateFactory method)
lukasiewicz (F attribute)
,
[1]
,
[2]
,
[3]
LUKASIEWICZ (Transformation attribute)
,
[1]
,
[2]
M
MAE (Metric attribute)
,
[1]
,
[2]
MAGNNLinear (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.meta.magnn)
,
[1]
MAGNNMean (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.meta.magnn)
,
[1]
manual_seed() (in module neuralogic)
(in module neuralogic.setup)
MAX (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
max (F attribute)
,
[1]
,
[2]
,
[3]
max_agg (F attribute)
,
[1]
,
[2]
,
[3]
max_eval() (SpecialPredicateFactory method)
maxcard() (SpecialPredicateFactory method)
MaxPooling (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.pooling)
,
[1]
merge_queries_with_examples() (DatasetBuilder static method)
,
[1]
MetaConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.meta.meta)
,
[1]
Metadata (class in neuralogic.core)
(class in neuralogic.core.constructs.metadata)
metadata (PredicateMetadata attribute)
(Rule attribute)
,
[1]
(RuleBody attribute)
,
[1]
Metric (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.metrics)
MIN (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
min (F attribute)
,
[1]
,
[2]
,
[3]
min_agg (F attribute)
,
[1]
,
[2]
,
[3]
min_eval() (SpecialPredicateFactory method)
MLP (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.mlp)
,
[1]
mod() (SpecialPredicateFactory method)
mod_eval() (SpecialPredicateFactory method)
Mode (class in neuralogic.dataset)
(class in neuralogic.dataset.csv)
Model (class in neuralogic)
(class in neuralogic.core)
(class in neuralogic.core.model)
model_to_dot_source() (in module neuralogic.utils.visualize)
ModelError
,
[1]
module
neuralogic
neuralogic.core
neuralogic.core.builder
neuralogic.core.builder.builder
neuralogic.core.builder.components
neuralogic.core.builder.dataset
neuralogic.core.builder.dataset_builder
neuralogic.core.constructs
neuralogic.core.constructs.factories
neuralogic.core.constructs.function
neuralogic.core.constructs.function.concat
neuralogic.core.constructs.function.enum
neuralogic.core.constructs.function.function
neuralogic.core.constructs.function.function_container
neuralogic.core.constructs.function.function_graph
neuralogic.core.constructs.function.reshape
neuralogic.core.constructs.function.slice
neuralogic.core.constructs.function.softmax
neuralogic.core.constructs.java_objects
neuralogic.core.constructs.metadata
neuralogic.core.constructs.predicate
neuralogic.core.constructs.relation
neuralogic.core.constructs.rule
neuralogic.core.constructs.term
neuralogic.core.enums
neuralogic.core.model
neuralogic.core.neural_module
neuralogic.core.settings
neuralogic.core.settings.settings_proxy
neuralogic.core.sources
neuralogic.core.torch
neuralogic.dataset
neuralogic.dataset.base
neuralogic.dataset.csv
neuralogic.dataset.db
neuralogic.dataset.file
neuralogic.dataset.logic
neuralogic.dataset.pddl
neuralogic.dataset.tensor
neuralogic.exceptions
neuralogic.experimental.db.converter
neuralogic.logging
neuralogic.nn
neuralogic.nn.init
neuralogic.nn.loss
neuralogic.nn.module
neuralogic.nn.module.general
neuralogic.nn.module.general.attention
neuralogic.nn.module.general.gru
neuralogic.nn.module.general.linear
neuralogic.nn.module.general.lstm
neuralogic.nn.module.general.mlp
neuralogic.nn.module.general.pooling
neuralogic.nn.module.general.positional_encoding
neuralogic.nn.module.general.rnn
neuralogic.nn.module.general.rvnn
neuralogic.nn.module.general.transformer
neuralogic.nn.module.gnn
neuralogic.nn.module.gnn.appnp
neuralogic.nn.module.gnn.gatv2
neuralogic.nn.module.gnn.gcn
neuralogic.nn.module.gnn.gen
neuralogic.nn.module.gnn.gin
neuralogic.nn.module.gnn.gine
neuralogic.nn.module.gnn.gsage
neuralogic.nn.module.gnn.res_gated
neuralogic.nn.module.gnn.rgcn
neuralogic.nn.module.gnn.sg
neuralogic.nn.module.gnn.tag
neuralogic.nn.module.meta
neuralogic.nn.module.meta.magnn
neuralogic.nn.module.meta.meta
neuralogic.nn.module.module
neuralogic.nn.optim
neuralogic.nn.optim.adam
neuralogic.nn.optim.lr_scheduler
neuralogic.nn.optim.lr_scheduler.arithmetic
neuralogic.nn.optim.lr_scheduler.geometric
neuralogic.nn.optim.lr_scheduler.lr_decay
neuralogic.nn.optim.optimizer
neuralogic.nn.optim.sgd
neuralogic.nn.trainer
neuralogic.nn.trainer.callbacks
neuralogic.nn.trainer.helpers
neuralogic.nn.trainer.history
neuralogic.nn.trainer.metrics
neuralogic.nn.trainer.trainer
neuralogic.setup
neuralogic.utils
neuralogic.utils.data
neuralogic.utils.visualize
Module (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.module)
MSE (class in neuralogic.nn)
(class in neuralogic.nn.loss)
(ErrorFunctionNames attribute)
(Metric attribute)
,
[1]
,
[2]
mul_eval() (SpecialPredicateFactory method)
MultiheadAttention (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.attention)
,
[1]
Mutagenesis() (in module neuralogic.utils.data)
N
n_rows (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
name (AggregationFunction attribute)
(CombinationFunction attribute)
(Constant attribute)
(FContainer property)
,
[1]
(Function attribute)
,
[1]
(Predicate attribute)
(TransformationFunction attribute)
(Variable attribute)
name() (Optimizer method)
,
[1]
,
[2]
namespace (AggregationFunction attribute)
(CombinationFunction attribute)
(Function attribute)
,
[1]
(TransformationFunction attribute)
Nations() (in module neuralogic.utils.data)
negated (BaseRelation attribute)
Negation (NeuronType attribute)
,
[1]
neq() (SpecialPredicateFactory method)
neuralize() (Builder method)
,
[1]
(GroundedDataset method)
,
[1]
,
[2]
NeuralModule (class in neuralogic.core.neural_module)
neuralogic
module
neuralogic.core
module
neuralogic.core.builder
module
neuralogic.core.builder.builder
module
neuralogic.core.builder.components
module
neuralogic.core.builder.dataset
module
neuralogic.core.builder.dataset_builder
module
neuralogic.core.constructs
module
neuralogic.core.constructs.factories
module
neuralogic.core.constructs.function
module
neuralogic.core.constructs.function.concat
module
neuralogic.core.constructs.function.enum
module
neuralogic.core.constructs.function.function
module
neuralogic.core.constructs.function.function_container
module
neuralogic.core.constructs.function.function_graph
module
neuralogic.core.constructs.function.reshape
module
neuralogic.core.constructs.function.slice
module
neuralogic.core.constructs.function.softmax
module
neuralogic.core.constructs.java_objects
module
neuralogic.core.constructs.metadata
module
neuralogic.core.constructs.predicate
module
neuralogic.core.constructs.relation
module
neuralogic.core.constructs.rule
module
neuralogic.core.constructs.term
module
neuralogic.core.enums
module
neuralogic.core.model
module
neuralogic.core.neural_module
module
neuralogic.core.settings
module
neuralogic.core.settings.settings_proxy
module
neuralogic.core.sources
module
neuralogic.core.torch
module
neuralogic.dataset
module
neuralogic.dataset.base
module
neuralogic.dataset.csv
module
neuralogic.dataset.db
module
neuralogic.dataset.file
module
neuralogic.dataset.logic
module
neuralogic.dataset.pddl
module
neuralogic.dataset.tensor
module
neuralogic.exceptions
module
neuralogic.experimental.db.converter
module
neuralogic.logging
module
neuralogic.nn
module
neuralogic.nn.init
module
neuralogic.nn.loss
module
neuralogic.nn.module
module
neuralogic.nn.module.general
module
neuralogic.nn.module.general.attention
module
neuralogic.nn.module.general.gru
module
neuralogic.nn.module.general.linear
module
neuralogic.nn.module.general.lstm
module
neuralogic.nn.module.general.mlp
module
neuralogic.nn.module.general.pooling
module
neuralogic.nn.module.general.positional_encoding
module
neuralogic.nn.module.general.rnn
module
neuralogic.nn.module.general.rvnn
module
neuralogic.nn.module.general.transformer
module
neuralogic.nn.module.gnn
module
neuralogic.nn.module.gnn.appnp
module
neuralogic.nn.module.gnn.gatv2
module
neuralogic.nn.module.gnn.gcn
module
neuralogic.nn.module.gnn.gen
module
neuralogic.nn.module.gnn.gin
module
neuralogic.nn.module.gnn.gine
module
neuralogic.nn.module.gnn.gsage
module
neuralogic.nn.module.gnn.res_gated
module
neuralogic.nn.module.gnn.rgcn
module
neuralogic.nn.module.gnn.sg
module
neuralogic.nn.module.gnn.tag
module
neuralogic.nn.module.meta
module
neuralogic.nn.module.meta.magnn
module
neuralogic.nn.module.meta.meta
module
neuralogic.nn.module.module
module
neuralogic.nn.optim
module
neuralogic.nn.optim.adam
module
neuralogic.nn.optim.lr_scheduler
module
neuralogic.nn.optim.lr_scheduler.arithmetic
module
neuralogic.nn.optim.lr_scheduler.geometric
module
neuralogic.nn.optim.lr_scheduler.lr_decay
module
neuralogic.nn.optim.optimizer
module
neuralogic.nn.optim.sgd
module
neuralogic.nn.trainer
module
neuralogic.nn.trainer.callbacks
module
neuralogic.nn.trainer.helpers
module
neuralogic.nn.trainer.history
module
neuralogic.nn.trainer.metrics
module
neuralogic.nn.trainer.trainer
module
neuralogic.setup
module
neuralogic.utils
module
neuralogic.utils.data
module
neuralogic.utils.visualize
module
NeuraLogicError
,
[1]
NeuralSample (class in neuralogic.core.builder)
(class in neuralogic.core.builder.components)
Neuron (class in neuralogic.core.builder)
(class in neuralogic.core.builder.components)
neurons (NeuralSample property)
,
[1]
NeuronType (class in neuralogic.core.builder)
(class in neuralogic.core.builder.components)
next() (SpecialPredicateFactory method)
node_type() (Atom method)
,
[1]
nodes (FContainer attribute)
,
[1]
norm (F attribute)
,
[1]
,
[2]
,
[3]
NORM (Transformation attribute)
,
[1]
,
[2]
Normal (class in neuralogic.nn)
(class in neuralogic.nn.init)
NORMAL (Formatter attribute)
(InitializerNames attribute)
O
OFF (Level attribute)
on_epoch_end() (CheckpointCallback method)
,
[1]
,
[2]
(EarlyStoppingCallback method)
,
[1]
,
[2]
(ProgressCallback method)
,
[1]
,
[2]
(TrainerCallback method)
,
[1]
,
[2]
on_train_begin() (CheckpointCallback method)
,
[1]
,
[2]
(EarlyStoppingCallback method)
,
[1]
,
[2]
(ProgressCallback method)
,
[1]
,
[2]
(TrainerCallback method)
,
[1]
,
[2]
on_train_end() (ProgressCallback method)
,
[1]
,
[2]
(TrainerCallback method)
,
[1]
,
[2]
ONE_EXAMPLE (Mode attribute)
,
[1]
operator (AggregationFunction attribute)
(CombinationFunction attribute)
(Function attribute)
,
[1]
(TransformationFunction attribute)
Optimizer (class in neuralogic.nn)
(class in neuralogic.nn.optim)
(class in neuralogic.nn.optim.optimizer)
optimizer (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
output (LogHandler attribute)
,
[1]
P
parameters() (NeuralModule method)
path (CheckpointCallback property)
,
[1]
,
[2]
PDDLDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.pddl)
Pooling (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.pooling)
,
[1]
PositionalEncoding (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.positional_encoding)
,
[1]
PRECISION_MACRO (Metric attribute)
,
[1]
,
[2]
predicate (Atom property)
,
[1]
(BaseRelation attribute)
Predicate (class in neuralogic.core.constructs.predicate)
predicate (PredicateMetadata attribute)
PredicateMetadata (class in neuralogic.core.constructs.predicate)
pretty_str() (Function method)
,
[1]
process_head() (Function method)
,
[1]
(SoftmaxAggregation method)
PRODUCT (Combination attribute)
,
[1]
,
[2]
product (F attribute)
,
[1]
,
[2]
,
[3]
ProgressCallback (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.callbacks)
prune_only_identities (Settings property)
,
[1]
,
[2]
(SettingsProxy property)
,
[1]
Q
q() (Model method)
,
[1]
,
[2]
query (Sample attribute)
,
[1]
query() (Model method)
,
[1]
,
[2]
R
R2 (Metric attribute)
,
[1]
,
[2]
RECALL_MACRO (Metric attribute)
,
[1]
,
[2]
relation_combination (SettingsProxy property)
,
[1]
relation_name (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
(TableMapping attribute)
relation_transformation (SettingsProxy property)
,
[1]
relu (F attribute)
,
[1]
,
[2]
,
[3]
RELU (Transformation attribute)
,
[1]
,
[2]
remove_duplicates() (Model method)
,
[1]
,
[2]
replace_empty_column (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
reset_parameters() (NeuralModule method)
ResGatedGraphConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.res_gated)
,
[1]
Reshape (class in neuralogic.core.constructs.function.reshape)
reshape (F attribute)
,
[1]
,
[2]
,
[3]
RESHAPE (Transformation attribute)
,
[1]
,
[2]
restart() (LRDecay method)
,
[1]
reverse (F attribute)
,
[1]
,
[2]
,
[3]
REVERSE (Transformation attribute)
,
[1]
,
[2]
RGCNConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.rgcn)
,
[1]
RMSE (Metric attribute)
,
[1]
,
[2]
RNN (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.rnn)
,
[1]
RNNCell (class in neuralogic.nn.module.general.rnn)
rows (Slice attribute)
Rule (class in neuralogic.core)
(class in neuralogic.core.constructs.rule)
(NeuronType attribute)
,
[1]
rule_aggregation (SettingsProxy property)
,
[1]
rule_combination (SettingsProxy property)
,
[1]
rule_head_dependant() (Function method)
,
[1]
(SoftmaxAggregation method)
rule_transformation (SettingsProxy property)
,
[1]
RuleBody (class in neuralogic.core)
(class in neuralogic.core.constructs.rule)
RvNN (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.rvnn)
,
[1]
S
SAGEConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.gsage)
,
[1]
Sample (class in neuralogic.dataset)
(class in neuralogic.dataset.logic)
sample_to_dot_source() (in module neuralogic.utils.visualize)
samples (Dataset attribute)
,
[1]
samples_to_examples_and_queries() (in module neuralogic.core.builder.dataset_builder)
save() (Model method)
,
[1]
,
[2]
seed() (in module neuralogic)
(in module neuralogic.setup)
sep (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
set_arity() (Predicate method)
set_examples() (Dataset method)
,
[1]
set_fact_value() (NeuralSample method)
,
[1]
set_graphviz_path() (in module neuralogic)
(in module neuralogic.setup)
set_jvm_options() (in module neuralogic)
(in module neuralogic.setup)
set_jvm_path() (in module neuralogic)
(in module neuralogic.setup)
set_max_memory_size() (in module neuralogic)
(in module neuralogic.setup)
set_queries() (Dataset method)
,
[1]
(DBDataset method)
,
[1]
set_query_csv_file() (CSVDataset method)
,
[1]
set_samples() (Dataset method)
,
[1]
Settings (class in neuralogic)
(class in neuralogic.core)
(class in neuralogic.core.settings)
SettingsProxy (class in neuralogic.core)
(class in neuralogic.core.settings.settings_proxy)
SEVERE (Level attribute)
SGConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.sg)
,
[1]
SGD (class in neuralogic.nn)
(class in neuralogic.nn.optim)
(class in neuralogic.nn.optim.sgd)
shape (Reshape attribute)
shutdown() (in module neuralogic)
(in module neuralogic.setup)
sigmoid (F attribute)
,
[1]
,
[2]
,
[3]
SIGMOID (Transformation attribute)
,
[1]
,
[2]
signum (F attribute)
,
[1]
,
[2]
,
[3]
SIGNUM (Transformation attribute)
,
[1]
,
[2]
skip_rows (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
Slice (class in neuralogic.core.constructs.function.slice)
slice (F attribute)
,
[1]
,
[2]
,
[3]
SLICE (Transformation attribute)
,
[1]
,
[2]
SoftEntropy (class in neuralogic.nn)
(class in neuralogic.nn.loss)
SOFTENTROPY (ErrorFunctionNames attribute)
SOFTMAX (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
softmax (F attribute)
,
[1]
,
[2]
,
[3]
SOFTMAX (Transformation attribute)
,
[1]
,
[2]
softmax_agg (F attribute)
,
[1]
,
[2]
,
[3]
softmax_comb (F attribute)
,
[1]
,
[2]
,
[3]
SoftmaxAggregation (class in neuralogic.core.constructs.function.softmax)
Sources (class in neuralogic.core.sources)
SPARSEMAX (Combination attribute)
,
[1]
,
[2]
sparsemax (F attribute)
,
[1]
,
[2]
,
[3]
SPARSEMAX (Transformation attribute)
,
[1]
,
[2]
sparsemax_comb (F attribute)
,
[1]
,
[2]
,
[3]
special (HiddenPredicateFactory property)
(Predicate attribute)
SpecialPredicateFactory (class in neuralogic.core.constructs.factories)
SplittableAggregation (NeuronType attribute)
,
[1]
sqrt (F attribute)
,
[1]
,
[2]
,
[3]
SQRT (Transformation attribute)
,
[1]
,
[2]
state_dict() (NeuralModule method)
stopped_early (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
stream_to_list() (in module neuralogic.core.builder.builder)
sub() (SpecialPredicateFactory method)
sub_eval() (SpecialPredicateFactory method)
substitutions (Atom attribute)
,
[1]
(Neuron attribute)
,
[1]
SUM (Aggregation attribute)
,
[1]
,
[2]
(Combination attribute)
,
[1]
,
[2]
sum (F attribute)
,
[1]
,
[2]
,
[3]
sum_agg (F attribute)
,
[1]
,
[2]
,
[3]
SumPooling (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.pooling)
,
[1]
T
T (BaseRelation property)
(WeightedRelation property)
table_name (DBSource attribute)
,
[1]
(TableMapping attribute)
TableMapping (class in neuralogic.experimental.db.converter)
TAGConv (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.gnn.tag)
,
[1]
tanh (F attribute)
,
[1]
,
[2]
,
[3]
TANH (Transformation attribute)
,
[1]
,
[2]
target (NeuralSample property)
,
[1]
tensor_parameters() (NeuralModule method)
TensorDataset (class in neuralogic.dataset)
(class in neuralogic.dataset.tensor)
term_columns (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
(TableMapping attribute)
terms (BaseRelation attribute)
test() (NeuralModule method)
(Trainer method)
,
[1]
,
[2]
TextIOWrapper (class in neuralogic.logging)
to_clause() (JavaFactory method)
to_csv() (DBSource method)
,
[1]
to_dataset() (ConvertibleDataset method)
,
[1]
(CSVDataset method)
,
[1]
(DBDataset method)
,
[1]
(PDDLDataset method)
,
[1]
(TensorDataset method)
,
[1]
to_dot_source() (in module neuralogic.utils.visualize)
to_function() (FContainer method)
,
[1]
to_json() (SettingsProxy method)
,
[1]
(Sources method)
to_logic_form() (CSVFile method)
,
[1]
(Data method)
,
[1]
to_sql() (Converter method)
to_str() (BaseRelation method)
(FContainer method)
,
[1]
(Predicate method)
(Rule method)
,
[1]
(WeightedRelation method)
train() (NeuralModule method)
train_losses (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
train_metrics (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
Trainer (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.trainer)
TrainerCallback (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.callbacks)
TrainerHistory (class in neuralogic.nn)
(class in neuralogic.nn.trainer)
(class in neuralogic.nn.trainer.history)
Trains() (in module neuralogic.utils.data)
Transformation (class in neuralogic.core)
(class in neuralogic.core.constructs.function)
(class in neuralogic.core.constructs.function.enum)
transformation (Metadata attribute)
,
[1]
TransformationFunction (class in neuralogic.core.constructs.function.function)
Transformer (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.transformer)
,
[1]
TransformerDecoder (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.transformer)
,
[1]
TransformerEncoder (class in neuralogic.nn)
(class in neuralogic.nn.module)
(class in neuralogic.nn.module.general.transformer)
,
[1]
transp (F attribute)
,
[1]
,
[2]
,
[3]
TRANSP (Transformation attribute)
,
[1]
,
[2]
truepred() (SpecialPredicateFactory method)
type (Constant attribute)
(Variable attribute)
U
Uniform (class in neuralogic.nn)
(class in neuralogic.nn.init)
UNIFORM (InitializerNames attribute)
V
val_losses (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
val_metrics (TrainerHistory attribute)
,
[1]
,
[2]
,
[3]
,
[4]
,
[5]
value (Neuron property)
,
[1]
value_column (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
(TableMapping attribute)
value_mapper (CSVFile attribute)
,
[1]
(DBSource attribute)
,
[1]
ValueFactory (class in neuralogic.core.constructs.java_objects)
var_terms (SoftmaxAggregation attribute)
Variable (class in neuralogic.core.constructs.term)
VariableFactory (class in neuralogic.core.constructs.factories)
W
WARNING (Level attribute)
weight (WeightedRelation attribute)
weight_name (WeightedRelation attribute)
WeightedAtom (NeuronType attribute)
,
[1]
WeightedRelation (class in neuralogic.core.constructs.relation)
WeightedRule (NeuronType attribute)
,
[1]
wrap() (Function method)
,
[1]
(Reshape method)
(Slice method)
write() (TextIOWrapper method)
X
XOR() (in module neuralogic.utils.data)
XOR_Vectorized() (in module neuralogic.utils.data)
Z
ZIP (Mode attribute)
,
[1]