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
|Informatica||I testi adottati verranno indicati nelle prime lezioni del corso.|
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
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2022 | Verona University | Credits