Students will be acquiring knowledge of reasoning systems under non-classical derivation conditions, with special care on skeptical derivation.
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
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.
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2023 | Verona University
CSS e script comuni siti DOL - frase 9957