西溪逻辑论坛第81期

Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
Date: 16th April 2018 (10:20-11:20)
Speaker: Prof. Bart Verheij (University of Groningen)
Title: Formalizing rule-based arguments and their strengths using case models
Abstract: In this talk, I will discuss my recent work on case models as a formal semantics for rule-based arguments. Arguments can be interpreted in case models. Three kinds of argument validity are defined: coherence, presumptiveness and conclusiveness. The qualitative validity definitions can be given a quantitative interpretation that is compatible with probability theory. In this way, the kinds of argument validity can be characterized in terms of a numeric argument strength. In the case model approach, different kinds of attack (rebutting, undercutting and undermining) can also be distinguished. The formalism has been applied to evidential reasoning, value-guided reasoning and case-based reasoning.