الاستدلال الحسابي لقاعدة البيانات الاستنتاجية

DDAR هي خوارزمية اقترحها Google DeepMind في فبراير 2025 لحساب الإغلاق الاستنتاجي، أي مجموعة كل الحقائق القابلة للاستنتاج مع الأخذ في الاعتبار مجموعة من الحقائق الأولية الأساسية. وقد نشرت نتائج البحوث ذات الصلة في ورقة بحثية بعنوان "أداء حائز على الميدالية الذهبية في حل هندسة الأولمبياد باستخدام AlphaGeometry2يتبع DDAR مجموعة ثابتة من القواعد الاستنتاجية لبناء هذا الإغلاق الاستنتاجي ويضيف بشكل متكرر حقائق جديدة إلى الإغلاق الاستنتاجي حتى لا يمكن إضافة المزيد.

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