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:

attendance and participation;
class assignments;
final written test.

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

Last Updated on September 27, 2021