Dear all,
this Friday we will have a LIRa session with Jan Broersen. (The session had been scheduled earlier but was postponed.) Everyone is cordially invited!
Speaker: Jan Broersen (Universiteit Utrecht)
Date and Time: Friday, February 26th 2016, 13:00-14:30
Venue: ILLC Seminar Room F1.15, Science Park 107
Title: How to Formalize Knowing How: Practical Knowledge as Knowledge about Action-Goal Hierarchies.
Abstract. Practical knowledge is the knowledge involved in ‘knowing-how’. We distinguish between two kinds of practical knowledge: (1) explicit practical knowledge, which we define as knowledge about how abstract action is implemented by more concrete action (that is, knowledge about action-hierarchies, such as employed in for example hierarchical task networks), and (2) implicit practical knowledge, which is the kind of practical knowledge that is often referred to as ‘tacit’ and/or 'non-propositional'. We show how the two kinds of practical knowledge need to be combined to arrive at a notion of ‘knowing-how’. We propose a stit-logic representation of the first kind of practical knowledge and discuss attempts at providing stit-logic characterizations of the second kind (attempts which might be doomed to fail if implicit practical knowledge is indeed non-propositional). Our formal results concern characterizations of the conditions under which ‘knowledge about what one does’ is ‘upwards closed’ in an action hierarchy that is witness to a case of knowing-how.
Hope to see you there!
Besides, many other sessions were scheduled today. See the ILLC News for details or look on our website for all upcoming LIRa events: https://www.illc.uva.nl/lgc/seminar/
The LIRa team