Upcoming Events


The next event is on Friday, February 12th:

LIRa session: Jan Broersen


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: