Abstract ProbLog är en nyligen införd probabilistisk förlängning av Prolog (De Raedt, et al. vid arbetet vid den 20:e internationella gemensamma konferensen om artificiell intelligens, s. [2468][2469][2470][2471][2472][2473] 2007). Ett ProbLog-program definierar en distribution över logiska program genom att för varje klausul ange sannolikheten för att det tillhör ett slumpmässigt provprogram, och dessa sannolikheter är ömsesidigt oberoende. Semantiken av ProbLog definieras sedan av framgångsannolikheten för en fråga i ett slumpmässigt provprogram. Detta papper introducerar teorin komprimering uppgift för ProbLog, som består av att välja den delmängd av klausuler i ett givet ProbLog program som maximerar sannolikheten w.r.t. en uppsättning positiva och negativa exempel. Experiment i samband med upptäckt av länkar i verkliga biologiska nätverk visar den praktiska tillämpligheten av tillvägagångssättet.
De Raedt m.fl. ge en annan lösning i inställningen av teorikompression för ProbLog, en probabilistisk Prolog REF.
Compressing probabilistic Prolog programs
{'venue': 'Machine Learning', 'journal': 'Machine Learning', 'mag_field_of_study': ['Computer Science']}