الشرح المقنع لا يكفي: من يقرّر أن الحل الرياضي صحيح؟

قبل فحص الحل: ما السؤال الذي نفحصه؟

التحقق يحتاج إلى مسألة محددة: ما المعطيات؟ ما المطلوب؟ ما المتغيرات والافتراضات؟ وهل المطلوب نتيجة نهائية أم تحويل إلى صيغة معينة؟ إذا قرأ النظام صورة بصورة خاطئة، فقد يتحقق بدقة من مسألة لم يكتبها الطالب أصلًا.

لذلك نفصل في تصميم التجربة قراءة المدخل عن الحكم عليه. وعندما يكون الرمز أو المطلوب ملتبسًا، يكون تأكيد ما فُهم جزءًا من التجربة، بدل إخفاء الالتباس داخل تفسير طويل. الدقة تبدأ بتحديد ما فُهم، قبل اختيار طريقة التحقق أو صياغة المساعدة.

المطابقة والتكافؤ وإكمال المهمة

تشرح وثائق SymPy أن المطابقة البنيوية ليست التكافؤ الرمزي. وتوضح وثائق STACK أن اختبار تكافؤ قائمة تعبيرات لا يختبر بالضرورة حجم الخطوة أو ترتيبًا تعليميًا مناسبًا، وأن شكل النتيجة النهائية يحتاج إلى فحص منفصل. SymPy · STACK.

بالنسبة لوردة، تترجم هذه الفروق إلى أسئلة منفصلة. هل التعبير مفهوم؟ هل التحويل مقبول تحت افتراضات المسألة؟ وهل وصل الطالب إلى ما طُلب؟ مساواة تعبيرين لا تثبت وحدها أن الحل مكتمل، كما أن اختلاف طريقة الكتابة لا يكفي لرفض جواب صحيح.

المجال ليس تفصيلًا جانبيًا

قد يغيّر حذف مقام مجال التعبير، وقد تحتاج عملية عكسية إلى قيد حتى تحافظ على الحلول المقصودة. لذلك لا نريد فاحصًا يقارن أشكالًا فقط، ولا مساعدًا يتجاهل الافتراضات لأن السطر التالي يبدو مألوفًا. معنى المسألة يرافق عملية التحقق.

عدم القدرة على الحكم نتيجة مشروعة

إذا لم يدعم الفاحص شكلًا معينًا، أو لم يُحسم معنى المدخل، ينبغي أن توجد حالة «لا يمكن الجزم بعد». ليست هذه إجابة خاطئة للطالب. قد نطلب توضيح الرمز أو نعيد عرض ما قرأناه أو نحيل المهمة إلى مراجعة مناسبة.

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

قواعد الحكم في تصميم وردة

يبدأ الحكم بتحديد نوع المهمة. مطابقة إجابة اختيار من متعدد بمفتاحها تختلف عن فحص تحويل رياضي مفتوح، كما تختلف عن تفسير سبب اختيار الطالب له. لكل مسؤولية معيارها، ولا يتحول شرح لغوي إلى حكم موثق لمجرد أنه يبدو مقنعًا.

نهج وردة يربط الحكم بما تم فحصه فعلًا: معنى المدخل، الافتراضات، صلاحية التحويل، والمطلوب النهائي. وعندما لا يكفي الفحص، تكون الخطوة التالية توضيحًا أو مراجعة مناسبة. ثم يأتي الشرح التعليمي ليربط النتيجة بسبب مفهوم ومحاولة تالية؛ صحة الرياضيات وفائدة التعليم مسؤوليتان متصلتان، لكل منهما سؤالها.