Telecom Paris Dep. Informatique & Réseaux Nils Holzenberger ← Home page April 2026

Logic, Knowledge Representation and Probabilities

with

Samuel Reyd

➜            other AI courses

The course is organized around weekly topics. For each topic, there is a lecture followed by a lab session. For the lab sessions, 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 room).     
From 2026 onwards, the grade is ~40% weekly quizes and ~60% final exam. The weekly quizzes will test basic understanding of the course material and the lab sessions. The exam (on paper, no documents, no turned-on device, 90 minutes) will take place at the end of the course, contributing to ~60% of the final grade. It will consist in small short and independent exercises about Prolog, logic and other topics. No documents, no functioning devices.
Lab 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 labs, they are there for you.     

Topics

Dates are 2026	Overview
10 feb	First steps in Prolog   Slides lecture 1   Without animations
17 feb	Problem solving and Knowledge representation   Slides lecture 2   Without animations   monkey.pl   invert.pl   simpsons.pl   purge.pl   weather.pl   birds.pl   automaton.pl   testing-prolog.pl   Quiz
24 feb	Propositional Logic   Slides lecture 3   Without animations   Quiz
10 mar	Predicate Logic   Slides lecture 4   Without animations   Quiz   Lab in room 1A260
17 mar	Machine Learning   Slides lecture 5   Without animations   Lab on Natural Language Processing (optional)   Lab in room 1A260   Quiz
31 mar	ProbLog: Probabilistic Prolog   Slides lecture 6   Without animations   weather.pl   monty-hall.pl   likes.pl   Lab in room 1A260   Quiz
7 apr	Statistical Machine Learning in Problog   Slides lecture 7   Without animations   fruit.pl   poker-dice.pl   poker-dice-unbiased-samples.pl   poker-dice-biased-samples.pl   Lab in room 1A260   Quiz
14 apr 13h30	Review session
14 apr 15h15	Exam   Past exams:   2025   2024   2023

Gabriel Poesia, Kanishk Gandhi, Eric Zelikman and Noah D. Goodman, Certified Deductive Reasoning with Language Models, Arxiv 2023.
Chiang, T. (2023). ChatGPT is a blurry JPEG of the Web. Annals of Technology - The New Yorker, Feb.
Evans, J. & Rzhetsky, A. (2010). Machine science. Science, 329 (5990), 399-400.