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 2018-2019

I semester, 3 ECTS.

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

Exam

Date	Description
Tuesday, January 8, 2019, 14:00-16:00	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.

Last Updated on January 5, 2019