نمایش مبدأ برای قضیه بیز

{{تغییرمسیر|بیز|اصطلاح بیز در اجرای موسیقی|آنکور}}
{{آمار بیزی}}
{{نظریه احتمالات}}
'''قضیه بیز''' {{انگلیسی|Bayes' theorem}} روشی برای دسته‌بندی پدیده‌ها، بر پایه احتمال وقوع یا عدم وقوع یک پدیده است و در [[نظریه احتمالات|نظریهٔ احتمالات]] با اهمیت و پرکاربرد است. اگر برای فضای نمونه‌ای مفروضی بتوانیم چنان افرازی انتخاب کنیم که با دانستن اینکه کدامیک از پیشامدهای افراز شده رخ داده‌است، بخش مهمی از [[عدم قطعیت]] تقلیل می‌یابد.

این قضیه از آن جهت مفید است که می‌توان از طریق آن، احتمال یک پیشامد را با مشروط کردن نسبت به وقوع یا عدم وقوع یک پیشامد دیگر محاسبه کرد. در بسیاری از حالت‌ها، محاسبهٔ احتمال یک پیشامد به صورت مستقیم کاری دشوار است. با استفاده از این قضیه و مشروط کردن پیشامد مورد نظر نسبت به پیشامد دیگر، می‌توان احتمال مورد نظر را محاسبه کرد.

این رابطه به خاطر بزرگداشت [[توماس بیز]] فیلسوف [[مردم انگلستان|انگلیسی]] به نام فرمول بیز معروف است.

== معادلهٔ اصلی ==
فرض می‌کنیم <math>B_1,... ,B_k</math> یک [[افراز مجموعه|افراز]] برای [[فضای نمونه‌ای]] <math>S</math> تشکیل دهند. طوری‌که به ازای هر <math>j=1,... ,k</math>، داشته باشیم <math>P(B_j)>0</math> و فرض کنید <math>A</math> پیشامدی با فرض <math>P(A)>0</math> باشد، در اینصورت به ازای <math>i=1,... ,k</math>، داریم:

<math>P(B_i|A) = \frac{P(B_i) \, P(A|B_i)}{\sum_{j=1}^k P(B_j) \,P(A|B_j)} </math>

== برهان ==
[[پرونده:Venn Pie Chart describing Bayes' law.png|بندانگشتی|قضیه بیز]]
طبق تعریف [[احتمال شرطی]] داریم <math>P(B_i|A)=\frac{P(B_i\cap A)}{P(A)}</math>. صورت کسر قضیه طبق دستور حاصلضرب در احتمال شرطی، برابر با <math>P(B_i|A)</math> و مخرج کسر بنابر قضیه قانون احتمال کل، برابر <math>P(A)</math> است.

اگر A و B دو پیشامد مفروض باشند، می‌توان پیشامد A را به صورت زیر در نظر بگیریم:

<math>A=(A\cap B)\cup (A\cap B')</math>

زیرا نقطه‌ای که در <math>A</math> باشد باید یا در هر دوی <math>A</math> و <math>B</math> باشد یا این که در <math>A</math> باشد و در <math>B</math> وجود نداشته باشد. از طرفی می‌دانیم <math>A\cap B</math> و <math>A\cap B'</math> ناسازگار هستند، پس می‌توان نوشت:

<math>P(A)=P(AB)+ P(AB') = P(A|B)P(B) + P(A|B')P(B') = P(A|B)P(B) + P(A|B')\left(1-P(B)\right)</math>

این رابطه بیان می‌دارد که احتمال به وقوع پیوستن پیشامد <math>A</math> یک [[میانگین وزنی]] از احتمال شرطی <math>(A|B)</math> و احتمال شرطی <math>(A|B')</math> می‌باشد. وزن داده شده به هر احتمال شرطی به اندازهٔ احتمالی است که <math>A</math> نسبت به آن مشروط شده‌است. رابطه بالا را می‌توان به صورت زیر تعمیم داد. فرض کنید پیشامدهای <math>B_1</math>، <math>B_2</math>، … و <math>B_n</math> پیشامدهای دو به دو ناسازگار باشند از طرفی رابطهٔ زیر نیز بین این پیشامدها برقرار است:

<math>S = \cup_i^n F_i</math>

از این عبارت این گونه می‌توان استنباط کرد که حتماً یکی از پیشامدهای <math>B_1</math>، <math>B_2</math>، … و <math>B_n</math> باید اتفاق بیفتد. از طرفی می‌دانیم که پیشامدهای <math>A\cap B_i</math>برای <math>i= 1,\cdots, n</math>، دو به دو ناسازگار هستند و می‌نویسیم:

<math>A = \cup_i^n \left(A\cap B_i\right)</math>

از این‌جا می‌توان نوشت:

:<math>P(A)=\sum_{i=1}^{n} P(A\cap B_i)=\sum_{i=1}^{n} p(A|B_i )P(B_i)</math>

این رابطه بیان می‌دارد که چگونه می‌توان <math>P(A)</math> را با مشروط کردن به یکی از پیشامدهای داده شدهٔ <math>B_1</math>، <math>B_2</math>، … و <math>B_n</math> محاسبه نمود. به‌طور کلی این رابطه باین می‌دارد که <math>P(A)</math> برابر است با [[میانگین وزنی]] <math>P(A|B')</math> به نحوی که هر وزن هر جمله برابر با احتمالی است که به آن مشروط گردیده‌است حال فرض کنید که پیشامد A اتفاق افتاده و می‌خواهیم احتمال این که یکی از پیشامدهای <math>B_i</math> اتفاق افتاده باشد را حساب کنیم:

<math>P(B_i|A) = \frac{P(B_i) \, P(A|B_i)}{\sum_{j=1}^k P(B_j) \,P(A|B_j)} </math>

== یادگیری ماشینی به کمک نظریه بیز ==
برای نگرش بیزی به یادگیری ماشین (و یا هر فرایند دیگر) می‌باید نخست:
* دانش موجود دربارهٔ موضوع را به صورت احتمالاتی فرموله کنیم:برای اینکار باید مقادیر کیفی دانش را به صورت توزیع احتمال، فرضیات استقلال و غیره مدل کرد. این مدل دارای پارامترهای ناشناخته‌ای خواهد بود که برای هر یک از مقادیر ناشناخته، [[توزیع احتمال]] اولیه‌ای در نظر گرفته می‌شود که بازگوکننده باور ما به محتمل بودن هر یک از این مقادیر بدون دیدن داده‌است.
* با جمع‌آوری داده و مشاهدهٔ آن، مقدار توزیع احتمال ثانویه را محاسبه می‌کنیم
* با استفاده از این احتمال ثانویه:
* به یک نتیجه‌گیری در مورد [[عدم قطعیت]] می‌رسیم
* با میانگین‌گیری روی مقادیر احتمال ثانویه پیش‌بینی انجام می‌دهیم
* برای کاهش خطای ثانویه مورد انتظار [[تصمیم‌گیری]] می‌کنیم

=== تئوری بیز در یادگیری ماشین ===
در یادگیری ماشین معمولاً در فضای فرضیه <math>h</math> بدنبال بهترین فرضیه‌ای هستیم که در مورد داده‌های آموزشی <math>D</math> صدق کند. یک راه تعیین بهترین فرضیه، این است که بدنبال محتمل‌ترین فرضیه‌ای باشیم که با داشتن داده‌های آموزشی <math>D</math> و احتمال قبلی در مورد فرضیه‌های مختلف می‌توان انتظار داشت تئوری بیز چنین راه حلی را ارائه می‌دهد. این روش راه حل مستقیمی است که نیازی به جستجو ندارد.

سنگ بنای یادگیری بیزی را تئوری بیز تشکیل می‌دهد. این تئوری امکان محاسبه احتمال ثانویه را بر مبنای احتمالات اولیه می‌دهد:

:<math display="block">P(h|D) = \frac{P(D |h)\, P(h)}{P(D)}\,</math>

همان‌طور که مشاهده می‌شود با افزایش <math>P(D)</math> مقدار <math>P(h|D)</math> کاهش می‌یابد؛ زیرا هر چه احتمال مشاهده <math>D</math> مستقل از <math>h</math> بیشتر باشد به این معنا خواهد بود که <math>D</math> شواهد کمتری در حمایت از hدربردارد.

=== تعریف مفاهیم اولیه ===
فرض کنید که فضای فرضیه <math>h</math> و مجموعه مثال‌های آموزش <math>D</math> موجود باشند. مقادیر احتمال زیر را تعریف می‌کنیم:
:<math>P(h)</math>: [[احتمال پیشین]] (prior probablity) که فرضیه <math>h</math> قبل از مشاهده داده آموزشی <math>D</math> داشته‌است. اگر چنین احتمالی موجود نباشد می‌توان به تمامی فرضیه‌ها احتمال یکسانی نسبت داد.
:<math>P(D)</math>: احتمال مشاهده داده آموزشی <math>D</math>.
:<math>P(D|h)</math>: درست نمایی (likelihood) یا احتمال مشاهده داده آموزشی <math>D</math> به فرض آنکه فرضیه <math>h</math> صادق باشد.
:<math>P(h|D)</math>: [[احتمال پسین]] (posterior probablity) یا احتمال فرضیه <math>h</math> به شرط مشاهده داده آموزشی <math>D</math>.

توجه شود که احتمال پیشین <math>P(h)</math> مستقل از داده آموزشی است، ولی احتمال پسین <math>P(h|D)</math> تأثیر داده آموزشی را منعکس می‌کند.

=== روش‌های یادگیری بیزی ماشینی ===
روش‌های بیزی فرضیه‌هایی ارائه می‌دهند که قادر به پیش‌بینی احتمالی هستند (مثل بیمار به احتمال ۹۳٪ بهبود می‌یابد) مثال‌های جدید را می‌توان با ترکیب وزنی چندین فرضیه دسته‌بندی نمود. حتی در مواردی که روش‌های بیزی قابل محاسبه نباشند، می‌توان از آن‌ها به عنوان معیاری برای ارزیابی روش‌های دیگر استفاده کرد تعدادی از روش‌های [[یادگیری ماشینی]] بیزی شامل موارد زیر است:
* [[Bayes Optimal Classifier]]
* [[دسته‌بندی‌کننده نایو بیز]]
* [[شبکه‌های بیزی]]

== مثال ==
در یک مسئله [[تشخیص بیماری]] با دو فرضیه روبرو هستیم:
# بیمار دارای سرطان است.
# بیمار سالم است.
دادهای آزمایشگاهی نشان می‌دهد که ۰٫۰۰۸ جمعیت دارای این بیماری هستند و بعلت نادقیق بودن [[تست‌های آزمایشگاهی]] نتایج آن به صورت زیر است:
:در ۹۸٪ مواقعی که شخص واقعاً بیمار است نتیجه صحیح مثبت حاصل می‌شود.
:در ۹۷٪ مواقعی که بیمار سالم است نتیجه صحیح منفی حاصل می‌شود.

<math display="block">P(cancer)=0.008, P(+|cancer)=0.98, P(+|\overline{cancer})=0.03 </math><math display="block">P(\overline{cancer})=0.992, P(-|cancer)=0.02, P(-|\overline{cancer})=0.97</math>احتمال مثبت بودن جواب آزمایش:

<math display="block">P(+) = P(+|cancer) P(cancer) + P(+|\overline{cancer}) P(\overline{cancer}) = 0.98 \times 0.008 + 0.03 \times 0.992 = 0.037599
</math>

حال اگر بیمار جدیدی مشاهده شود که جواب آزمایشگاه مثبت باشد، آیا باید بیمار را مبتلا به سرطان بدانیم؟ احتمال ابتلای بیمار به سرطان عبارت است از:

<math display="block">P(cancer|+) = \frac{P(+|cancer) P(cancer)} {P(+)} = \frac{0.98\times 0.008}{0.037599} = \frac{0.0078}{0.037599} = 0.20745
</math>

احتمال نداشتن سرطان عبارت است از:

<math display="block">P(\overline{cancer}|+) = P\frac{(+|\overline{cancer}) P(\overline{cancer})}{P(+)} = \frac{0.03\times 0.992}{0.037599} = 0.792574
</math>لذا فرضیه MAP عبارت خواهد بود از:{{چپ‌چین}}
:hmap=~cancer
{{پایان}}

== جستارهای وابسته ==
* [[احتمال‌های بیزین]]
* [[توماس بیز]]

== منابع ==
{{پانویس}}
* {{یادکرد
|کتاب=احتمال و آمار جلد اول
|نویسنده = دگروت-اسکرویش
|ترجمه=دکتر عین‌الله پاشا
|صفحه=۹۸
|سال=۱۳۸۵
|شابک=978-964-395-871-8
}}
{{یادکرد
|کتاب= A first course of probability
|نویسنده = sheldon ross sixth edition
}}

[[رده:آمار بیزی]]
[[رده:قضایا در آمار]]
[[رده:قضیه‌های احتمالات]]
[[رده:قضیه‌های ریاضی]]
[[رده:نظریه احتمالات]]
[[رده:ویکی‌سازی رباتیک]]