pierwszego rzędu), a indukcja ramowa może być oparta na teorii zbioru pokrywającego, który tworzy formalną teorię wnioskowania typu diagnostycznego. Po trzecie, wszystkie trzy metody tworzenia systemów ekspertowych mogą przekazywać użytkownikowi informację o tym, w jaki sposób i dlaczego został wprowadzony dany wynik rozpoznawania (diagnozy). Zdolność ta jest ogólnie uważana za wielce ważną przez potencjalnych użytkowników systemów ekspertowych, którzy mogą niechętnie ufać diagnozie wytworzonej przez maszynę, o ile nie jest jasne, dlaczego dana została taka odpowiedź. Podstawowe założenia "sztucznej inteligencji" stanowią o tym, że systemy oparte na regułach, przy ich zdolności utrzymywania ograniczonej formy dopasowania odpowiedzi, mają większą przewagę nad innymi metodami