Speaker: Hanti Lin (UC Davis) Abstract: Learning theory is a framework for evaluations of inductive methods, belief revision procedures, and learning algorithms. It has a distinctive emphasis on pursuit of truth and convergence to the desired learning target. This tutorial will present learning theory in a way that seems to have seldom, if ever, been attempted. […]

‘The Making of the Humanities’ conference series goes to South Africa! The University of Cape Town will host the 8th conference in the series, from 21 till 23 November 2019, at the facilities of the Faculties of Economics and Law (Middle Campus).              University of Cape Town Goal of the […]

Time: 2019 March. 22, 13:30-16:00 Venue: Xinzhai 324, Tsinghua Univ. Speaker: Yi Wang (Zhejiang University) Title: Group Knowledge in Dynamic Epistemic Logic Abstract: We will study concepts of group knowledge (in particular, common and distributed knowledge) in the settings of dynamic epistemic logic. Our main focus are the motivations, definitions, methods and results of formal characterizations of these concepts. Key References:  While […]

Time: 2019 March. 29, 13:30-16:00 Venue: Xinzhai 324, Tsinghua Univ. Speaker: Yanjing Wang (Peking University) Title: Logics of Knowing How Abstract: Standard epistemic logic studies the inference patterns regarding propositional knowledge expressed by “knowing that”. However, knowledge is also expressed in natural language by “knowing how”, “knowing why”, “knowing what”, and so on. The “knowing how” expressions are in particular interesting […]