| Description: |
This seminar deals with the formalization of defeasible reasoning,
i.e., that kind of inference in which reasoners draw conclusions tentatively,
reserving the right to retract them in the light of further evidence. The
emergence of logics tailored for this kind of task represents one of the
most significant recent advances in logic, philosophy, and artificial intelligence.
The seminar will provide a survey of the most common approaches found in
the literature as well as some new ones. Ideally, at the end of the seminar,
students should be able to identify and develop their own research projects.
Requirements consist in one or more seminar presentations and a graduate-level
term paper. |