Ett sätt att representera en maskininlärning algoritms fördomar över hypotesen och instans utrymme är som ett par sannolikhetsfördelningar. Detta tillvägagångssätt har valts både inom de bayesiska utbildningssystemen och inom ramen för U-lärbarheten. Det är dock inte uppenbart hur ett induktivt Logic Programmeringssystem (ILP) bäst ska förses med en sannolikhetsfördelning. Detta dokument utvidgar resultaten av ett tidigare dokument av författaren som införde stokastiska logiska program som ett sätt att tillhandahålla en strukturerad definition av en sådan sannolikhetsfördelning. Stochastiska logiska program är en generalisering av stokastisk grammatik. Ett stokastisk logik program består av en uppsättning märkta klausuler p : C där p är från intervallet 0; 1] och C är en intervall-begränsad de nite klausul. En stokastisk logik program P har en distributional semantik, som är en som tilldelar en sannolikhetsfördelning till atomerna i varje predikat i Herbrand basen av klausulerna i P. Dessa sannolikheter tilldelas atomer enligt en SLD-upplösning strategi som använder en stokastisk urval regel. Det visas att sannolikheterna kan beräknas direkt för felfria logiska program och genom normalisering för godtyckliga logiska program. Den stokastiska bevisstrategin kan användas för att tillhandahålla tre olika funktioner: 1) en metod för provtagning från Herbrand-basen som kan användas för att tillhandahålla utvalda mål eller exempeluppsättningar för ILP-experiment, 2) ett mått på informationsinnehållet i exempel eller hypoteser; detta kan användas för att vägleda sökningen i ett ILP-system och 3) en enkel metod för att konditionering en given stokastisk logik program på prover av data. Funktionerna 1) och 3) används för att mäta allmänheten av hypoteser i ILP-systemet Progol4.2. Detta stöder ett genomförande av en Bayesian teknik för att lära sig av positiva exempel bara. Detta dokument är en förlängning av ett dokument med samma titel som publicerades i 12]
Stochastic logik program REF är generaliseringar av probabilistiska sammanhangsfri grammatik.
Stochastic Logic Programs