Direct answer
نظم القائمة على القواعد هي أنظمة اتخاذ القرار التي تطبق قواعد if-then الصريحة على inputs لإنتاج نتيجة. تركز الاعتبارات المتقدمة أقل على “ذكاء” النظام وأكثر على التبعيات: inputs التي تغذيه، ترتيب وحل تعارض القواعد، كيفية التعامل مع عدم اليقين (مثل القيم المفقودة أو الضوضائية)، وكيفية تأثير التكاليف والقيود التنفيذية على ما يقوم به النظام فعليًا.
Mechanism and definition
عادةً ما يتكون نظام قائم على القواعد من ثلاثة أجزاء:
- القواعد: شروط متزاوجة مع إجراءات (على سبيل المثال، “إذا كانت الشروط A وB صحيحة، فإجراء X”). يمكن أن تكون الشروط منطقية (صحيحة/خاطئة) أو تشمل مقارنات يجب أن تكون محددة جيدًا.
- inputs (فakten): القيم التي تقيمها القواعد. في السياقات المالية، قد تكون هذه inputs أسعار، مؤشرات، أو ميزات مشتقة؛ في الأنظمة العامة، قد تكون قراءات حساسات أو Attributes للمستخدم.
- استراتيجية استنتاج/قرار: الطريقة التي تقرر ما يحدث عندما يتطابق عدة قواعد.
تطلب التصميم المتقدم فصل الميكانيكا المستقرة عن الظروف المتغيرة. تشمل الميكانيكا المستقرة كيفية تقييم النظام للشروط، الخريطة الحتمية من مجموعة من inputs إلى قرار إطلاق قاعدة، وكيفية تسجيل أو شرح ما قام به. تشمل الظروف المتغيرة البيئة التي تولد inputs، أي سلوك مزود متغير، والقيود التشغيلية التي يمكن أن تغير النتائج.
نموذج بسيط هو: inputs → تقييم القواعد → مجموعة من القواعد المنفذة → حل التعارض → إجراء/output.
Evidence or example (with assumptions)
اعتبر نظام تصنيف قائم على القواعد يخرج أحد ثلاثة تسميات: منخفض، متوسط، عالي. افترض أن النظام يستخدم هذه القواعد:
- قاعدة 1: إذا كانت الميزة F < 10، فالتسمية = منخفض
- قاعدة 2: إذا كانت 10 ≤ F ≤ 20، فالتسمية = متوسط
- قاعدة 3: إذا كانت F > 20، فالتسمية = عالي
إذا كانت F دائمًا رقمًا، فإن الخريطة حتمية وسهلة التحقق. يظهر التحدي المتقدم عندما تتكسر الافتراضات:
- حالة حدودية: قيمة مفقودة. إذا كانت F فارغة، قد لا تكون المقارنات محددة جيدًا. يجب أن تقرر ما إذا كنت (أ) معاملة الفارغ كحالة منفصلة، (ب) استيفاء قيمة، أو (ج) رفض input. كل خيار يغير السلوك.
- حالة حدودية: غموض الحدود. افترض أن تعريفي قاعدة 1 هو F ≤ 10 وقاعدة 2 هي 10 < F ≤ 20. إذا تم تنفيذ منطق المقارنة بشكل مختلف (أو استخدام floats مع التقريب)، يمكن أن تتحول قيمة قريبة من 10 بين القواعد.
- حالة حدودية: قواعد متداخلة. إذا أضفت قاعدة متوسط ثانية بناءً على ميزة أخرى، قد تحصل على قواعد متوسطتين منفذتين. إذا كانت إجراءاتهما تختلف قليلاً، يصبح حل التعارض مهمًا.
- مثال على التبعية للتكاليف/القيود التنفيذية. حتى عندما يكون “القرار” صحيحًا وفقًا للقواعد، قد يتصرف النظام بشكل مختلف في الممارسة العملية إذا كان هناك تأخير، حدود throughput، أو خطوات معالجة إضافية يمكن أن رفض أو تأخر الإجراءات.
تظهر هذه الأمثلة لماذا تتطلب الاعتبارات المتقدمة افتراضات صريحة: ما أنواع inputs المسموح بها، كيف تتعامل المقارنات مع الحدود، ما يحدث مع القيم المفقودة، وكيف يختار النظام بين المطابقات المتعارضة.
Limitations and risks
هناك على الأقل حد واحد مهم شائع عبر نظم القائمة على القواعد: إنها موثوقة فقط بقدر موثوقية مواصفاتها وتمثيلات inputs.
تشمل المخاطر الرئيسية:
- قواعد متعارضة أو متداخلة: إذا تطابقت قاعدةان مع نفس inputs ولكنهما يوصيان بإجراءات مختلفة، فإن النتيجة تعتمد على استراتيجية القرار (ترتيب الأولوية، أول مطابقة، تجميع جميع المطابقات، إلخ). بدون استراتيجية واضحة، يمكن أن تكون النتائج غير متسقة.
- فشل صامت عندما تكون inputs غير محددة: يمكن أن تسبب inputs المفقودة، خارج النطاق، أو غير مصنفة بشكل غير صحيح تقييم الشروط بطريقة غير مقصودة.
- التكيف الزائد مع الأنماط السابقة: يمكن أن تشفر القواعد علاقات تنطبق فقط تحت ظروف تاريخية معينة. العلاقات التاريخية لا تضمن النتائج المستقبلية لأن توزيع inputs والبيئة يمكن أن يتغيرا.
- الحساسية للحدود والتقسيم: يمكن أن تغير التغييرات الصغيرة في الحدود، قواعد التقريب، أو بناء الميزات أي قاعدة تنطلق.
- افتراضات الحالة والوقت: تحتاج العديد من الأنظمة إلى notion من الحالة (ما حدث سابقًا) أو نافذة زمنية (ما الفترة التي تمثلها inputs). إذا تم التعامل معها بشكل غير متسق، يمكن أن تنتج النظام outputs تبدو صحيحة ولكن خاطئة.
باختصار: حتى عندما تكون الميكانيكا حتمية، يمكن أن تختلف سلوكية النظام العام لأن تبعياتها (inputs، استراتيجية القرار، والقيود التشغيلية) تختلف.
Verification and next question
التحقق المستقل هو في المقام الأول عن القدرة على تتبع التصميم اختبار. نهج عملي للتحقق من نظم القائمة على القواعد يشمل:
- بناء مجموعة اختبار من inputs تغطي الحالات الطبيعية والحالات الحدودية (أقل/أعلى قيمة، عتبات دقيقة، وقيم قريبة من العتبات).
- توثيق الافتراضات لكل مقارنة وكيفية التعامل مع inputs المفقودة أو غير الصالحة.
- تتبع كل نتيجة إلى القواعد المنفذة. يجب أن يكون النظام قادرًا على شرح أي الشروط كانت صحيحة ولماذا تم اختيار إجراء معين.
- التقييم باستخدام نفس نموذج التكلفة والقيود مثل النشر، لأن القيود التنفيذية وخطوات المعالجة يمكن أن تغير النتائج الفعلية حتى عندما تتطابق منطق القواعد مع المواصفات.
سؤال مفيد للطرح التالي هو: “ما هي استراتيجية القرار الدقيقة عندما تتطابق عدة قواعد، وكيف يتصرف النظام مع inputs المفقودة أو الغامضة؟” الإجابة على ذلك توضح معظم modes الفشل المتقدمة.