Logic for Artificial Intelligence

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


Academic Year 2021-2022

I semester, 3 ECTS.

Previous Editions: 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
Monday, September 27, 2021, 14:15-17:30 Propositional Logic
Exercises
Monday, October 4, 2021, 14:15-17:30 Predicate Logic
Exercises
Monday, October 11, 2021, 14:15-17:30 Natural Deduction
Exercises
Monday, October 18, 2021, 14:15-17:30 Unification and Resolution
Exercises
Monday, October 25, 2021, 14:15-17:30 Fuzzy Logic
Exercises
Monday, November 8, 2021, 14:15-17:30 Possibility Theory
Exercises
Monday, November 15, 2021, 14:15-17:30 Belief Revision and Update
Exercises
Monday, November 22, 2021, 14:15-17:30 Argumentation Theory
Exercises

Exam

Date Description
TBA Final Written Test

COVID-Related News

No news for the moment. That's good news!

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:

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

Last Updated on September 27, 2021