Knowing what to do: A logical approach to planning and knowing how

Li, Y. 2017 [Groningen]: University of Groningen. 146 p.

Research output: ScientificDoctoral Thesis

Copy link to clipboard


  • Yanjun Li
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.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
Award date21-Sep-2017
Place of Publication[Groningen]
Print ISBNs978-94-034-0033-4
Electronic ISBNs978-94-034-0034-1
StatePublished - 2017

View graph of relations

Download statistics

No data available

ID: 47919162