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

Yanjun Li

    Research output: ThesisThesis fully internal (DIV)

    315 Downloads (Pure)


    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 contributionWeten wat te doen: Een logische benadering van planning en weten hoe
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Groningen
    • Kooi, Barteld, Supervisor
    • van Laar, Jan Albert, Co-supervisor
    Award date21-Sept-2017
    Place of Publication[Groningen]
    Print ISBNs978-94-034-0033-4
    Electronic ISBNs978-94-034-0034-1
    Publication statusPublished - 2017

    Cite this