Lyginant panašias žinių bazes kyla klausimas, kokiose situacijose skiriasi išvados iš šių žinių bazių. Šis uždavinys gali iškilti įvairiose dalykinėse srityse, pavyzdžiui, teisėje, kai reikia palyginti skirtingas teisės akto versijas arba skirtingų šalių analogiškus teisės aktus. Straipsnyje pateikta programų sistemos, skirtos žinių bazių palyginimui, architektūra, realizuojanti metodą, grindžiamą elementariųjų testuojamųjų situacijų konstravimu.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.