SNARK (مثبت النظريات)

📅 آخر تحديث: ٢٩ يوليو ٢٠٢٦
✍️ نُشر في: ٢٩ يوليو ٢٠٢٦
الموسوعة الحرة

SNARK، (مجموعة أدوات الاستدلال الآلي الجديدة من SRI) ، هو برنامج لإثبات النظريات لمنطق الرتبة الأولى متعدد الأنواع والمخصص للتطبيقات في الذكاء الاصطناعي وهندسة البرمجيات ، وقد تم تطويره في SRI International .

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

يُستخدم برنامج SNARK كمكون استدلالي في مشروع أنظمة ناسا الذكية . وهو مكتوب بلغة Common Lisp ومتاح بموجب رخصة موزيلا العامة .

انظر أيضاً

مراجع

  • م. ستيكل، ر. والدينجر ، م. لوري، ت. بريسبورجر، و إ. أندروود. "التركيب الاستنتاجي للبرمجيات الفلكية من مكتبات البرامج الفرعية." وقائع المؤتمر الدولي الثاني عشر حول الاستدلال الآلي (CADE-12) ، نانسي، فرنسا، يونيو 1994، الصفحات 341-355.
  • ريتشارد والدينجر ، ومارتن ريدي، وجينيفر دونجان. " التركيب الاستنتاجي لمصادر البيانات المتعددة ". تقرير مرحلي لشهر مايو 2002 لمهمة البحث في فهم البيانات الذكية، مشروع النظام الذكي، ناسا SISM.
  • R, Waldinger , DE Appelt, J. Fry, DJ Israel, P. Jarvis, D. Martin, S. Riehemann, ME Stickel, M. Tyson, J. Hobbs, and JL Dungan. " الإجابة على الأسئلة الاستنتاجية من مصادر متعددة. " في اتجاهات جديدة في الإجابة على الأسئلة ، AAAI ، 2004.
  • ر. والدينجر ، ب. جارفيس، وج. دونجان. "استخدام الاستدلال لتنسيق مصادر البيانات المتعددة." في تقنيات الويب الدلالي للبحث والاسترجاع ، جزيرة سانيبيل، فلوريدا، أكتوبر 2003.