Did you know ... Search Documentation:
Pack cplint -- prolog/lemur.pl
PublicShow source

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 http://friguzzi.github.io/cplint/_build/html/index.html for details.

author
- 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://github.com/friguzzi/cplint/blob/master/doc/manual.pdf or http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html
 setting_lm(:Parameter:atom, -Value:term) is det
The predicate returns the value of a parameter For a list of parameters see https://github.com/friguzzi/cplint/blob/master/doc/manual.pdf or http://ds.ing.unife.it/~friguzzi/software/cplint-swi/manual.html

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)