Metoder för programkonstruktion

Ett flertal metoder används för att konstruera problemlösande och planerande program. En metod, trädsökning, består i att ett stort antal sekvenser av möjliga handlingar, till exempel serier av schackdrag, genomsöks och värderas. Även med extremt snabba datorer är dock en total genomgång av alla handlingssekvenser en praktisk omöjlighet, och man får därför oftast begränsa