Žinių bazių palyginimo uždavinys iškyla įvairiose dalykinėse srityse, kai analizuojami skirtumai tarp įvairių autorių sukurtų tos pačios paskirties žinių bazių arba skirtumai tarp įvairių žinių bazių versijų, atsiradusių dėl jų pakeitimų. Straipsnio tikslas yra pateikti žinių bazių automatizuoto palyginimo metodą, naudojantj tiesioginį išvedimą su modelių generavimu, bei pasiūlyti šio metodo realizavimo būdą. Eksperimentams pasiūlyta naudoti ekspertinių sistemų kūrimo paketą Jess, jo kalba modeliuojant žinių vaizdavimo formalizmo F-logikos konstrukcijas.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.