تطبيق المنطق في النظام الخبير للتعدين الهندسة منهجية من عدم اليقين