Telecom Paris Dep. Informatique & Réseaux Nils Holzenberger ← Home page March 2025

Logic, Knowledge Representation and Probabilities

with

Samuel Reyd

and

Sicheng Mao

➜            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). Answers are recorded and contribute to the final grade. For most questions, a possible solution becomes accessible after answering. Lab sessions can be completed during until just before the next lecture (see dates in the table below). Answers are no longer recorded beyond the deadline indicated for each topic, which means students will need to work on a weekly basis.
There will be an exam (on paper, no documents, no turned-on device, 90 minutes) at the end of the course, contributing to ~70% of the final grade. It will consist in small short and independent exercises about Prolog, logic and other topics. No documents, no functionning 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. Answers to lab exercises will be read and evaluated. They will contribute to the final grade (~30%).

Topics

Dates are 2025	Overview
18 feb 15:00 ➜ 4 mar 13:30	First steps in Prolog   Slides lecture 1   Without animations
4 mar 15:00 ➜ 11 mar 13:30	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
11 mar 15:00 ➜ 18 mar 13:30	Propositional Logic   Slides lecture 3   Without animations
18 mar 13:30 ➜ 25 mar 13:30	Predicate Logic   Slides lecture 4   Without animations
25 mar 15:00 ➜ 1 apr 13:30	Machine Learning   Slides lecture 5   Without animations   Lab on Natural Language Processing (optional)
1 apr 15:00 ➜ 8 apr 13:30	ProbLog: Probabilistic Prolog
8 apr 15:00 ➜ 18 apr 23:59	Statistical Machine Learning in Problog
15 apr 13:30 ➜ 15:00	Review session
15 apr 15:15 ➜ 16:45	Exam   Past exams:   2024   2023   2022

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.