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 2020-2021

I semester, 3 ECTS.

Previous Editions: 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
Tuesday, September 22, 2020, 09:00-12:30	Propositional Logic Exercises
Tuesday, September 29, 2020, 09:00-12:30	Predicate Logic Exercises
Tuesday, October 6, 2020, 09:00-12:30	Natural Deduction Exercises
Tuesday, October 27, 2020, 09:00-12:30	Unification and Resolution Exercises
Tuesday, October 27, 2020, 14:00-17:30	Fuzzy Logic Exercises
Tuesday, November 3, 2020, 09:00-12:30 (on Zoom)	Possibility Theory Exercises
Tuesday, November 10, 2020, 09:00-12:30 (on Zoom)	Belief Revision and Update Exercises
Tuesday, November 17, 2020, 09:00-12:30 (on Zoom)	Argumentation Theory Exercises

Exam

Date	Description
Friday, January 22, 2021, 11:00-13:00	Final Written Test

COVID-Related News

During lockdown, the classes will take place on Zoom, at the same hours as planned. The link to join the Zoom meeting is available on the Moodle platform.

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 Janyuary 6, 2021