Opschaalbare Inferentie voor Probabilistische Programma's

ProbLog is een uitbreiding van Prolog die toestaat om feiten een waarschijnlijkheid toe te kennen, waardoor een kansverdeling gedefinieerd wordt over de verschillende werelden. Voor probabilistische inferentie wordt een programma gegrond, geëncodeerd in een logische formula, optioneel gecompileerd in een compactere voorstelling, en ten slotte wordt een gewogen modeltelling uitgevoerd om tot een antwoord te komen. Bij elk van deze stappen is er nog ruimte voor verbetering in termen van snelheid en efficiëntie. Het doel van dit onderzoek is om betere algoritmes of implementaties te vinden die deze operaties kunnen uitvoeren.