Talk by Christian Straßer

The next talk of our seminar series will be given by Christian Straßer (Ruhr University Bochum) via Teams (please, see details below) on Monday, March 11h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk:

Title: Reasoning and explaining with norms and default

Abstract: In this talk I will present a general framework for reasoning with nonmontonic conditionals such as defaults and norms. Attractive features of the framework are: it is unifying, explanatory, proof-theoretic, and able to tackle open theoretical challenges. The framework builds on a labelled sequent-calculus that is embedded in formal argumentation. It is unifying in that it can represent two central paradigms of nonmonotonic logic, constrained input/output logic and default logic. What is more, it naturally enhances default logic with the capability of reasoning disjunctively about cases, a major shortcoming of default logic. Furthermore, I will demonstrate how the framework can be equipped with a dynamic proof theory that is adequate to Dung-style argumentation semantics and how the framework allows for the generation of explanations.

This talk is based on joint work with Ofer Arieli, Kees van Berkel, and Zheng Zhou.  

Join us on Teams!

Leave a Reply