Sistem Pakar, Teori dan Aplikasi