الاستدلال الاصطناعي

يركز هذا المقرر على دور الاستدلال الرسمي في الذكاء الاصطناعي، حيث يتم تقديم طريقتين أساسيتين لتشكيل الاستدلال: الأولى تركز على الاستنتاج باستخدام المنطق بأنواعه الثلاثة، والثانية تعتمد على نظرية الاحتمالات وتركز على نماذج الرسوم البيانية الاحتمالية الثلاثة. يتطلب المقرر مهارات برمجة أساسية في بايثون حيث سيطلب من الطلاب إكمال أكواد برمجية ناقصة. يهدف المقرر إلى فهم الأسس النظرية والمنهجيات المختلفة التي تدعم الاستدلال الذكي في الأنظمة الحاسوبية.

• فهم مبادئ الاستدلال الرسمي عبر المنطق والاحتمالات
• التعرف على أنواع المنطق الثلاثة
• التعرف على نماذج الرسوم الاحتمالية الثلاثة
• إكمال برمجة أجزاء من الكود بلغة بايثون

• مألوف بالمصطلحات الأساسية للموضوع
• الاستعداد للممارسة العملية بالتطبيقات والتمارين