Knowing what to do
| Promotie: | Dhr. Y.J. (Yanjun) Li |
| Wanneer: | 21 september 2017 |
| Aanvang: | 11:00 |
| Promotor: | dr. B.P. (Barteld) Kooi |
| Copromotor: | dr. J.A. (Jan Albert) van Laar |
| Waar: | Academiegebouw RUG |
| Faculteit: | Wijsbegeerte |
Een logische benadering van planning en procedurele kennis
Yanjun Li heeft voor zijn promotie 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 zijn proefschrift presenteert Li een logisch raamwerk waarin de veranderende kennis van een agent gevangen kan worden. Met dit logische raamwerk, kunnen de doelen opgevat worden als logische formules. In het proefschrift wordt ook doelgerichte procedurele kennis gemodelleerd. Geïnspireerd door het idee van planning worden 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.
Yanjun Li verrichtte zijn onderzoek aan de Faculteit Wijsbegeerte.