استخدام تقنيات الذكاء الاصطناعي في اجراءات الاستدلال والتحقق دراسة مقارنة