# --------------------------------------------------------
# Monadic Markov Logic Network EYE component -- Jos De Roo
# --------------------------------------------------------

# Inspired by https://espace.library.uq.edu.au/view/UQ:344936/s4086748_phd_submission.pdf
# Test case http://eulersharp.sourceforge.net/2007/07test/gv_test


PREFIX math: <http://www.w3.org/2000/10/swap/math#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>


{(?TARGET ?KIND) e:inductivity ?PROBABILITY} <=
{
	?SCOPE e:findall (?WEIGHT {(?TARGET ?KIND ?RULE) e:weight ?WEIGHT} ?PASS_WEIGHT).
	?SCOPE e:findall (?WEIGHT {?P => {(?TARGET ?KIND ?RULE) e:weight ?WEIGHT}} ?TOTAL_WEIGHT).
	(?PASS_WEIGHT!math:sum ?TOTAL_WEIGHT!math:sum) math:quotient ?PROBABILITY.
}.