18/10/2026
المرتكزات التحليلية الرسمية لأتمتة الهندسة بمساعدة الذكاء الاصطناعي
يكشف إصدار حديث في مجال التحقق (Verification) عن بنية معمارية مفيدة لتطبيقات الذكاء الاصطناعي في الهندسة: إذ تتولى الأتمتة تقليل الجهد المطلوب لإعداد التحليلات، بينما يبقى المحرك الرسمي (Formal Engine) مسؤولاً عن إثبات صحة النتائج والتحقق منها. وتُعد هذه القسمة بالغة الأهمية في سير العمل الهندسي الإنشائي أيضاً. فبإمكان وكيل ذكاء اصطناعي اقتراح النماذج أو إجراءات التحقق والفحص، في حين تحتفظ الأدوات الحتمية (Deterministic Tools) بسلطة القبول النهائي، مما يوفّر حدوداً واضحة وقابلة للتدقيق بين التوصية والاعتماد.
فصل المسؤوليات بطريقة تعزز الثقة
من الدروس المتكررة في الأعمال الحديثة المتعلقة بالتحقق الرسمي المدعوم بالذكاء الاصطناعي أن الأتمتة تحقق أكبر قيمة عندما تخفف الجهد البشري دون أن تصبح المرجع النهائي للحكم على صحة النتائج. وتوضح الدراسات الخاصة بسير عمل التحقق المدعوم بالذكاء الاصطناعي أن نماذج اللغات الكبيرة (LLMs) تُستخدم لتوليد الخصائص (Properties)، والنماذج (Models)، ومخرجات التحقق المختلفة، بينما تبقى محركات التحقق الرسمية مسؤولة عن التأكد رياضياً من استيفاء المتطلبات فعلياً.
ويؤدي هذا النهج إلى إنشاء فصل واضح بين الاقتراح (Suggestion) والإثبات (Proof)، مما يساعد الفرق الهندسية على التمييز بين المخرجات التي تبدو منطقية أو محتملة، وبين النتائج التي تم التحقق منها رسمياً ورياضياً.
الذكاء الاصطناعي يتولى الإعداد، والأدوات الرسمية تتولى الاعتماد
تشير الدراسات المتعلقة بأنظمة التحقق الرسمية الذاتية إلى أن الذكاء الاصطناعي يمكنه المساعدة في توزيع المهام، وتطوير الأكواد البرمجية، وإعداد الوثائق، وتحليل الأمثلة المضادة (Counterexamples)، مما يسمح للمهندسين بالتركيز على أعمال التفكير والتحليل ذات القيمة الأعلى.
وفي الوقت نفسه، يعتمد التحقق الرسمي على أساليب رياضية تضمن صحة النظام عبر جميع الحالات والمدخلات الممكنة، وهو ما يجعل محرك الإثبات الرسمي المصدر الطبيعي والموثوق للقرارات المتعلقة بالاعتماد النهائي وقبول النتائج.
كيف يمكن أن تستفيد سير العمل في الهندسة الإنشائية؟
لا يقتصر هذا المبدأ على التحقق من البرمجيات أو الأنظمة الإلكترونية، بل يمكن تطبيقه مباشرة في مجالات الهندسة الإنشائية والمدنية والميكانيكية.
فعلى سبيل المثال، يمكن لوكيل ذكاء اصطناعي أن يقوم بـ:
اقتراح النماذج التحليلية المناسبة.
توليد حالات الأحمال المختلفة تلقائياً.
تحديد فحوصات التصميم المطلوبة.
اقتراح إجراءات التحقق والمراجعة.
اكتشاف النقاط الحرجة أو عناصر الخطر المحتملة في التصميم.
بعد ذلك، تتولى برامج التحليل والتصميم الهندسي المعتمدة التحقق من هذه المقترحات وفقاً للمعايير والكودات الهندسية والحسابات الرسمية قبل منح الموافقة النهائية.
ويؤدي ذلك إلى إنشاء مسار عمل قابل للتدقيق (Auditable Workflow)، بحيث يمكن تتبع كل نتيجة معتمدة إلى عملية تقييم قائمة على قواعد ومعادلات هندسية واضحة، وليس إلى توصية صادرة عن الذكاء الاصطناعي فقط.
والنتيجة هي نظام عمل يجمع بين:
زيادة الإنتاجية.
تسريع عمليات التحليل والتصميم.
تحسين إمكانية التتبع والمراجعة.
تعزيز المساءلة والموثوقية الهندسية.
أهمية الحدود القابلة للتدقيق أكثر من الاستقلالية الكاملة
تتمثل إحدى أهم الأفكار المستخلصة من أبحاث التحقق الرسمي في أن نجاح عملية التحقق يعتمد على وضوح توزيع المسؤوليات.
فبدلاً من السعي نحو استقلالية كاملة وغير مقيدة للذكاء الاصطناعي، تتجه العديد من الأنظمة المتقدمة إلى استخدامه كشريك هندسي مساعد يقوم بإعداد العمل وتحضيره، بينما تتولى أنظمة التحقق القابلة للفحص الآلي (Machine-Checkable Verification Systems) تحديد ما إذا كانت النتائج صحيحة أم لا.
ويصف الباحثون عملية توليد البرهان (Proof Generation) وعملية التحقق من البرهان (Proof Verification) على أنهما نشاطان منفصلان، حيث توفر الأدوات الرسمية تغذية راجعة موضوعية وتأكيداً مستقلاً لصحة النتائج.
وبالنسبة للمؤسسات الهندسية، يوفر هذا الفصل فوائد عملية مهمة، منها:
تسهيل عمليات التدقيق والمراجعة الفنية.
وضوح المسؤوليات والمسارات القانونية.
رفع مستوى الثقة في الأنظمة المؤتمتة.
تسريع اتخاذ القرار دون المساس بمتطلبات السلامة والاعتماد الهندسي.
الحفاظ على أن تكون المسؤولية النهائية مبنية على التحقق الهندسي الرسمي لا على مخرجات الذكاء الاصطناعي وحدها.
الخلاصة: أفضل نموذج لاستخدام الذكاء الاصطناعي في الهندسة ليس أن يحل محل أدوات التحقق والاعتماد، بل أن يعمل كمسرّع للإنتاجية والإعداد والتحليل الأولي، بينما تبقى سلطة القبول النهائي والتوقيع الهندسي بيد الأنظمة الحتمية والمعايير الهندسية الرسمية. وهذا الفصل بين "المقترِح" و"المعتمِد" هو الأساس الحقيقي لبناء الثقة في أتمتة الهندسة المدعومة بالذكاء الاصطناعي.