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

Logic and Knowledge Representation

with	Etienne Houzé

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

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

10/02/2021 → 17/02/2021	Overview
10/02/2021 → 17/02/2021	First steps in Prolog         See also:    Slides lecture 1
17/02/2021 → 03/03/2021	Problem solving and Knowledge representation         See also:    Slides lecture 2
03/03/2021 → 10/03/2021	Propositional Logic         See also:    Slides Logic0
10/03/2021 → 24/03/2021	Predicate Logic         See also:    Slides Logic1
24/03/2021 → 31/03/2021	Natural language processing         Slides         See also:    Introduction to parsing              and        Fabian Suchanek’s slides on parsing.
31/03/2021 → 07/04/2021	Symbolic machine learning         See also: slides: Symbolic Learning
07/04/2021 → 14/04/2021	Description complexity         See also: slides: Description Complexity
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)