لماذا يتناسب النطاق
تُعرَّف الطاقة المتغيرة والطاقة الحرة المتوقعة بتقريبه الرياضي، ولكن كل تطبيق لنظرية الاستدلال النشط - من ذراع روبوتي إلى نموذج نفسي إلى محاكاة سياسة - في النهاية يعتمد على تنفيذ نموذج توليدي، ومحرك الاستدلال، والخلفية العددية. وقد جعلت أدوات مختلفة التزامات مختلفة هنا: عمليات القرار الماركوفية الجزئية القابلة للمشاهدة بشكل منفصل مقابل ديناميكيات الحالة المستمرة، والحساب الدفعي مقابل التدفق التفاعلي، والنماذج التوليدية المحددة يدويًا مقابل المتعلمة، والعددية مقابل التمثيلات الرمزية للمعتقدات والأهداف. نظرًا لأن صفحات المجال الأخرى للمعهد تصف الاستدلال النشط الذي تم تطبيقه في مجال ما، فإن هذه الصفحة تصف بدلاً من ذلك الطبقة الحسابية المشتركة التي تكمن تحتها - الأدوات التي يختارها المطور للوصول من النظرية إلى محاكاة عاملة.
تطوير وتعلم مرتبطين بالمنشأة
مجموعة تعلم RxInfer.jl هي مشروع نشط للمعهد وتتعاون مباشرة مع مطوري RxInfer.jl في التطوير مفتوح المصدر، بما في ذلك تقنيات التصور للرسوم البيانية العاملة الموجودة داخل محرر التعليمات البرمجية؛ وقد نظمت المجموعة جلسات متزامنة منتظمة ودعت مساهمين بمجموعة متنوعة من الخلفيات في مجال Julia والنمذجة الاحتمالية للعمل على مشاريع تطبيقية. إن عمل الروبوتات المعرفية الرمزية هو عمل جان فرانسوا كلوشيه، باحث زمالة يعمل مع المعهد، وقد أظهر منهجية karma_system في إعدادات تخطيط الروبوت وحل المشكلات الرمزية؛ كما كانت الروبوتات مجال تركيز مخصص لليوم الدراسي الثاني للتطبيق النشط للاستدلال في المعهد. PyMDP، على الرغم من صيانته خارج المعهد، قد تم تسليطه الضوء عليه في جلسات تعلم ModelStream الخاصة بالمعهد، مما يعكس دوره كإطار عمل مرجعي مشترك عبر المجتمع الأوسع وليس أداة لمرة واحدة في المختبر.
مسائل مفتوحة
الأدوات أعلاه لا تشترك في تنسيق نموذج توليدي مشترك، أو خوارزمية استنتاج، أو خلفية رقمية، لذا فإن النموذج المبني في واحدة غير قابل للنقل إلى أخرى دون إعادة كتابة كبيرة، ولا يوجد حتى مجموعة معايير موحدة للمقارنة بينها فيما يتعلق بالدقة والسرعة والسلوك في التوسع. كما أن الانقسام بين الرقمي/المستمر/الرمزي يعني أن الممارسين يجب عليهم الالتزام مبكرًا بمجموعة معينة - حالات منفصلة على غرار POMDP، أو تمرير الرسائل المستمرة، أو التمثيلات الرمزية - مع أدوات محدودة لدمجها داخل نموذج واحد. تختلف نضج الوثائق والتعبئة بشكل كبير: بعض الأدوات لديها دروس تعليمية ومجموعات تعلم منظمة، بينما لا تزال أدوات أخرى أقرب إلى الشفرة البحثية من البرامج الموزعة. كما هو الحال مع مجالات التطبيق الأخرى للاستدلال النشط، تعتمد المطالبات بالتبني والأداء المتقدم على إثبات المفاهيم المثبتة وتطوير المجتمع النشط بدلاً من المقارنات المستقلة والمنهجية ضد البدائل الراسخة.
إطار مرجعي
كارل جيه. فرايستن (2010). مبدأ الطاقة الحرة: نظرية موحدة للدماغ؟ مراجعات علم الأعصاب. DOI: 10.1038/nrn2787. كريستوفر إل. باكيلي، تشانغ سوب كيم، سايمون ماكجوريجور، أنيل كي. سيت (2017). مبدأ الطاقة الحرة للعمل والإدراك: مراجعة رياضية. علم النفس الرياضي للدورية. DOI: 10.1016/j.jmp.2017.09.004. توماس بار، جوفاني بيزولو، كارل جيه. فرايستن (2022). الاستدلال النشط: مبدأ الطاقة الحرة في العقل والدماغ والسلوك. مطبعة إم آي تي. لانسيولوجو د كوستا، توماس بار، نور ساجيد، سيباستيان فيسليك، فيكتورتا نيسكسو، كارل جيه. فرايستن (2020). الاستدلال النشط على مساحات الحالة المتقطعة: تركيب. علم النفس الرياضي للدورية. DOI: 10.1016/j.jmp.2020.102447.