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

nils.png Nils Holzenberger ← Home page

February 2026
5

NeurSymAI.png Logic, Knowledge Representation and Probabilities

with             Samuel Reyd     Samuel.jpeg

➜            other AI courses
5

Quiz lecture 3


Knowledge representation

Consider the following knowledge base:
isa(car, vehicle).
isa(combustion_engine, engine).
isa(electric_engine, engine).
isa(engine, propulsion_device).
part_of(engine, car).
isa(bike, vehicle).
wheels(car, 4).
wheels(bike, 2).
wheels(baby_stroller, 4).
isa(baby_stroller, vehicle).
part_of(drivetrain, bike).
isa(drivetrain, propulsion_device).
What is the following unknown_object?
isa(unknown_object, vehicle).
isa(electric_engine, engine).
part_of(electric_engine, unknown_object).
wheels(unknown_object, 2).
A freight train An electric skateboard An electric bike Definitely a UFO

    

Palindrome
Consider the following incomplete program, which checks whether the List is a palindrome. List may contain anything.


palindrome([], L, L).
palindrome(L) :-
    palindrome(L, [], L).
Which of the following 4 clauses is missing?
C1: palindrome([X|L], L1, L2) :-
    palindrome(L, [X|L2], L1).
C2: palindrome([X|L], L1, L2) :-
    palindrome(L, L1, [X|L2]).
C3: palindrome([X|L], L1, L2) :-
    palindrome(L, [X|L1], L2).
C4: palindrome([X|L], L1, L1) :-
    palindrome(L, [X|L2], L2).
C1 C2 C3 C4

    

Logical connectors
How many non-trivial 2-place connectors are there?

16 14 12 10

    


            
Line.jpg

Back to the main page