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).
Progol
Progol (not Prolog) implements which of the following:
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).