Li, Yanjun

English

In dit proefschrift wordt vanuit logisch perspectief het maken van plannen en procedurele kennis (weten hoe) onderzocht. Conformant planning is het proberen te vinden van een plan om een doel te bereiken. Doelgerichte procedurele kennis betekent dat je weet wat je moet doen om een doel te bereiken. In dit proefschrift wordt een logisch raamwerk gepresenteerd waarin de veranderende kennis van een agent gevangen kan worden. Met dit logische raamwerk, kunnen de doelen opgevat worden als logische formules. In dit proefschrift worden ook doelgerichte procedurele kennis gemodelleert. Geïnspireerd door het idee van planning, worden in dit proefschrift verschillende soorten procedurele kennis onderscheiden, zoals in termen van conformant plans en in termen van strategieën. Met behulp van logische systemen voor deze noties, worden elementaire eigenschappen voor iedere soort procedurele kennis onderzocht. Het helpt ons ook om te zien welke eigenschappen de verschillende noties van procedurele kennis gemeen hebben en welke eigenschappen uniek zijn voor iedere notie van procedurele kennis.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

Proceedings - University of Groningen

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

https://pure.rug.nl/ws/files/47919164/Complete_thesis.pdf

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

Abstract

Similar works

Full text

Available Versions

Proceedings - University of Groningen