طرق المنطق الاستنتاجي الآلي. أسس الطرق المنطقية والاحتمالية للتفكير الآلي. تنفيذ الخوارزميات للاستدلال المنطقي والاحتمالي، ودور النفي في الاستدلال وطرق تعريفه. المنطق الافتراضي، المنطق المسند، دليل الاستبانة، نظم الإنتاج، حوسبة، منطق غير مؤكد، نظرية القرار البيزى، الاستدلال الدقيق، الاستدلال التقريبى، الاستدلال والنفي غير الرتيب، الاستدلال مع البيانات والتطبيقات الكبيرة مثل إثبات خصائص البرامج والتحقق من الدارات الالكترونية.
Parent Business Unit ID:
