Összefoglalás
Szöveges feladat értelmezése, elemi állítások, predikátumok, majd az állítások meghatározása
Tények, szabályok, célok meghatározása (következtetés iránya!)
Megoldásgráf felrajzolása
- visszalépésekkel
- egyesítő kompozíció
- korlátozott célrezolúció
- szabályátalakítások