Abstract
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.
| Translated title of the contribution | Weten wat te doen: Een logische benadering van planning en weten hoe |
|---|---|
| Original language | English |
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Award date | 21-Sept-2017 |
| Place of Publication | [Groningen] |
| Publisher | |
| Print ISBNs | 978-94-034-0033-4 |
| Electronic ISBNs | 978-94-034-0034-1 |
| Publication status | Published - 2017 |