Telecom Paris Dep. Informatique & Réseaux J-L. Dessalles ← Home page April 2022

Logic and Knowledge Representation

with	Etienne Houzé Pierre-Henri Paris Zacchary Sadeddine

                                                    →            other AI courses

Jean-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 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.

Topics

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)