Non monotonic reasoning (2020/2021)

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. 20/21 dottorato dal Oct 1, 2020 al Sep 30, 2021.

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

Reference books
Author Title Publisher Year ISBN Note
Informatica I testi adottati verranno indicati nelle prime lezioni del corso.  

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.