Knowledge improvement (theoretical research)

Logikai programok tanuló képessége: Szöveges állításokból (remissa) a logikai program további következtetéseket (konkluzió) von le. Vagy mérési eredményekből illetve tapasztalatokból logikai programmal egy másik logikai program előállítása.