Mesin inferensi adalah program komputer yang memberikan metodologi untuk penalaran tentang informasi yang ada dalam foundation pengetahuan dan dalam workplace, dan untuk memformulasikan kesimpulan.Sistem pakar (pro procedure) adalah sistem yang berusaha mengadopsi pengetahuan manusia ke komputer, agar komputer dapat menyelesaikan masalah seperti ya