Keretek (framek) és hálók (nets)
Ebben a lépésben már egy-egy így leírt történés keretekbe rendeződik, ahol az egyes logikai változóknak meghatározott helyük van. Ez a keret megkönnyíti a történés logikai leírását és félig-meddig automatizálja annak programozását. Ilyen programnyelv a PROLOG.
A keretek közötti kapcsolatok hálókat alkotnak, amelyekben ezeknek a kapcsolatoknak nagy és általában alkalomszerű rendszere épül. Agyunk is ilyen módon működik, aktuális hálókba rendezve az adott helyzetek, problémák megfigyelt elemeit, azok általánosításait és a következtetéseket.