logo_ipparis.png     TelecomParis_endossem_IPP_RVB_100pix.png Telecom Paris
Dep. Informatique & Réseaux

Dessalles_2018.png J-L. DessallesHome page

April 2022

LKR.png Logic and Knowledge Representation
with             Etienne Houzé
Pierre-Henri Paris
Zacchary Sadeddine
                                                                other AI courses


JLD2014.jpgJean-Louis Dessalles
Dép. Informatique & Réseaux

→ See the course description

The course is organized around weekly topics. For each topic, students connect to the relevant page on the web site. They will find some text to read, small open questions and small programming exercises that they can try on their own machine (or on the machines provided in the lab work room). Your answers are recorded. For most questions, a possible solution becomes accessible after answering. Try to work on a weekly basis. Answers are no longer recorded beyond the deadline indicated for each topic.


There will be a small quiz (on paper, no documents) at the end of the course. The final quiz will consist in small short and independent exercises about Prolog, logic and other topics. Answers to lab-work exercises will be read and evaluated. They will contribute to the final grade (~ 40%).

(2022 (as anticipated): no documents, no functionning devices).

Lab work

Lab work sessions are in rooms equipped with machines, but your are welcome to use your own. We will be working with the free Prolog Interpreter SWI-Prolog.

Don’t hesitate to ask questions to teachers during the lab work, they will there FOR YOU.


Note: The lectures will be taught in English, unless all attending students are sufficiently fluent in French.

14/02/2022 → 23/02/2022     Overview
16/02/2022 → 09/03/2022     First steps in Prolog
    See also:    Slides lecture 1    
23/02/2022 → 09/03/2022     Problem solving and Knowledge representation

    See also:    Slides lecture 2    
09/03/2022 → 16/03/2022     Propositional Logic

    See also:    Slides Logic0    
16/03/2022 → 23/03/2022     Predicate Logic

            See also:    Slides Logic1    
            Watch the lecture
23/03/2022 → 30/03/2022     Natural language processing

        Slides              See also:    NLP and AI    Introduction to parsing    
            Watch the lecture (though it dosn’t show the slides)
30/03/2022 → 06/04/2022     Symbolic machine learning

        See also: slides: Symbolic Learning    
            Watch the lecture (though there are 20 min. during which slides are missing)
06/04/2022 → 13/04/2022     Description complexity

        See also: slides: Description Complexity    
13/04/2022     Logic and argumentation

            slides: Etienne Houzé’s Slides                 Watch the lecture     
13/04/2022     Exam
    (No documents - No turned-on device)

    (Corrigé du contrôle de connaissances 2022)