1 Inleiding. - 1. 1 Probleemoplossing. - 1. 2 Hiërarchische probleemoplossing. - 1. 3 Abstractiehiërarchieën genereren. - 1. 4 Nauw verwant werk. - 1. 5 bijdragen. - 1. 6 Overzicht. - 2 Problemen oplossen. - 2. 1 Definitie van probleemoplossing. - 2. 2 Toren van Hanoi Voorbeeld. - 2. 3 Problemen oplossen in PRODIGY. - 3 Hiërarchische probleemoplossing. - 3. 1 Abstractie hiërarchieën. - 3. 2 Hiërarchische probleemoplossing. - 3. 3 Analyse van de zoekvermindering. - 3. 4 Toren van Hanoi voorbeeld. - 3. 5 Hiërarchische probleemoplossing in PRODIGY. - 3. 6 Discussie. - 4 Abstracties genereren. - 4. 1 Eigenschappen van abstractiehiërarchieën. - 4. 2 Het genereren van abstractiehiërarchieën. - 4. 3 Toren van Hanoi Voorbeeld. - 4. 4 Abstracties genereren in ALPINE. - 4. 5 Discussie. - 5 Empirische resultaten. - 5. 1 Zoekreductie: theorie versus praktijk. - 5. 2 Empirische resultaten voor ALPINE. - 5. 3 Vergelijking van ALPINE en EBL. - 5. 4 Vergelijking van ALPINE en ABSTRIPS. - 6 Gerelateerd werk. - 6. 1 Abstracties gebruiken voor het oplossen van problemen. - 6. 2 Abstracties genereren voor het oplossen van problemen. - 6. 3 Eigenschappen van abstracties. - 7 Conclusie. - 7. 1 Theorie van de abstractie. - 7. 2 Abstracties genereren. - 7. 3 Abstracties gebruiken. - 7. 4 Discussie. Taal: Engels