Telecom ParisTech
Dep. Informatique & Réseaux

J-L. Dessalles Home page

April 2019


Logic and Knowledge Representation
                                other AI courses


Introduction

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.

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 (~ 30%).

(2019: 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
25/01/2019 → 30/01/2019     Overview
30/01/2019 → 05/02/2019     First steps in Prolog
    See also: Slides lecture 1
06/02/2019 → 12/02/2019     Problem solving and Knowledge representation
13/02/2019 → 19/02/2019     Propositional Logic
    See also: Slides Logic0
20/02/2019 → 05/03/2019     Predicate Logic
    Slides Logic1
    See also Fabian Suchanek’s slides on ontologies and description logics            
06/03/2019 → 12/03/2019     Natural language processing
    Introduction to NLP          Introduction to parsing
    Voir aussi Une introduction au TALN et Les grammaires hors-contexte par François Yvon
    and Fabian Suchanek’s slides on parsing.
13/03/2019 → 26/03/2019     Symbolic machine learning
        Diapos sur l’apprentissage symbolique
27/03/2019 → 02/04/2019     Description complexity
03/04/2019     Machine learning and complexity

    Exam
    (No documents - No turned-on device)
        (Corrigé du contrôle de connaissances 2019)