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 2022-2023

I semester, 3 ECTS.

Previous Editions: 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
Monday, September 12, 2022, 14:15-17:30	Propositional Logic Exercises
Monday, September 19, 2022, 14:15-17:30	Predicate Logic Exercises
Monday, September 26, 2022, 14:15-17:30	Natural Deduction Exercises
Monday, October 03, 2022, 14:15-17:30	Unification and Resolution Exercises
Monday, October 10, 2022, 14:15-17:30	Fuzzy Logic Exercises
Monday, October 17, 2022, 14:15-17:30	Possibility Theory Exercises
Monday, October 24, 2022, 14:15-17:30	Belief Revision and Update Exercises
Monday, October 31, 2022, 14:15-17:30	Argumentation Theory Exercises

Exam

Date	Description
TBA	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 12, 2022