TelecomParis_IPParis.png Telecom Paris
Dep. Informatique & Réseaux

nils.png Nils HolzenbergerHome page

April 2026

5

NeurSymAI.png Logic, Knowledge Representation and Probabilities

with             Samuel Reyd     Samuel.jpeg

            other AI courses


5

Quiz lecture 7


Probabilistic Logic Programming

Truth tables are to propositional logic as _____ is to probabilistic logic programming.
grounding model counting selective linear definite (SLD) clause resolution binary decision diagramming

    

Loaded dice

Alice and Bob play (for fun!) with loaded dice. Probabilities are as follows:
6/33::die1(1) ; 10/33::die1(2) ; 3/33::die1(3) ; 7/33::die1(4) ; 2/33::die1(5) ; 5/33::die1(6).
1/31::die2(1) ; 10/31::die2(2) ; 1/31::die2(3) ; 6/31::die2(4) ; 6/31::die2(5) ; 7/31::die2(6).

What is the probability that the sum of both dice is 7 (rounded to the nearest %)?
15% 16% 17% 18%

    

Boy or girl paradox

Here is a famous paradox in probabilities. "A couple has 2 children. One of them is a girl. What is the probability that the other one is a boy? Answer: 2/3." The point here is not to explain the paradox but to model it in ProbLog. Given the following program:
:- use_module(library(lists)).
1/2::child(N, boy); 1/2::child(N, girl).
children(A,B) :- child(1, A), child(2,B).
has_girl :- children(A,B), member(girl, [A,B]).
has_boy :- children(A,B), member(boy, [A,B]).
two_girls :- children(girl, girl).
evidence(has_girl).

What is the query that will return the answer?
query(child(2,boy)). query(has_boy). query(child(1,boy)). query(child(1,boy); child(2,boy)).

    


            
Line.jpg

Back to the main page