Knowing what to do: A logical approach to planning and knowing howLi, Y. 2017 [Groningen]: University of Groningen. 146 p.
Research output: Scientific › Doctoral Thesis
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.
|Qualification||Doctor of Philosophy|
|Place of Publication||[Groningen]|
|State||Published - 2017|
No data available