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)