The next event is on Friday, February 12th:
On Friday February 12th, we will have a LIRa session with Jan Broersen. Everyone is cordially invited!
Speaker: Jan Broersen (Universiteit Utrecht)
Date and Time: Friday, February 12th 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.
More upcoming events:
- Thursday, February 18th, 12:00 - Talk by Bob Coecke
- Friday, April 15th, 13:00 - LIRa session: Jeffrey M. Keisler