1 Johdanto. - 1. 1 Ongelmanratkaisu. - 1. 2 Hierarkkinen ongelmanratkaisu. - 1. 3 Abstraktiohierarkioiden luominen. - 1. 4 Läheisesti aiheeseen liittyvä työ. - 1. 5 Julkaisut. - 1. 6 Pääpiirteet. - 2 Ongelmanratkaisu. - 2. 1 Ongelmanratkaisun määritelmä. - 2. 2 Hanoin tornin esimerkki. - 2. 3 Ongelmanratkaisu PRODIGYssa. - 3 Hierarkkinen ongelmanratkaisu. - 3. 1 Abstraktiohierarkiat. - 3. 2 Hierarkkinen ongelmanratkaisu. - 3. 3 Hakujen vähentämisen analyysi. - 3. 4 Hanoin tornin esimerkki. - 3. 5 Hierarkkinen ongelmanratkaisu PRODIGYssa. - 3. 6 Keskustelu. - 4 Abstraktioiden luominen. - 4. 1 Abstraktiohierarkioiden ominaisuudet. - 4. 2 Abstraktiohierarkioiden luominen. - 4. 3 Hanoin tornin esimerkki. - 4. 4 Abstraktioiden luominen ALPINE:ssä. - 4. 5 Keskustelu. - 5 Empiiriset tulokset. - 5. 1 Haun vähentäminen: teoria vs. käytäntö. - 5. 2 Empiiriset tulokset ALPINE:lle. - 5. 3 ALPINEN ja EBL:n vertailu. - 5. 4 ALPINE- ja ABSTRIPS-vertailu. - 6 Aiheeseen liittyvä työ. - 6. 1 Abstraktioiden käyttäminen ongelmanratkaisuun. - 6. 2 Abstraktioiden luominen ongelmanratkaisua varten. - 6. 3 Abstraktioiden ominaisuudet. - 7 Johtopäätös. - 7. 1 Abstraktion teoria. - 7. 2 Abstraktioiden luominen. - 7. 3 Abstraktioiden käyttäminen. - 7. 4 Keskustelu. Kieli: englanti