لماذا يتناسب النطاق
تُعرَّف الطاقة المتغيرة والطاقة الحرة المتوقعة بتقريبه الرياضي، ولكن كل تطبيق لنظرية الاستدلال النشط - من ذراع روبوتي إلى نموذج نفسي إلى محاكاة سياسة - في النهاية يعتمد على تنفيذ نموذج توليدي، ومحرك الاستدلال، والخلفية العددية. وقد جعلت أدوات مختلفة التزامات مختلفة هنا: عمليات القرار الماركوفية الجزئية القابلة للمشاهدة بشكل منفصل مقابل ديناميكيات الحالة المستمرة، والحساب الدفعي مقابل التدفق التفاعلي، والنماذج التوليدية المحددة يدويًا مقابل المتعلمة، والعددية مقابل التمثيلات الرمزية للمعتقدات والأهداف. نظرًا لأن صفحات المجال الأخرى للمعهد تصف الاستدلال النشط الذي تم تطبيقه في مجال ما، فإن هذه الصفحة تصف بدلاً من ذلك الطبقة الحسابية المشتركة التي تكمن تحتها - الأدوات التي يختارها المطور للوصول من النظرية إلى محاكاة عاملة.
تطوير وتعلم مرتبطين بالمنشأة
مجموعة تعلم RxInfer.jl هي مشروع نشط للمعهد يتعاون مباشرة مع مطوري RxInfer.jl في تطوير المصادر المفتوحة، بما في ذلك تقنيات التصور للرسوم البيانية للعوامل الأساسية داخل محرر التعليمات البرمجية؛ وقد عقدت المجموعة جلسات متزامنة منتظمة وجذبت مساهمين من خلفيات متنوعة في Julia والنمذجة البايزية يعملون في مشاريع تطبيقية. الروبوتات المعرفية الرمزية هي عمل جان فرانسوا كلوتييه، وهو Research Fellow مرتبط بالمعهد، وقد أظهر نهج karma_system في تخطيط الروبوتات وإعدادات حل المشكلات الرمزية؛ وكانت الروبوتات أيضًا محورًا مخصصًا لـ Applied Active Inference Symposium الثاني للمعهد. 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.