Logic for Artificial Intelligence

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

Academic Year 2023-2024

I semester, 3 ECTS.

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

Instructor: Prof. Andrea G. B. Tettamanzi.

Timetable

This module consists of 12 hours of lectures (cours magistral, CM) and 12 hours of class exercises (travaux dirigés, TD). Every 3-hour session consists of a lecture followed by class exercises, with a 15-minutes break in between.

Class Schedule

Lectures

Date	Subject
Wednesday, September 6, 2023, 9:00-12:00	Propositional Logic Exercises
Tuesday, September 12, 2023, 9:00-12:00	Predicate Logic Exercises
Friday, September 22, 2023, 14:00-17:00	Natural Deduction Exercises
Tuesday, September 26, 2023, 14:00-17:00	Unification and Resolution Exercises
Tuesday, October 3, 2023, 9:00-12:00	Fuzzy Logic Exercises
Tuesday, October 10, 2023, 9:00-12:00	Possibility Theory Exercises
Tuesday, October 17, 2023, 9:00-12:00	Belief Revision and Update Exercises
Tuesday, October 24, 2023, 9:00-12:00	Argumentation Theory Exercises

Exam

Date	Description
Tuesday, November 7, 2023, 8:00-10: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 November 3, 2023