هذا هو قفل الأمر الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
المشبك - مجموعة إجابة التعلم nogood يحركها الصراع
موجز
مشبك [رقم][خيارات]
الوصف
توثق صفحة الدليل هذه بإيجاز ملف مشبك أمر.
مشبك هو حل مجموعة إجابات لبرامج المنطق العادية (الموسعة). فهو يجمع بين
قدرات النمذجة على مستوى برمجة مجموعة الإجابات (ASP) باستخدام أحدث التقنيات
من منطقة حل القيد المنطقي. تعتمد خوارزمية القفل الأساسية على
التعلم الجيد القائم على الصراع ، وهي تقنية أثبتت نجاحها الشديد
فحص الرضا (SAT). على عكس حلول ASP التعليمية الأخرى ، لا يعتمد المشبك على
البرامج القديمة ، مثل محلل SAT أو أي محلل ASP موجود. بدلا من ذلك ، المشبك لديه
تم تطويره حقًا لحل مجموعة الإجابات استنادًا إلى التعلم الجيد الذي يحركه الصراع.
يمكن تطبيق clasp كمحلل ASP (على تنسيق إخراج LPARSE) ، باعتباره محلل SAT (على
تنسيق DIMACS / CNF المبسط) ، أو كمحلل PB (بتنسيق OPB).
OPTIONS
تتبع هذه البرامج الصيغة المعتادة لسطر أوامر جنو ، مع بدء الخيارات الطويلة بـ
شرطان ("-"). يتم تضمين ملخص من الخيارات أدناه. للحصول على وصف كامل ،
يرىhttp://www.cs.uni-potsdam.de/clasp/>.
-ح ، --مساعدة
إظهار ملخص الخيارات.
-الخامس، --الإصدار
عرض نسخة البرنامج.
استخدم المشبك عبر الإنترنت باستخدام خدمات onworks.net
