znana ich podstawa teoretyczna. Statystyczne rozpoznawanie obrazów oparte jest na teorii prawdopodobieństwa, dedukcja oparta na regułach zasadza się na logice dedukcyjnej (np. rachunek predykatów 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