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 2024-2025

I semester, 3 ECTS.

Previous Editions: 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
Tuesday, September 10, 2024, 9:00-11:00	Propositional Logic
Tuesday, September 17, 2024, 9:00-11:00	Exercises on Propositional Logic
Tuesday, September 24, 2024, 9:00-11:00	Predicate Logic Exercises
Tuesday, October 1, 2024, 9:00-11:00	Natural Deduction
Tuesday, October 8, 2024, 9:00-11:00	Exercises on Natural Deduction
Tuesday, October 15, 2024, 9:00-11:00	Unification and Resolution
Tuesday, October 22, 2024, 9:00-11:00	Exercises on Unification and Resolution
Tuesday, November 5, 2024, 9:00-11:00	Fuzzy Logic
Tuesday, November 12, 2024, 9:00-11:00	Exercises on Fuzzy Logic
Tuesday, November 19, 2024, 9:00-11:00	Possibility Theory Exercises
Tuesday, November 26, 2024, 9:00-11:00	Belief Revision and Update Exercises
Tuesday, December 3, 2024, 9:00-11:00	Argumentation Theory Exercises

Exam

Date	Description
Tuesday, December 10, 2024, 9:00-11:00	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 10, 2024