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 Nice Sophia Antipolis.

Academic Year 2019-2020

I semester, 3 ECTS.

Previous Editions: 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, October 9, 2019, 09:15-12:30	Propositional Logic Exercises
Wednesday, October 23, 2019, 09:15-12:30	Predicate Logic Exercises
Wednesday, November 6, 2019, 14:00-17:15	Natural Deduction Exercises
Wednesday, November 13, 2019, 09:15-12:30	Unification and Resolution Exercises
Wednesday, November 20, 2019, 09:15-12:30	Fuzzy Logic Exercises
Wednesday, November 27, 2019, 09:15-12:30	Possibility Theory Exercises
Wednesday, December 4, 2019, 09:15-12:30	Belief Revision and Update Exercises
Wednesday, December 11, 2019, 09:15-12:30	Argumentation Theory Exercises

Exam

Date	Description
Monday, January 20, 2020, 14:00-15:30	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, last year's final written test.

Last Updated on January 17, 2020