مخطط القرار الجملي

في مجال الذكاء الاصطناعي ، يُعد مخطط القرار الجملي ( SDD ) نوعًا من تمثيل المعرفة يُستخدم في تجميع المعرفة لتمثيل الدوال المنطقية . ويمكن اعتبار مخططات القرار الجملي تعميمًا لمخطط القرار الثنائي المرتب (OBDD) ذي التأثير الكبير، إذ يسمح باتخاذ قرارات بشأن متغيرات متعددة في آن واحد. ومثل مخططات القرار الثنائي المرتب، تتيح مخططات القرار الجملي إجراء عمليات منطقية سهلة، مع كونها أكثر إيجازًا بشكل كبير. ولهذا السبب، أصبحت تمثيلًا مهمًا في تجميع المعرفة. ^{[ 1 ]}

يتم تعريف SDDs فيما يتعلق بتعميم لترتيب المتغيرات يُعرف باسم شجرة المتغيرات ( vtree ). ^{[ 2 ]}

بشرط أن تستوفي خصائص إضافية تُعرف باسم الضغط والتقليم (وهي مماثلة لـ ROBDDs )، فإن SDDs تمثل تمثيلاً معيارياً للدوال المنطقية؛ أي أنها فريدة بالنظر إلى شجرة افتراضية. ^{[ 2 ]}

على غرار مخططات القرار الثنائية، تسمح هذه المخططات بحساب عمليات مثل الربط والفصل والنفي مباشرةً على التمثيل في وقت متعدد الحدود ^، مع كونها أكثر اختصارًا. ^{[ 2 ]} كما تسمح أيضًا بحساب النماذج في وقت متعدد الحدود . ^{[ 3 ] [ 4} ]

من المعروف أن مخططات القرار المحددة (SDDs) أكثر إيجازًا بشكل كبير من مخططات القرار المحددة (OBDDs). ^{[ 5 ]}

تُستخدم مخططات القرار الجملية الاحتمالية (SDDs) كهدف للترجمة البرمجية لبرامج المنطق الاحتمالي في نظام ProbLog 2، نظرًا لدعمها عدّ النماذج (الموزونة) القابل للمعالجة، بالإضافة إلى النفي والوصل والفصل القابل للمعالجة، مع كونها أكثر إيجازًا من مخططات القرار الثنائية (BDDs). ^{[ 3 ]} كما تم توسيع نطاق استخدام مخططات القرار الجملية الاحتمالية (SDDs) لنمذجة التوزيعات الاحتمالية، وفي هذا السياق تُعرف باسم مخططات القرار الجملية الاحتمالية (PSDD). ^{[ 6 ]}