This module performs learning over Logic Programs with Annotated Disjunctions and CP-Logic programs using the LEMUR algorithm of

Nicola Di Mauro, Elena Bellodi, and Fabrizio Riguzzi. Bandit-based Monte-Carlo structure learning of probabilistic logic programs. Machine Learning, 100(1):127-156, July 2015

See https://friguzzi.github.io/cplint/ for details.

Reexports slipcover

author

- Nicola di Mauro, Fabrizio Riguzzi, Elena Bellodi

copyright

- Nicola di Mauro, Fabrizio Riguzzi, Elena Bellodi

license

- Artistic License 2.0

 induce_lm(:TrainFolds:list_of_atoms, -P:probabilistic_program) is det

The predicate performs structure learning using the folds indicated in TrainFolds for training. It returns in P the learned probabilistic program.

 set_lm(:Parameter:atom, +Value:term) is det

The predicate sets the value of a parameter For a list of parameters see https://friguzzi.github.io/cplint/

 setting_lm(:Parameter:atom, -Value:term) is det

The predicate returns the value of a parameter For a list of parameters see https://friguzzi.github.io/cplint/

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 set_sc(Arg1, Arg2)

 setting_sc(Arg1, Arg2)

 induce(Arg1, Arg2)

 induce_par(Arg1, Arg2)

 test(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)

 list2or(Arg1, Arg2)

 list2and(Arg1, Arg2)

 sample(Arg1, Arg2, Arg3, Arg4)

 learn_params(Arg1, Arg2, Arg3, Arg4, Arg5)

 test_prob(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 rules2terms(Arg1, Arg2)

 get_sc_var_n(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 process_clauses(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 generate_clauses(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 generate_clauses_bg(Arg1, Arg2)

 generate_body(Arg1, Arg2, Arg3)

 make_dynamic(Arg1)

 extract_fancy_vars(Arg1, Arg2)

 linked_clause(Arg1, Arg2, Arg3)

 banned_clause(Arg1, Arg2, Arg3)

 take_var_args(Arg1, Arg2, Arg3)

 remove_duplicates(Arg1, Arg2)

 extract_type_vars(Arg1, Arg2, Arg3)

 delete_one(Arg1, Arg2, Arg3)

 get_next_rule_number(Arg1, Arg2)

 tab(Arg1, Arg2, Arg3)

 zero_clause(Arg1, Arg2, Arg3)

 member_eq(Arg1, Arg2)

 retract_all(Arg1)

 assert_all(Arg1, Arg2, Arg3)

 write2(Arg1, Arg2)

 write3(Arg1, Arg2)

 format2(Arg1, Arg2, Arg3)

 format3(Arg1, Arg2, Arg3)

 write_rules2(Arg1, Arg2, Arg3)

 write_rules3(Arg1, Arg2, Arg3)

 nl2(Arg1)

 nl3(Arg1)

 init_em(Arg1)

 init_ex(Arg1, Arg2)

 init(Arg1)

 end_em(Arg1)

 end_ex(Arg1)

 end(Arg1)

 one(Arg1, Arg2)

 zero(Arg1, Arg2)

 and(Arg1, Arg2, Arg3, Arg4)

 or(Arg1, Arg2, Arg3, Arg4)

 bdd_not(Arg1, Arg2, Arg3)

 ret_prob(Arg1, Arg2, Arg3)

 equality(Arg1, Arg2, Arg3, Arg4)

 add_var(Arg1, Arg2, Arg3, Arg4)

 add_abd_var(Arg1, Arg2, Arg3, Arg4)

 ret_abd_prob(Arg1, Arg2, Arg3, Arg4)

 add_query_var(Arg1, Arg2, Arg3, Arg4)

 ret_map_prob(Arg1, Arg2, Arg3, Arg4)

 onec(Arg1, Arg2)

 zeroc(Arg1, Arg2)

 andc(Arg1, Arg2, Arg3, Arg4)

 andcnf(Arg1, Arg2, Arg3, Arg4)

 bdd_notc(Arg1, Arg2, Arg3)

 orc(Arg1, Arg2, Arg3)

 ret_probc(Arg1, Arg2, Arg3)

 equalityc(Arg1, Arg2, Arg3, Arg4)

 or_list(Arg1, Arg2, Arg3)

 or_listc(Arg1, Arg2, Arg3)

 make_query_var(Arg1, Arg2, Arg3)

 create_dot(Arg1, Arg2, Arg3)

 create_dot_string(Arg1, Arg2, Arg3)

 em(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)

 rand_seed(Arg1)

 gamma_sample(Arg1, Arg2, Arg3)

 gauss_sample(Arg1, Arg2, Arg3)

 uniform_sample(Arg1)

 dirichlet_sample(Arg1, Arg2)

 symmetric_dirichlet_sample(Arg1, Arg2, Arg3)

 discrete_sample(Arg1, Arg2)

 initial_values(Arg1, Arg2)

 add_decision_var(Arg1, Arg2, Arg3)

 probability_dd(Arg1, Arg2, Arg3)

 add_prod(Arg1, Arg2, Arg3, Arg4)

 add_sum(Arg1, Arg2, Arg3, Arg4)

 ret_strategy(Arg1, Arg2, Arg3, Arg4)

 debug_cudd_var(Arg1, Arg2)