pyreason.scripts.interpretation.interpretation_parallel

Module Contents

Classes

Interpretation

Functions

get_node_rule_node_clause_subset(clause_var_1, ...)
get_node_rule_edge_clause_subset(clause_var_1, ...)
get_edge_rule_node_clause_subset(clause_var_1, ...)
get_edge_rule_edge_clause_subset(clause_var_1, ...)
get_qualified_components_node_clause(...)
get_qualified_components_node_comparison_clause(...)
get_qualified_components_edge_clause(...)
get_qualified_components_edge_comparison_clause(...)
compare_numbers_node_predicate(numbers_1, numbers_2, ...)
compare_numbers_edge_predicate(numbers_1, numbers_2, ...)
are_satisfied_node(interpretations, comp, nas)
is_satisfied_node(interpretations, comp, na)
is_satisfied_node_comparison(interpretations, comp, na)
are_satisfied_edge(interpretations, comp, nas)
is_satisfied_edge(interpretations, comp, na)
is_satisfied_edge_comparison(interpretations, comp, na)
annotate(annotation_functions, rule, annotations, weights)
check_consistent_node(interpretations, comp, na)
check_consistent_edge(interpretations, comp, na)
resolve_inconsistency_node(interpretations, comp, na, ...)
resolve_inconsistency_edge(interpretations, comp, na, ...)
float_to_str(value)
str_to_float(value)
str_to_int(value)

Attributes

node_type
edge_type
list_of_nodes
list_of_edges
facts_to_be_applied_node_type
facts_to_be_applied_edge_type
node_applicable_rule_type
edge_applicable_rule_type

node_type

edge_type

list_of_nodes

list_of_edges

facts_to_be_applied_node_type

facts_to_be_applied_edge_type

node_applicable_rule_type

edge_applicable_rule_type

class Interpretation(graph, ipl, annotation_functions, reverse_graph, atom_trace, save_graph_attributes_to_rule_trace, canonical, inconsistency_check, store_interpretation_changes, update_mode)

available_labels_node = '[]'

available_labels_edge = '[]'

specific_node_labels

specific_edge_labels

start_fp(tmax, facts_node, facts_edge, rules, verbose, convergence_threshold, convergence_bound_threshold, again=False)

static reason(interpretations_node, interpretations_edge, tmax, prev_reasoning_data, rules, nodes, edges, neighbors, reverse_neighbors, rules_to_be_applied_node, rules_to_be_applied_edge, edges_to_be_added_node_rule, edges_to_be_added_edge_rule, rules_to_be_applied_node_trace, rules_to_be_applied_edge_trace, facts_to_be_applied_node, facts_to_be_applied_edge, facts_to_be_applied_node_trace, facts_to_be_applied_edge_trace, ipl, rule_trace_node, rule_trace_edge, rule_trace_node_atoms, rule_trace_edge_atoms, reverse_graph, atom_trace, save_graph_attributes_to_rule_trace, canonical, inconsistency_check, store_interpretation_changes, update_mode, max_facts_time, annotation_functions, convergence_mode, convergence_delta, verbose, again)

add_edge(edge, l)

add_node(node, labels)

delete_edge(edge)

delete_node(node)

get_interpretation_dict()

get_node_rule_node_clause_subset(clause_var_1, target_node, subsets, neighbors)

get_node_rule_edge_clause_subset(clause_var_1, clause_var_2, target_node, subsets, neighbors, reverse_neighbors, nodes)

get_edge_rule_node_clause_subset(clause_var_1, target_edge, subsets, neighbors)

get_edge_rule_edge_clause_subset(clause_var_1, clause_var_2, target_edge, subsets, neighbors, reverse_neighbors, nodes)

get_qualified_components_node_clause(interpretations_node, candidates, l, bnd)

get_qualified_components_node_comparison_clause(interpretations_node, candidates, l, bnd)

get_qualified_components_edge_clause(interpretations_edge, candidates_source, candidates_target, l, bnd, reverse_graph)

get_qualified_components_edge_comparison_clause(interpretations_edge, candidates_source, candidates_target, l, bnd, reverse_graph)

compare_numbers_node_predicate(numbers_1, numbers_2, op, qualified_nodes_1, qualified_nodes_2)

compare_numbers_edge_predicate(numbers_1, numbers_2, op, qualified_nodes_1a, qualified_nodes_1b, qualified_nodes_2a, qualified_nodes_2b)

are_satisfied_node(interpretations, comp, nas)

is_satisfied_node(interpretations, comp, na)

is_satisfied_node_comparison(interpretations, comp, na)

are_satisfied_edge(interpretations, comp, nas)

is_satisfied_edge(interpretations, comp, na)

is_satisfied_edge_comparison(interpretations, comp, na)

annotate(annotation_functions, rule, annotations, weights)

check_consistent_node(interpretations, comp, na)

check_consistent_edge(interpretations, comp, na)

resolve_inconsistency_node(interpretations, comp, na, ipl, t_cnt, fp_cnt, atom_trace, rule_trace, rule_trace_atoms, store_interpretation_changes)

resolve_inconsistency_edge(interpretations, comp, na, ipl, t_cnt, fp_cnt, atom_trace, rule_trace, rule_trace_atoms, store_interpretation_changes)

float_to_str(value)

str_to_float(value)

str_to_int(value)