نظرية دمبستر-شافر

آرثر ب. ديمبستر في ورشة عمل حول نظرية وظائف الاعتقاد ( بريست ، 1 أبريل 2010).

تُعدّ نظرية دوال الاعتقاد ، والمعروفة أيضًا بنظرية الأدلة أو نظرية دمبستر-شيفر ( DST )، إطارًا عامًا للاستدلال في ظل عدم اليقين، مع وجود صلات مفهومة بأطر أخرى مثل نظريات الاحتمال والإمكانية والاحتمال غير الدقيق . وقد قدّمها آرثر ب. دمبستر [ 1 ] في سياق الاستدلال الإحصائي ، ثم طوّرها لاحقًا غلين شيفر لتصبح إطارًا عامًا لنمذجة عدم اليقين المعرفي - نظرية رياضية للأدلة . [ 2 ] [ 3 ] تُمكّن هذه النظرية من دمج الأدلة من مصادر مختلفة والوصول إلى درجة من الاعتقاد (مُمثلة بكائن رياضي يُسمى دالة الاعتقاد ) تأخذ في الحسبان جميع الأدلة المتاحة.

بالمعنى الضيق، يشير مصطلح نظرية دمبستر-شافر إلى التصور الأصلي للنظرية الذي وضعه دمبستر وشيفر. مع ذلك، يشيع استخدام المصطلح بمعناه الأوسع، أي للدلالة على المنهج العام نفسه، مع تكييفه لأنواع محددة من الحالات. على وجه الخصوص، اقترح العديد من الباحثين قواعد مختلفة لدمج الأدلة، غالبًا بهدف معالجة التناقضات في الأدلة بشكل أفضل. [ 4 ] كما شكلت المساهمات المبكرة نقطة انطلاق للعديد من التطورات المهمة، بما في ذلك نموذج المعتقدات القابلة للنقل ونظرية التلميحات. [ 5 ]

ملخص

تُعدّ نظرية دمبستر-شافر تعميمًا لنظرية بايز للاحتمال الذاتي . تعتمد دوال الاعتقاد على الاحتمالات الذاتية لسؤال ذي صلة لتحديد درجات الاعتقاد (أو الثقة) لسؤال ما. قد تمتلك درجات الاعتقاد نفسها الخصائص الرياضية للاحتمالات أو لا، ويتوقف مدى اختلافها على مدى ترابط السؤالين. [ 6 ] بعبارة أخرى، هي طريقة لتمثيل المعقولية المعرفية ، ولكنها قد تُفضي إلى إجابات تُناقض تلك التي تم التوصل إليها باستخدام نظرية الاحتمالات .

تُستخدم نظرية دمبستر-شيفر غالبًا كطريقة لدمج البيانات الحسية ، وهي تقوم على فكرتين: الأولى هي استخلاص درجات الثقة لسؤال ما من الاحتمالات الذاتية لسؤال ذي صلة، والثانية هي قاعدة دمبستر [ 7 ] لدمج درجات الثقة هذه عندما تستند إلى أدلة مستقلة. وباختصار، تعتمد درجة الثقة في قضية ما بشكل أساسي على عدد الإجابات (للأسئلة ذات الصلة) التي تتضمن تلك القضية، والاحتمال الذاتي لكل إجابة. كما تُسهم قواعد الدمج، التي تعكس افتراضات عامة حول البيانات، في تحديد درجة الثقة.

في هذا النموذج، يُعبَّر عن درجة الاعتقاد (التي تُسمى أيضًا بالكتلة ) كدالة اعتقاد بدلاً من توزيع احتمالي بايزي . تُسند قيم الاحتمال إلى مجموعات من الاحتمالات بدلاً من أحداث منفردة: تكمن جاذبيتها في أنها تُشفِّر بشكل طبيعي أدلة تدعم القضايا.

تُخصّص نظرية دمبستر-شيفر كتلها لجميع المجموعات الجزئية من مجموعة حالات النظام - أو بعبارة أخرى ، مجموعة القوى للحالات. على سبيل المثال، لنفترض وجود حالتين محتملتين لنظام ما. بالنسبة لهذا النظام، تُخصّص أي دالة اعتقاد كتلة للحالة الأولى، أو الثانية، أو لكلتيهما، أو لا تُخصّص أي كتلة لأي منهما.

الاعتقاد والمعقولية

ينطلق منهج شيفر من مجموعة من الاحتمالات قيد الدراسة، كالقيم العددية لمتغير ما، أو أزواج من المتغيرات اللغوية مثل "تاريخ ومكان منشأ قطعة أثرية" (للتساؤل عما إذا كانت قطعة أثرية أصلية أم مزيفة حديثة). وتُمثل الفرضية بمجموعة فرعية من إطار التمييز هذا ، مثل "(سلالة مينغ، الصين)"، أو "(القرن التاسع عشر، ألمانيا)". [ 2 ] : ص 35 وما بعدها.

يسمح إطار عمل شيفر بتمثيل الاعتقاد بشأن هذه القضايا على شكل فترات، محددة بقيمتين، وهما الاعتقاد (أو الدعم ) والمعقولية :

الاعتقادالمعقولية .

In a first step, subjective probabilities (masses) are assigned to all subsets of the frame; usually, only a restricted number of sets will have non-zero mass (focal elements).[2]:39f.Belief in a hypothesis is constituted by the sum of the masses of all subsets of the hypothesis-set. It is the amount of belief that directly supports either the given hypothesis or a more specific one, thus forming a lower bound on its probability. Belief (usually denoted Bel) measures the strength of the evidence in favor of a proposition p. It ranges from 0 (indicating no evidence) to 1 (denoting certainty). Plausibility is 1 minus the sum of the masses of all sets whose intersection with the hypothesis is empty. Or, it can be obtained as the sum of the masses of all sets whose intersection with the hypothesis is not empty. It is an upper bound on the possibility that the hypothesis could be true, because there is only so much evidence that contradicts that hypothesis. Plausibility (denoted by Pl) is thus related to Bel by Pl(p) = 1  Bel(~p). It also ranges from 0 to 1 and measures the extent to which evidence in favor of ~p leaves room for belief in p.

For example, suppose we have a belief of 0.5 for a proposition, say "the cat in the box is dead." This means that we have evidence that allows us to state strongly that the proposition is true with a confidence of 0.5. However, the evidence contrary to that hypothesis (i.e. "the cat is alive") only has a confidence of 0.2. The remaining mass of 0.3 (the gap between the 0.5 supporting evidence on the one hand, and the 0.2 contrary evidence on the other) is "indeterminate," meaning that the cat could either be dead or alive. This interval represents the level of uncertainty based on the evidence in the system.

HypothesisMassBeliefPlausibility
Neither (alive nor dead)000
Alive0.20.20.5
Dead0.50.50.8
Either (alive or dead)0.31.01.0

تُعتبر فرضية "لا هذا ولا ذاك" معدومة بحكم التعريف (فهي تُقابل "لا حل"). أما الفرضيتان المتعامدتان "حي" و"ميت" فلهما احتمالات 0.2 و0.5 على التوالي. وهذا قد يُقابل إشارات "كاشف القطط الحية/الميتة"، والتي لها موثوقية 0.2 و0.5 على التوالي. وأخيرًا، تُكمل فرضية "إما" الشاملة (التي تُقر ببساطة بوجود قطة في الصندوق) النقص بحيث يكون مجموع الكتل 1. يتطابق الاعتقاد بفرضيتي "حي" و"ميت" مع كتلتيهما المقابلتين لأن المجموعة الجزئية الوحيدة الصارمة لكل منهما هي المجموعة الفارغة ذات الكتلة الصفرية؛ ويتكون الاعتقاد بفرضية "إما" من مجموع الكتل الثلاث (إما، حي، ميت) لأن "حي" و"ميت" كل منهما مجموعة جزئية من "إما". احتمالية "الحياة" هي 1  - م (الموت): 0.5، واحتمالية "الموت" هي 1 - م (الحياة): 0.8. بعبارة أخرى، احتمالية "الحياة" هي م (الحياة) + م (أيهما)، واحتمالية "الموت" هي م (الموت) + م (أيهما). وأخيرًا، مجموع احتمالية "أيهما" هو م (الحياة) + م (الموت) + م (أيهما). الفرضية العامة ("أيهما") ستكون دائمًا موثوقة بنسبة 100%، فهي بمثابة معيار للتحقق .       

إليكم مثالاً أكثر تفصيلاً حيث يبدأ سلوك الاعتقاد والمعقولية بالظهور. نحن ننظر من خلال مجموعة متنوعة من أنظمة الكشف إلى ضوء إشارة بعيد واحد، والذي لا يمكن أن يكون لونه إلا بأحد ثلاثة ألوان (الأحمر أو الأصفر أو الأخضر):

فرضيةكتلةالاعتقادالمعقولية
لا أحد000
أحمر0.350.350.56
أصفر0.250.250.45
أخضر0.150.150.34
أحمر أو أصفر0.060.660.85
أحمر أو أخضر0.050.550.75
أصفر أو أخضر0.040.440.65
أي0.11.01.0

لا تُنمذج أحداث من هذا النوع ككيانات منفصلة في فضاء الاحتمالات كما هو الحال هنا في فضاء تخصيص الكتلة. بل يُعتبر حدث "أحمر أو أصفر" اتحادًا لحدثي "أحمر" و"أصفر"، و(انظر بديهيات الاحتمالات ) احتمال (أحمر أو أصفر) أكبر من أو يساوي احتمال (أصفر)، واحتمال ( أي)  يساوي  1، حيث يشير "أي " إلى الأحمر أو الأصفر أو الأخضر . في نظرية التباين المنفصل (DST)، تشير الكتلة المخصصة لـ "أي" إلى نسبة الأدلة التي لا يمكن إسنادها إلى أي من الحالات الأخرى، والتي تعني هنا الأدلة التي تشير إلى وجود ضوء دون تحديد لونه. في هذا المثال، تُعطى نسبة الأدلة التي تُظهر أن الضوء إما أحمر أو أخضر كتلة قدرها 0.05. يمكن الحصول على مثل هذه الأدلة، على سبيل المثال، من شخص مصاب بعمى الألوان الأحمر/الأخضر. تُمكّننا نظرية التباين المنفصل من استخراج قيمة دليل هذا المستشعر. أيضًا، في نظرية المجموعة المظلمة، تعتبر المجموعة الفارغة ذات كتلة صفرية، مما يعني هنا أن نظام الإشارة الضوئية موجود ونحن نفحص حالاته المحتملة، وليس التكهن بما إذا كان موجودًا على الإطلاق.

دمج المعتقدات

يمكن دمج المعتقدات من مصادر مختلفة باستخدام عوامل دمج متنوعة لنمذجة حالات محددة من دمج المعتقدات، مثل قاعدة دمبستر للدمج ، التي تجمع قيود المعتقدات [ 8 ] التي تمليها مصادر معتقدات مستقلة، كما في حالة دمج التلميحات [ 5 ] أو دمج التفضيلات [ 9 ] . تجدر الإشارة إلى أنه يمكن استخدام كتل الاحتمالات من القضايا المتناقضة للحصول على مقياس للتضارب بين مصادر المعتقدات المستقلة. يمكن نمذجة حالات أخرى باستخدام عوامل دمج مختلفة، مثل الدمج التراكمي للمعتقدات من مصادر مستقلة، والذي يمكن نمذجته باستخدام عامل الدمج التراكمي [ 10 ] .

يُفسَّر قانون دمبستر للدمج أحيانًا على أنه تعميم تقريبي لقانون بايز . في هذا التفسير، لا يلزم تحديد الاحتمالات المسبقة والشرطية، على عكس طرق بايز التقليدية التي غالبًا ما تستخدم حجة التناظر (الخطأ الأدنى والأقصى) لتعيين الاحتمالات المسبقة للمتغيرات العشوائية ( مثل تعيين 0.5 للقيم الثنائية التي لا تتوفر معلومات حول أيها أكثر ترجيحًا). مع ذلك، لا تُستخدم أي معلومات واردة في الاحتمالات المسبقة والشرطية المفقودة في قانون دمبستر للدمج إلا إذا أمكن الحصول عليها بشكل غير مباشر، ويمكن القول إنها متاحة حينها للحساب باستخدام معادلات بايز.

تتيح نظرية دمبستر-شافر تحديد درجة الجهل في هذه الحالة بدلاً من الاضطرار إلى تقديم احتمالات مسبقة مجموعها يساوي واحدًا. وقد نوقش هذا النوع من الحالات، وما إذا كان هناك فرق حقيقي بين المخاطرة والجهل ، على نطاق واسع من قبل الإحصائيين والاقتصاديين. انظر، على سبيل المثال، الآراء المتباينة لدانيال إلسبرغ ، وهوارد رايفا ، وكينيث آرو، وفرانك نايت .

التعريف الرسمي

ليكن X هو الكون : المجموعة التي تمثل جميع الحالات الممكنة لنظام قيد الدراسة. مجموعة القوى

2X{\displaystyle 2^{X}\,\!}

هي مجموعة جميع المجموعات الجزئية من X ، بما في ذلك المجموعة الفارغة {\displaystyle \emptyset }على سبيل المثال، إذا:

X={أ،ب}{\displaystyle X=\left\{a,b\right\}\,\!}

ثم

2X={،{أ}،{ب}،X}.{\displaystyle 2^{X}=\left\{\emptyset ,\left\{a\right\},\left\{b\right\},X\right\}.\,}

يمكن اعتبار عناصر مجموعة القوى بمثابة تمثيل للمقترحات المتعلقة بالحالة الفعلية للنظام، وذلك من خلال احتواء جميع الحالات التي يكون فيها الاقتراح صحيحًا فقط.

تُخصص نظرية الأدلة كتلة اعتقاد لكل عنصر من عناصر مجموعة القوى. بصورة رسمية، دالة

م:2X[0،1]{\displaystyle m:2^{X}\rightarrow [0,1]\,\!}

يُطلق عليه اسم تعيين الاعتقاد الأساسي (BBA)، عندما يكون له خاصيتان. أولاً، كتلة المجموعة الفارغة تساوي صفرًا:

م()=0.{\displaystyle m(\emptyset )=0.\,\!}

ثانياً، مجموع كتل جميع أعضاء مجموعة السلطة يساوي 1:

أ2Xم(أ)=1.{\displaystyle \sum _{A\in 2^{X}}m(A)=1.}

تمثل الكتلة m ( A ) للمجموعة A ، وهي عنصر معين من مجموعة القوى، نسبة جميع الأدلة ذات الصلة والمتاحة التي تدعم الادعاء بأن الحالة الفعلية تنتمي إلى A ولكن ليس إلى أي مجموعة فرعية محددة منها . وتتعلق قيمة m ( A ) بالمجموعة A فقط ، ولا تقدم أي ادعاءات إضافية حول أي مجموعات فرعية من A ، حيث أن لكل منها، بحكم تعريفها، كتلتها الخاصة.

انطلاقاً من توزيعات الكتلة، يمكن تحديد الحدين الأعلى والأدنى لفترة احتمالية. تحتوي هذه الفترة على الاحتمال الدقيق لمجموعة ذات أهمية (بالمعنى الكلاسيكي)، وهي محدودة بمقياسين متصلين غير جمعيين يُطلق عليهما الاعتقاد (أو الدعم ) والمعقولية .

بيل(أ)P(أ)pl(أ).{\displaystyle \operatorname {bel} (A)\leq P(A)\leq \operatorname {pl} (A).}

يُعرَّف الاعتقاد bel( A ) لمجموعة A بأنه مجموع جميع كتل المجموعات الجزئية من المجموعة محل الاهتمام:

بيل(أ)=ب|بأم(ب).{\displaystyle \operatorname {bel} (A)=\sum _{B\mid B\subseteq A}m(B).\,}

إن الاحتمالية pl( A ) هي مجموع جميع كتل المجموعات B التي تتقاطع مع المجموعة محل الاهتمام A :

pl(أ)=ب|بأم(ب).{\displaystyle \operatorname {pl} (A)=\sum _{B\mid B\cap A\neq \emptyset }m(B).\,}

يرتبط هذان المقياسان ببعضهما البعض على النحو التالي:

pl(أ)=1-بيل(أ¯).{\displaystyle \operatorname {pl} (A)=1-\operatorname {bel} ({\overline {A}}).\,}

وبالعكس، بالنسبة لمجموعة A المحدودة ، إذا أعطينا مقياس الاعتقاد bel( B ) لجميع المجموعات الجزئية B من A ، فيمكننا إيجاد الكتل m ( A ) باستخدام الدالة العكسية التالية :

م(أ)=ب|بأ(-1)|أ-ب|بيل(ب){\displaystyle m(A)=\sum _{B\mid B\subseteq A}(-1)^{|AB|}\operatorname {bel} (B)\,}

حيث يمثل | A B | الفرق بين عدد عناصر المجموعتين. [ 4 ] 

يستنتج من المعادلتين الأخيرتين أنه بالنسبة لمجموعة محدودة X ، يكفي معرفة أحد المتغيرات الثلاثة (الكتلة، أو الاعتقاد، أو المعقولية) لاستنتاج المتغيرين الآخرين؛ مع العلم أنه قد يلزم معرفة قيم المتغيرات الأخرى لمجموعات متعددة لحساب أحد المتغيرات الأخرى لمجموعة معينة. أما في حالة مجموعة غير محدودة X ، فقد توجد دوال اعتقاد ومعقولية محددة جيدًا، ولكن لا توجد دالة كتلة محددة جيدًا. [ 11 ]

تفسير المجموعة العشوائية

تتمتع دوال الاعتقاد بتفسير مقنع للغاية من حيث المتغيرات العشوائية ذات القيم المحددة ، أو المجموعات العشوائية [ 12 ] .

لنأخذ النرد كمثال بسيط جدًا على المتغير العشوائي (المنفصل). يستند فضاء الاحتمال المقابل على فضاء العينة.Ω={1،2،3،4،5،6}{\displaystyle \Omega =\{1,2,3,4,5,6\}}، بعناصر تتوافق مع أوجه النرد.

المجموعة العشوائية (المتغير العشوائي ذو القيم المتعددة) المرتبطة بالنرد المخفي الذي لا يمكن فيه التمييز بين الوجهين 1 و 2.

الآن، تخيل أن اثنين من الوجوه، مثلاً 1 و2، مخفيان. لا يزال بإمكاننا رمي النرد: لم يتغير فضاء الاحتمالات، وتبقى هذه تجربة عشوائية موصوفة بمتغير عشوائي أساسي. ما تغير هو طبيعة النتيجة: فإلى جانب الوجوه الفردية العادية (3، 4، إلخ)، قد نلاحظ أحيانًا وجهًا مخفيًا. بافتراض أن الوجه العلوي فقط هو المرئي بعد كل رمية، فإن هذا يُعادل ملاحظة مجموعة الوجوه.{1،2}{\displaystyle \{1,2\}}رياضياً، هذا متغير عشوائي ذو قيم متعددة، أو مجموعة عشوائية (انظر الشكل). [ 13 ]

يوضح هذا أحد أبسط حالات البيانات المفقودة ، وهي الحالات التي يكون فيها جزء من البيانات التي أحتاجها للاستدلال مفقودًا جزئيًا أو كليًا. وهذا شائع جدًا في العلوم والهندسة: فكر في حالات الحجب في رؤية الحاسوب ، على سبيل المثال، أو قيم درجات الحرارة المفقودة لأيام أو مواقع معينة في البيانات المناخية. الخلاصة هي أنه كلما كانت البيانات مفقودة، فإن الملاحظات تكون بطبيعتها ذات قيم محددة.

وفقًا للصياغة الأصلية لآرت دمبستر، [ 14 ] فإن دالة الاعتقاد هي في الواقع دالة متعددة القيم (من 1 إلى متعدد) بين فضاء احتمالي (مصدر).Ωأوميغاومساحة مستهدفةX{\displaystyle X}، من النوع:Γ:Ω2X{\displaystyle \Gamma Ω → 2X ، حيثωΩأX{\displaystyle \omega \in \Omega \mapsto A\subseteq X}في مثال النرد المخفي أعلاه،أ={1،2}X={1،2،3،4،5،6}.{\displaystyle A=\{1,2\}\subseteq X=\{1,2,3,4,5,6\}.}

قاعدة دمبستر للتركيب

تكمن المشكلة التي نواجهها الآن في كيفية دمج مجموعتين مستقلتين من توزيعات احتمالية الكتل في حالات محددة. في حال عبّرت مصادر مختلفة عن معتقداتها حول الإطار من خلال قيود على المعتقدات، كما هو الحال عند تقديم تلميحات أو التعبير عن تفضيلات، فإن قاعدة دمبستر للدمج هي أداة الدمج المناسبة. تستخلص هذه القاعدة معتقدًا مشتركًا بين مصادر متعددة، وتتجاهل جميع المعتقدات المتضاربة (غير المشتركة) من خلال عامل توحيد. وقد وُجّهت انتقادات حادة لاستخدام هذه القاعدة في حالات أخرى غير دمج قيود المعتقدات، كما هو الحال عند دمج تقديرات معتقدات منفصلة من مصادر متعددة، بحيث يتم دمجها بشكل تراكمي، وليس كقيود. يعني الدمج التراكمي أن جميع توزيعات الاحتمالية من المصادر المختلفة تنعكس في المعتقد المستخلص، وبالتالي لا يتم تجاهل أي توزيع احتمالي.

وبالتحديد، يتم حساب التركيبة (التي تسمى الكتلة المشتركة ) من مجموعتي الكتل m 1 و m 2 بالطريقة التالية:

م1،2()=0{\displaystyle m_{1,2}(\emptyset )=0\,}
م1،2(أ)=(م1م2)(أ)=11-كبج=أم1(ب)م2(ج){\displaystyle m_{1,2}(A)=(m_{1}\oplus m_{2})(A)={\frac {1}{1-K}}\sum _{B\cap C=A\neq \emptyset }m_{1}(B)m_{2}(C)\,\!}

أين

ك=بج=م1(ب)م2(ج).{\displaystyle K=\sum _{B\cap C=\emptyset }m_{1}(B)m_{2}(C).\,}

يمثل K مقياسًا لمقدار الصراع بين مجموعتي الكتلتين.

آثار النزاع

يؤدي عامل التوحيد المذكور أعلاه، 1  K ، إلى تجاهل التعارض تمامًا، ونسبة أي كتلة مرتبطة به إلى المجموعة الفارغة. ولذلك، قد تُنتج قاعدة الجمع هذه للأدلة نتائج غير بديهية، كما سنبين لاحقًا. 

مثال على إنتاج نتائج صحيحة في حالة وجود تعارض كبير

يوضح المثال التالي كيف ينتج عن قاعدة دمبستر نتائج بديهية عند تطبيقها في حالة دمج التفضيلات، حتى عندما يكون هناك تعارض كبير.

لنفترض أن صديقين، أليس وبوب ، يرغبان في مشاهدة فيلم في السينما مساءً، وأن هناك ثلاثة أفلام فقط معروضة: س، ص، ع. تُفضّل أليس الفيلم س باحتمالية 0.99، وتُفضّل الفيلم ص باحتمالية 0.01 فقط. يُفضّل بوب الفيلم ع باحتمالية 0.99، ويُفضّل الفيلم ص باحتمالية 0.01 فقط. عند دمج تفضيلاتهما باستخدام قاعدة دمبستر للدمج، يتضح أن احتمالية اختيارهما للفيلم ص هي 1.0، لأنه الفيلم الوحيد الذي اتفقا على مشاهدته.
تُنتج قاعدة دمبستر للدمج نتائج بديهية حتى في حالة وجود معتقدات متضاربة تمامًا عند تفسيرها بهذه الطريقة. لنفترض أن أليس تُفضل الفيلم X باحتمالية 1.0، وأن بوب يُفضل الفيلم Z باحتمالية 1.0. عند محاولة دمج تفضيلاتهما باستخدام قاعدة دمبستر، يتضح أنها غير مُعرّفة في هذه الحالة، مما يعني عدم وجود حل. هذا يعني أنهما لا يستطيعان الاتفاق على مشاهدة أي فيلم معًا، وبالتالي لن يذهبا إلى السينما معًا في تلك الليلة. مع ذلك، فإن دلالة تفسير التفضيل كاحتمالية غامضة: إذا كان المقصود احتمالية مشاهدة الفيلم X الليلة، فإننا نواجه مغالطة الوسط المرفوع : الحدث الذي يقع بالفعل، وهو عدم مشاهدة أي من الأفلام الليلة، له كتلة احتمالية تساوي صفرًا.

مثال ينتج عنه نتائج غير بديهية في حالة الصراع الشديد

قدّم لطفي زاده مثالاً بنفس القيم العددية تماماً في عام 1979، [ 15 ] [ 16 ] [ 17 ] لتوضيح النتائج غير البديهية التي تُنتجها قاعدة دمبستر عند وجود درجة عالية من التعارض. والمثال كالتالي:

لنفترض أن لدينا طبيبين متساويين في الموثوقية، أحدهما يعتقد أن المريض مصاب بورم في الدماغ، باحتمالية (أي نسبة اعتقاد أساسية) تبلغ 0.99؛ أو بالتهاب السحايا، باحتمالية 0.01 فقط. ويعتقد الطبيب الثاني أن المريض مصاب بارتجاج في المخ، باحتمالية 0.99، ويعتقد أيضاً أنه مصاب بالتهاب السحايا، باحتمالية 0.01 فقط. بتطبيق قاعدة دمبستر لدمج هاتين النسبتين من الاعتقاد، نحصل في النهاية على m (التهاب السحايا) = 1 (تم تشخيص التهاب السحايا بثقة 100%).

تتعارض هذه النتيجة مع المنطق السليم، إذ يتفق الطبيبان على أن احتمال إصابة المريض بالتهاب السحايا ضئيل. وقد شكّل هذا المثال نقطة انطلاق للعديد من الدراسات البحثية التي سعت إلى إيجاد تبرير متين لقاعدة دمبستر، وإلى وضع أسس نظرية دمبستر-شافر [ 18 ] [ 19 ] ، أو إلى إظهار تناقضات هذه النظرية [ 20 ] [ 21 ] [ 22 ] .

مثال ينتج عنه نتائج غير بديهية في حالة انخفاض مستوى الصراع

يوضح المثال التالي متى ينتج عن قاعدة دمبستر نتيجة غير بديهية، حتى عندما يكون هناك تعارض منخفض.

لنفترض أن طبيباً يعتقد أن مريضاً مصاب إما بورم في الدماغ، باحتمالية 0.99، أو بالتهاب السحايا، باحتمالية 0.01 فقط. ويعتقد طبيب آخر أيضاً أن المريض مصاب بورم في الدماغ، باحتمالية 0.99، ويعتقد أنه يعاني من ارتجاج في المخ، باحتمالية 0.01 فقط. إذا حسبنا قيمة m (ورم الدماغ) باستخدام قاعدة دمبستر، فسنحصل على
م(ورم دماغي)=بيل(ورم دماغي)=1.{\displaystyle m({\text{ورم الدماغ}})=\operatorname {Bel} ({\text{ورم الدماغ}})=1.\,}

تُشير هذه النتيجة إلى تأييد كامل لتشخيص ورم الدماغ، وهو ما اعتبره كلا الطبيبين احتمالاً وارداً جداً . ويعود هذا التوافق إلى قلة الاختلاف بين مجموعتي الأدلة المُستمدة من رأيي الطبيبين.

في كلتا الحالتين، من المعقول أن نتوقع ما يلي:

م(ورم دماغي)<1 و بيل(ورم دماغي)<1،{\displaystyle m({\text{ورم الدماغ}})<1{\text{ و }}\operatorname {Bel} ({\text{ورم الدماغ}})<1,\,}

لأن وجود احتمالات اعتقاد غير صفرية لتشخيصات أخرى يعني وجود دعم أقل من كامل لتشخيص ورم الدماغ.

ديمبستر-شافر كتعميم لنظرية بايز

كما هو الحال في نظرية دمبستر-شافر، دالة الاعتقاد البايزية بيل:2X[0،1]{\displaystyle \operatorname {bel} :2^{X}\rightarrow [0,1]\,\!}يمتلك الخصائصبيل()=0{\displaystyle \operatorname {bel} (\emptyset )=0}وبيل(X)=1{\displaystyle \operatorname {bel} (X)=1}أما الشرط الثالث، فهو مُضمّن في نظرية DS، ولكنه مُخفّف فيها: [ 2 ] : ص 19

لو أب=، ثمبيل(أب)=بيل(أ)+بيل(ب).{\displaystyle {\text{إذا كان }}A\cap B=\emptyset ,{\text{ فإن}}\operatorname {bel} (A\cup B)=\operatorname {bel} (A)+\operatorname {bel} (B).}

أي من الشرطين التاليين يستلزم الحالة الخاصة البايزية لنظرية DS: [ 2 ] : ص 37، 45

  • بيل(أ)+بيل(أ¯)=1 للجميع أX.{\displaystyle \operatorname {bel} (A)+\operatorname {bel} ({\bar {A}})=1{\text{ for all }}A\subseteq X.}
  • بالنسبة لـ X المحدودة ، فإن جميع العناصر المحورية لدالة الاعتقاد هي عناصر مفردة.

كمثال على اختلاف المنهجين، يمكن لمنهج بايزي أن يُنمذج لون السيارة كتوزيع احتمالي على (أحمر، أخضر، أزرق)، مُخصصاً رقماً واحداً لكل لون. أما منهج دمبستر-شيفر، فيُخصص أرقاماً لكل من (أحمر، أخضر، أزرق، (أحمر أو أخضر)، (أحمر أو أزرق)، (أخضر أو ​​أزرق)، (أحمر أو أخضر أو ​​أزرق)). ولا يشترط أن تكون هذه الأرقام متسقة؛ فمثلاً، ليس بالضرورة أن يكون مجموع Bel(أحمر) + Bel(أخضر) مساوياً لـ Bel(أحمر أو أخضر).

وبالتالي، يمكن اعتبار الاحتمال الشرطي لبايز حالة خاصة من قاعدة دمبستر للتركيب. [ 2 ] : ص 19 وما بعدها. مع ذلك، يفتقر هذا الاحتمال إلى العديد من الخصائص (إن لم يكن معظمها) التي تجعل قاعدة بايز مرغوبة بديهيًا، مما يدفع البعض إلى القول بأنه لا يمكن اعتباره تعميمًا ذا معنى. [ 23 ] على سبيل المثال، تنتهك نظرية دمبستر متطلبات نظرية كوكس ، مما يعني أنه لا يمكن اعتبارها تعميمًا متماسكًا (خاليًا من التناقضات) للمنطق الكلاسيكي - تحديدًا، تنتهك نظرية دمبستر شرط أن تكون العبارة إما صحيحة أو خاطئة (وليس كليهما). ونتيجة لذلك، تخضع نظرية دمبستر لحجة الكتاب الهولندي ، مما يعني أن أي شخص يستخدم نظرية دمبستر سيوافق على سلسلة من الرهانات التي تؤدي إلى خسارة مضمونة.

التقريب البايزي

يُقلل التقريب البايزي [ 24 ] [ 25 ] من قيمة bpa المعطاةم{\displaystyle m}إلى توزيع احتمالي (منفصل)، أي يُسمح فقط للمجموعات الفرعية الفردية من إطار التمييز بأن تكون عناصر محورية في النسخة التقريبيةم_{\displaystyle {\underline {m}}}لم{\displaystyle m}:

م_(أ)={ب|أبم(ب)جم(ج)|ج|،|أ|=10،خلاف ذلك{\displaystyle {\underline {m}}(A)=\left\{{\begin{aligned}&{\frac {\sum \limits _{B|A\subseteq B}m(B)}{\sum \limits _{C}m(C)\cdot |C|}},&|A|=1\\&0,&{\text{otherwise}}\end{aligned}}\right.}

إنه مفيد لأولئك المهتمين فقط بفرضية الحالة الواحدة.

يمكننا القيام بذلك في مثال "الضوء".

فرضيةم1{\displaystyle m_{1}}م2{\displaystyle m_{2}}م1،2{\displaystyle m_{1,2}}م_1{\displaystyle {\underline {m}}_{1}}م_2{\displaystyle {\underline {m}}_{2}}م_1،2{\displaystyle {\underline {m}}_{1,2}}
لا أحد000000
أحمر0.350.110.320.410.300.37
أصفر0.250.210.330.330.380.38
أخضر0.150.330.240.250.320.25
أحمر أو أصفر0.060.210.07000
أحمر أو أخضر0.050.010.01000
أصفر أو أخضر0.040.030.01000
أي0.10.10.02000

العلاقة مع مقاييس عدم اليقين الأخرى

ترتبط وظائف الاعتقاد ارتباطًا وثيقًا بالعديد من المقاييس الأخرى للشك المعرفي من الدرجة الثانية . [ 26 ]

على وجه الخصوص، تحدد دالة الاعتقاد بشكل فريد مجموعة اعتقادية ، أي مجموعة محدبة من التوزيعات الاحتمالية على نفس المجال الذي تم تعريفها عليه. وبشكل أدق، فإن المجموعة الاعتقادية المقابلة هي: [ 13 ]

P[بهـل]={PP:P(أ)P(أ)أX}{\displaystyle {\mathcal {P}}[Bel]=\{P\in {\mathcal {P}}:P(A)\geq P(A)\forall A\subseteq X\}}

أينP{\displaystyle {\mathcal {P}}}هي مجموعة جميع التوزيعات الاحتمالية علىX.{\displaystyle X.}لذا، تُعدّ دوال الاعتقاد حالة خاصة من الاحتمالات الدنيا : إذ يُعادل مقياس المعقولية المقابل الاحتمال الأعلى لأي حدثأ.{\displaystyle A.}تُعتبر دوال الاعتقاد أيضًا قدرات رتيبة بلا حدود ، كمابهـل(أ)بهـل(ب){\displaystyle Bel(A)\geq Bel(B)}حينماأب.{\displaystyle A\supset B.}تتوافق مقاييس الاحتمالية بشكل فردي مع الفئة الخاصة من دوال الاعتقاد المتوافقة، أي دوال الاعتقاد التي تكون عناصرها المحورية (مجموعة ذات كتلة غير صفرية) متداخلة (مضمنة في بعضها البعض بمعنى نظري للمجموعات).

وأخيرًا وليس آخرًا، تحدد دالة الاعتقاد بشكل فريد صندوق الاحتمال ، أي زوج من الحدود الدنيا والعليا لدالة التوزيع التراكمي لمتغير عشوائي.

اقترح العديد من الباحثين توسيع نطاق دوال الاعتقاد لتشمل المجموعات الضبابية ، بدلاً من المجموعات التقليدية. [ 27 ] كما دُرست مقاييس عدم اليقين التي تعمم مفهوم الإنتروبيا في سياق نظرية الأدلة. [ 28 ]

نقد

جادل جوديا بيرل (1988أ، الفصل 9؛ [ 29 ] 1988ب [ 30 ] و1990) [ 31 ] بأن تفسير دوال الاعتقاد على أنها تمثل "احتمالات وقوع حدث ما"، أو "الثقة في الاحتمالات المخصصة لمختلف النتائج"، أو "درجات الاعتقاد (أو الثقة) في قضية ما"، أو "درجة الجهل في موقف ما"، هو تفسير مضلل. في الواقع، تمثل دوال الاعتقاد احتمال إمكانية إثبات قضية معينة من خلال مجموعة من القضايا الأخرى، والتي تُخصص لها احتمالات. إن الخلط بين احتمالات الصدق واحتمالات إمكانية الإثبات قد يؤدي إلى نتائج غير بديهية في مهام الاستدلال، مثل: (1) تمثيل المعرفة الناقصة، (2) تحديث المعتقدات، و(3) تجميع الأدلة. كما أوضح بيرل أنه إذا تم ترميز المعرفة الجزئية وتحديثها باستخدام أساليب دوال الاعتقاد، فإن المعتقدات الناتجة لا يمكن أن تُشكل أساسًا لاتخاذ قرارات عقلانية.

اقترح كلوبوتيك وويرزخون [ 32 ] تفسير نظرية دمبستر-شيفر من منظور إحصاءات جداول القرار ( نظرية المجموعات التقريبية )، حيث يُنظر إلى عامل دمج الأدلة على أنه ربط علائقي لجداول القرار. وفي تفسير آخر، يقترح كلوبوتيك وويرزخون [ 33 ] النظر إلى هذه النظرية على أنها تصف معالجة المواد المدمرة (مع فقدان الخصائص)، كما هو الحال في بعض عمليات إنتاج أشباه الموصلات. وبموجب كلا التفسيرين، يُعطي الاستدلال في نظرية دمبستر-شيفر نتائج صحيحة، على عكس التفسيرات الاحتمالية السابقة التي انتقدها بيرل في الأوراق البحثية المذكورة، وكذلك باحثون آخرون.

أثبت جوسانغ أن قاعدة دمبستر للدمج هي في الواقع طريقة لدمج قيود المعتقدات. [ 8 ] وهي لا تمثل سوى عامل دمج تقريبي في حالات أخرى، مثل الدمج التراكمي للمعتقدات، ولكنها تُنتج عمومًا نتائج غير صحيحة في مثل هذه الحالات. ولذلك، ينشأ الالتباس حول صحة قاعدة دمبستر من عدم فهم طبيعة الحالات المراد نمذجتها فهمًا صحيحًا. تُنتج قاعدة دمبستر للدمج دائمًا نتائج صحيحة وبديهية في حالة دمج قيود المعتقدات من مصادر مختلفة.

النهج الهندسي

يمكن إعطاء دوال الاعتقاد، شأنها شأن غيرها من أشكال مقاييس الاحتمالية أو عدم اليقين غير الدقيقة، تفسيراً هندسياً بسيطاً نسبياً، وذلك بتمثيل متجهات قيم الكتلة أو قيم الاعتقاد المقابلة كنقاط في فضاء محدب . وقد رائد هذا النهج بول بلاك، [ 34 ] ثم قام فابيو كوزولين بدراسته باستفاضة لاحقاً . [ 35 ] [ 36 ]

توضيح لمفهوم فضاء المعتقدات .

بافتراض أن المجال الذي تُعرَّف عليه دالة الاعتقاد Bel لديهشمال{\displaystyle N}العناصر، متجه دوال الاعتقاد المرتبطة بجميع المجموعات الممكنة من العناصرX{\displaystyle X}له عددية|2X|-1{\displaystyle |2^{X}|-1}يمكن للمرء بعد ذلك تحديد فضاء المعتقدات المرتبط بـX{\displaystyle X}باعتبارها مجموعة متجهاتR{2X-1}{\displaystyle \mathbb {R} ^{\{2^{X}-1\}}}والتي تتوافق مع دوال الاعتقاد الصحيحة، أي التي تحقق قيود الجمعية وعدم السلبية المذكورة أعلاه التي يجب أن تلتزم بها قيم الكتلة. من السهل إثبات أن فضاء الاعتقاد له شكل مُعقَّد بسيط ، حيث تُشكِّل مجموعة جميع مقاييس الاحتمال أحد أضلاع هذا المُعقَّد البسيط (انظر الشكل).

يمكن أيضًا دراسة فضاء الاعتقاد ضمن الهندسة التفاضلية : على وجه الخصوص، يبدو أنه يمتلك بنية حزمة ليفية متكررة . [ 37 ]

المقاييس العلائقية

عند النظر في التفضيلات ، يمكن استخدام الترتيب الجزئي للشبكة بدلاً من الترتيب الكلي للخط الحقيقي كما هو موجود في نظرية دمبستر-شافر. في الواقع، اقترح غونتر شميدت هذا التعديل وحدد المنهجية. [ 38 ]

بالنظر إلى مجموعة من المعايير C وشبكة محدودة L ذات ترتيب ≤، يُعرّف شميدت المقياس العلائقي بأنه دالة μ من مجموعة القوى لـ C إلى L تحترم الترتيب ⊆ علىP{\displaystyle \mathbb {P} }( ج ):

أبμ(أ)μ(ب){\displaystyle A\subseteq B\implies \mu (A)\leq \mu (B)}

بحيث تأخذ μ المجموعة الجزئية الفارغة منP{\displaystyle \mathbb {P} }( ج ) إلى أصغر عنصر في L ، ويأخذ ج إلى أكبر عنصر في L.

يقارن شميدت قيمة μ بدالة الاعتقاد لشافر، كما يتناول طريقة لدمج المقاييس تعمم منهج دمبستر (عند دمج أدلة جديدة مع أدلة سابقة). ويُقدم أيضًا تكاملًا علائقيًا ويقارنه بتكامل شوكيه وتكامل سوغينو . يمكن تعريف أي علاقة m بين C و L على أنها "تقييم مباشر"، ثم معالجتها باستخدام حساب العلاقات للحصول على مقياس الاحتمالية μ .

انظر أيضاً

مراجع

  1. ديمبستر، أ.ب. (1967). "الاحتمالات العليا والدنيا الناتجة عن تطبيق متعدد القيم" . حوليات الإحصاء الرياضي . 38 (2): 325-339 . doi : 10.1214/aoms/1177698950 .
  2. 1 2 3 4 5 6 شيفر، جلين؛ نظرية رياضية للأدلة ، مطبعة جامعة برينستون، 1976، ISBN 0-608-02508-9
  3. فاين، تيرينس ل. (1977). "مراجعة: غلين شيفر، نظرية رياضية للأدلة " . نشرة الجمعية الأمريكية للرياضيات 83 ( 4): 667-672 . doi : 10.1090/s0002-9904-1977-14338-3 .
  4. 1 2 كاري سينتز وسكوت فيرسون (2002)؛ دمج الأدلة في نظرية دمبستر-شافر ، مختبرات سانديا الوطنية SAND 2002-0835
  5. 1 2 كوهلاس، ج.، وموني، ب.أ.، 1995. نظرية رياضية للتلميحات. مدخل إلى نظرية دمبستر-شافر للأدلة . المجلد 425 من سلسلة محاضرات في الاقتصاد والأنظمة الرياضية. دار نشر سبرينغر.
  6. شيفر، جلين؛ نظرية دمبستر-شيفر ، 2002
  7. ديمبستر، آرثر ب.؛ تعميم للاستدلال البايزي ، مجلة الجمعية الإحصائية الملكية، السلسلة ب، المجلد 30، الصفحات 205-247، 1968
  8. 1 2 جوسانغ، أ.؛ سيمون، ب. (2012). "قاعدة دمبستر كما تراها الكرات الملونة الصغيرة". الذكاء الحسابي . 28 (4): 453-474 . doi : 10.1111/j.1467-8640.2012.00421.x . S2CID 5143692 . 
  9. جوسانغ، أ.، وهانكين، ر.، 2012. تفسير ودمج الآراء المفرطة في المنطق الذاتي . المؤتمر الدولي الخامس عشر حول دمج المعلومات (FUSION) 2012. رقم ISBN الإلكتروني 978-0-9824438-4-2معهد مهندسي الكهرباء والإلكترونيات (IEEE). | الرابط: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6289948
  10. جوسانغ، أ.؛ دياز، ج.؛ ورفقي، م. (2010). "الدمج التراكمي والمتوسط ​​للمعتقدات". دمج المعلومات . 11 (2): 192-200 . CiteSeerX 10.1.1.615.2200 . doi : 10.1016/j.inffus.2009.05.005 . S2CID 205432025 .  
  11. جيه واي هالبرن (2017) التفكير في عدم اليقين، مطبعة معهد ماساتشوستس للتكنولوجيا
  12. مولتشانوف، إيليا (2017). نظرية المجموعات العشوائية . نظرية الاحتمالات والنمذجة العشوائية (الطبعة الثانية، 2017 ). لندن: سبرينغر . رقم ISBN   978-1-4471-7349-6.
  13. 1 2 كوزولين، فابيو (2021). هندسة عدم اليقين: هندسة الاحتمالات غير الدقيقة . الذكاء الاصطناعي، الأسس، النظرية، والخوارزميات. تشام: سبرينغر. ISBN 978-3-030-63153-6.
  14. ياغر، رونالد ر. (2008). الأعمال الكلاسيكية حول نظرية دمبستر-شافر لدوال الاعتقاد . دراسات في الضبابية والحوسبة المرنة. برلين: سبرينغر. ISBN 978-3-540-44792-4.
  15. ل. زاده، حول صحة قاعدة دمبستر للتركيب، مذكرة M79/24، جامعة كاليفورنيا، بيركلي، الولايات المتحدة الأمريكية، 1979
  16. ل. زاده، مراجعة كتاب: نظرية رياضية للأدلة، مجلة الذكاء الاصطناعي، المجلد 5، العدد 3، الصفحات 81-83، 1984
  17. ل. زاده، نظرة بسيطة على نظرية دمبستر-شافر للأدلة وآثارها على قاعدة الجمع. مؤرشف في 2019-07-28 في آلة Wayback ، مجلة الذكاء الاصطناعي، المجلد 7، العدد 2، الصفحات 85-90، صيف 1986.
  18. إي. روسبيني، " الأسس المنطقية للاستدلال القائم على الأدلة مذكرة فنية رقم 408 ، 20 ديسمبر 1986 (تمت مراجعتها في 27 أبريل 1987)
  19. ن. ويلسون، " الافتراضات الكامنة وراء قاعدة دمبستر "، في وقائع المؤتمر التاسع حول عدم اليقين في الذكاء الاصطناعي ، الصفحات 527-534، دار نشر مورغان كوفمان، سان ماتيو، كاليفورنيا، الولايات المتحدة الأمريكية، 1993
  20. ف. فوربراك، " حول تبرير قاعدة دمبستر للتركيب الذكاء الاصطناعي ، المجلد 48 ، الصفحات 171-197، 1991
  21. باي وانغ، " عيب في نظرية دمبستر-شافر "، في وقائع المؤتمر العاشر حول عدم اليقين في الذكاء الاصطناعي ، الصفحات 560-566، دار نشر مورغان كوفمان، سان ماتيو، كاليفورنيا، الولايات المتحدة الأمريكية، 1994
  22. ب. والي، " الاستدلال الإحصائي مع الاحتمالات غير الدقيقة "، تشابمان وهول، لندن، ص 278-281، 1991
  23. ديزرت جيه، تشاموفا أ، هان د، تاكنيت جيه-إم، لماذا لا تُعد قاعدة دمج دمبستر تعميمًا لقاعدة دمج بايز ، وقائع مؤتمر دمج المعلومات الدولي لعام 2013، إسطنبول، تركيا، 9-12 يوليو 2013
  24. باور؛ ماتياس (1996). وقائع المؤتمر الدولي الثاني عشر حول عدم اليقين في الذكاء الاصطناعي . ص 73-80 . 
  25. فوربراك، فرانس (1989-05-01). "تقريب فعال حسابيًا لنظرية دمبستر-شيفر" . المجلة الدولية لدراسات الإنسان والآلة . 30 (5): 525-536 . doi : 10.1016/S0020-7373(89)80032-X . hdl : 1874/26317 . ISSN 0020-7373 . 
  26. كوزولين، فابيو (2025-02-01). "مقاييس عدم اليقين: دراسة نقدية" . دمج المعلومات . 114 102609. doi : 10.1016/j.inffus.2024.102609 . ISSN 1566-2535 . 
  27. إيشيزوكا، ميتسورو؛ فو، ك.س؛ ياو، جيمس ت.ب (1982-12-01). "إجراءات الاستدلال في ظل عدم اليقين لطريقة اختزال المشكلة" . علوم المعلومات . 28 (3): 179-206 . doi : 10.1016/0020-0255(82)90047-0 . ISSN 0020-0255 . 
  28. جيروشيك، راديم؛ شينوي، براكاش ب. (2018-01-01). "تعريف جديد لإنتروبيا دوال الاعتقاد في نظرية دمبستر-شافر" . المجلة الدولية للاستدلال التقريبي . 92 : 49-65 . doi : 10.1016/j.ijar.2017.10.010 . hdl : 1808/26087 . ISSN 0888-613X . 
  29. بيرل، ج. (1988أ)، الاستدلال الاحتمالي في الأنظمة الذكية، (الطبعة الثانية المنقحة) سان ماتيو، كاليفورنيا: مورغان كوفمان.
  30. بيرل، ج. (1988ب). "حول فترات الاحتمال" . المجلة الدولية للاستدلال التقريبي . 2 (3): 211-216 . doi : 10.1016/0888-613X(88)90117-X .
  31. بيرل، ج. (1990). "الاستدلال باستخدام دوال الاعتقاد: تحليل التوافق" . المجلة الدولية للاستدلال التقريبي . 4 (5/6): 363-389 . doi : 10.1016/0888-613X(90)90013-R .
  32. MA Kłopotek, ST Wierzchoń': " نهج جديد نوعي للمجموعات التقريبية لنمذجة دوال الاعتقاد ." [في:] L. Polkowski, A, Skowron (محرران): المجموعات التقريبية والاتجاهات الحالية في الحوسبة. وقائع المؤتمر الدولي الأول RSCTC'98 ، وارسو، 22-26 يونيو 1998، سلسلة محاضرات في الذكاء الاصطناعي 1424 ، Springer-Verlag، ص 346-353.
  33. MA Kłopotek و ST Wierzchoń، "نماذج تجريبية لنظرية دمبستر-شافر". في: Srivastava، RP، Mock، TJ، (محرران). دوال الاعتقاد في قرارات الأعمال . سلسلة: دراسات في الغموض والحوسبة المرنة . المجلد 88. Springer-Verlag. مارس 2002. ISBN 3-7908-1451-2، الصفحات 62-112
  34. بلاك، بول كيفن (1996). دراسة لوظائف الاعتقاد والقدرات الرتيبة الأخرى (أطروحة). جامعة كارنيجي ميلون.
  35. كوزولين، فابيو (2021)، "هندسة دوال الاعتقاد" ، في كوزولين، فابيو (محرر)، هندسة عدم اليقين: هندسة الاحتمالات غير الدقيقة ، الذكاء الاصطناعي: الأسس والنظرية والخوارزميات، تشام: دار نشر سبرينغر الدولية، ص 323-349 ، doi : 10.1007/978-3-030-63153-6_7 ، ISBN  978-3-030-63153-6تم الاطلاع عليه بتاريخ 2026-05-03
  36. كوزولين، ف. (يوليو 2008). "مقاربة هندسية لنظرية الأدلة" . معاملات IEEE في الأنظمة والإنسان وعلم التحكم الآلي، الجزء ج (التطبيقات والمراجعات) . 38 (4): 522-534 . Bibcode : 2008ITHMS..38..522C . doi : 10.1109/TSMCC.2008.919174 . ISSN 1094-6977 . 
  37. كوزولين، فابيو (2014-06-01). "حول بنية حزمة الألياف في فضاء دوال الاعتقاد" . حوليات التوافقية . 18 (2): 245-263 . doi : 10.1007/s00026-014-0221-1 . ISSN 0219-3094 . 
  38. غونتر شميدت (2006) المقاييس العلائقية والتكامل ، سلسلة محاضرات في علوم الحاسوب رقم 4136، الصفحات 343-357، منشورات سبرينغر

للمزيد من القراءة