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 6


LGG

Provide the best generalization (lgg) for these two examples of the concept nice_food:
nice_food(X) :- fruit(X), round(X), red(X), juicy(X).
nice_food(X) :- edible(X), yellow(X), sweet(X), has_seeds(X).
using the background knowledge :
edible(X) :- fruit(X).
juicy(X) :- sweet(X).
edible(X) :- sweet(X).
nice_food(X) :- edible(X), juicy(X). nice_food(X) :- edible(X), sweet(X). nice_food(X) :- edible(X), sweet(X), yellow(X). nice_food(X) :- edible(X).

    

Progol

Progol (not Prolog) implements which of the following:
Inductive Logic Programming Symbolic Analogical Reasoning Integer Linear Programming First-Order Logic Resolution

    

ProbLog

Given the following ProbLog program:
l(X,Y):- f(X,Y).
0.8::l(X,Y):- f(X,Z), l(Z,Y).
0.5::f(john,mary).
0.4::f(mary,pedro).
0.3::f(mary,tom).
0.2::f(pedro,tom).

What is the probability of sampling the following Prolog program:     
l(X,Y):- f(X,Y).
l(X,Y):- f(X,Z), l(Z,Y).
f(mary,pedro).
f(pedro,tom).
0.8*0.5*0.4*0.7*0.2 0.8*0.4*0.2 0.8*0.5*0.4*0.3*0.2 0.8*0.5*0.6*0.7*0.8

    


            
Line.jpg

Back to the main page