Knowing what to do
This thesis investigates conformant planning and knowledge-how from a logical point of view. Conformant planning is trying to find a plan for achieving a goal. Goal-directed knowledge-how is that you know how to achieve a goal. This thesis proposes a logical framework to capture how the agent’s knowledge evolves. With this logical framework, one can think of goals as logical formulas. This thesis also models goal-directed knowledge-how in logical systems. Inspired by the idea of planning, this thesis distinguishes different kinds of knowledge-how, such as knowledge-how with conformant plans and knowledge-how with strategies. With these logical systems for these notions, elementary properties for each kind of knowledge-how are investigated. It also helps us to see that what properties are shared by different knowledge-how and what properties are unique for each kind of knowledge-how