Logic for Artificial Intelligence

This class is taught in English as part of the Master 1 Informatique and of the Master 1 Informatique parcours IA of the University Côte d'Azur.

Academic Year 2025-2026

1st semester, 3 ECTS.

Previous Editions: 2024-2025, 2023-2024, 2022-2023, 2021-2022, 2020-2021, 2019-2020, 2018-2019.

Instructor: Prof. Andrea G. B. Tettamanzi.

Timetable

This module consists of 12 two-hour lectures, which can consist of course (cours magistral, CM), class exercises (travaux dirigés, TD), or a mix of course and exercises.

Class Schedule

Lectures

Date	Subject
Wednesday, September 17, 2025, 8:45-10:45	Propositional Logic Exercises on Propositional Logic
Wednesday, September 24, 2025, 8:45-10:45	Propositional Logic Exercises on Propositional Entailment
Wednesday, October 1, 2025, 8:45-10:45	Predicate Logic Exercises
Wednesday, October 8, 2025, 8:45-10:45	Predicate Logic Exercises on Herbrand Entailment
Wednesday, October 15, 2025, 8:45-10:45	Natural Deduction Exercises on Natural Deduction
Wednesday, October 22, 2025, 8:45-10:45	Unification Exercises on Unification
Wednesday, November 5, 2025, 8:45-10:45	Resolution Exercises on Resolution
Wednesday, November 12, 2025, 8:45-10:45	Fuzzy Logic
Wednesday, November 19, 2025, 8:45-10:45	Exercises on Fuzzy Logic
Wednesday, November 26, 2025, 8:45-10:45	Possibility Theory Exercises
Wednesday, December 3, 2025, 8:45-10:45	Belief Revision and Update Exercises
Wednesday, December 10, 2025, 8:45-10:45	Argumentation Theory Exercises

Exam

Date	Description
Wednesday, January 7, 2026, 8:45-10:45	Final Written Test

Support

Textbooks

TBA.

Slides

The slides used in class may be downloaded by clicking on the title of the corresponding lecture.

On-Line Resources

TBA.

Grading

The final grade is computed as the average of three individual grades:

attendance and participation;
class assignments;
final written test.

Here is, as an example, the final written test of 2018.

Last Updated on September 16, 2025