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

Dessalles_2018.png J-L. DessallesHome page

November 2021
5

LKR.png Logic and Knowledge Representation
with             Etienne Houzé
                                            other AI courses
5

Introduction

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.

Exam

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%).

(2021 (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.

Topics

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


Topics
10/02/2021 → 17/02/2021     Overview
10/02/2021 → 17/02/2021     First steps in Prolog

        See also:    Slides lecture 1             Watch the lecture recorded in 2021
17/02/2021 → 03/03/2021     Problem solving and Knowledge representation

        See also:    Slides lecture 2             Watch the lecture recorded in 2021     
03/03/2021 → 10/03/2021     Propositional Logic

        See also:    Slides Logic0             Watch the lecture recorded in 2021
10/03/2021 → 24/03/2021     Predicate Logic

        See also:    Slides Logic1             Watch the lecture recorded in 2021     
24/03/2021 → 31/03/2021     Natural language processing

        Slides
        See also:    Introduction to parsing             Watch the lecture recorded in 2021     
        and        Fabian Suchanek’s slides on parsing.
31/03/2021 → 07/04/2021     Symbolic machine learning

        See also: slides: Symbolic Learning             Watch the lecture recorded in 2021
07/04/2021 → 14/04/2021     Description complexity

        See also: slides: Description Complexity             Watch the lecture recorded in 2021
14/04/2021     Logic and argumentation

        slides: Etienne Houzé’s Slides
14/04/2021     Exam
    (No documents - No turned-on device)
        (Corrigé du contrôle de connaissances 2021)     

                        

Line.jpg