Non monotonic reasoning (2021/2022)

  1. Home
  2. Teaching
  3. PhD programmes
  4. PhD in Computer Science
  5. Insegnamenti
Course code
cod wi: DT000085
Name of lecturer
Matteo Cristani
Coordinator
Matteo Cristani
Number of ECTS credits allocated
3
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
A.A. 21/22 dottorato dal Oct 1, 2021 al Sep 30, 2022.
Course news Seminars related to the course

Lesson timetable

Go to lesson schedule

Learning outcomes

Students will be acquiring knowledge of reasoning systems under non-classical derivation conditions, with special care on skeptical derivation.

Syllabus

Introduction to non-monotonic systems
Standard non-monotonic systems
- default logic
- defeasible logic
Skeptical derivation methods
Interpretation condition, grounded semantics, reasoning methods
Examples of non monotonic systems: scientific induction, diagnostic reasoning, legal reasoning

Assessment methods and criteria

Exam will consist in a survey of papers in the range of student's research interests, in which there are problems of non monotonic reasoning, or where it will be possible to imagine technical applications of non monotonic reasoning, with a proposal by the student.

Share