Articolul conține o prezentare detaliată a algoritmilor de căutare de tip AO*. Aceşti algoritmi au fost bine studiaţi în literatură [1,6,7,8]. În lucrarea de faţă, ei sunt însă prezentaţi din perspectiva utilizării lor într-un sistem de învăţare automată. În timpul dezvoltării unui sistem de învăţare multistrategică [12], au apărut câteva probleme legate de construirea arborilor de justificare (arbori and/or tipici pentru astfel de sisteme). Articolul prezintă soluţiile găsite pentru aceste probleme, cu accent pe modul de manipulare a mulțimilor de substituţii pentru variabile. Pentru completitudinea prezentării, în prima parte a articolului vor fi prezentate rezultatele clasice, legate de algoritmii de tip AO*. În a doua parte, va fi prezentată problema construcţiei arborilor de justificare (arbori de tip and/or) împreună cu soluţiile găsite pentru rezolvarea ei.