موضوع مقاله: عدالت (یادگیری ماشین) | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # عدالت (یادگیری ماشین) | مقدمه: همان‌طور که در مورد بسیاری از مفاهیم اخلاقی وجود دارد، تعاریف عدالت و تعصب همیشه بحث‌برانگیز است. | ## بخش 1: عدالت (یادگیری ماشین) | به‌طور کلی، عدالت و تعصب وقتی مرتبط تلقی می‌شود که فرایند تصمیم‌گیری بر زندگی افراد تأثیر می‌گذارد، به ویژه با توجه به مجموعه ای از متغیرهای حساس مانند جنسیت، قومیت، گرایش جنسی، ناتوانی و غیره. نتایج ممکن است توسط طیفی از عوامل منحرف شود و بنابراین ممکن است با توجه به گروه‌ها یا افراد خاص ناعادلانه در نظر گرفته شود. یک مثال می‌تواند راهی باشد که سایت‌های رسانه‌های اجتماعی اخبار شخصی‌سازی شده را به مصرف‌کنندگان ارائه می‌کنند. در سال ۲۰۱۴، اریک هولدر، دادستان کل ایالات متحده، این نگرانی را مطرح کرد که روش‌های «ارزیابی ریسک» ممکن است بر عواملی که تحت کنترل متهم نیستند، مانند سطح تحصیلات یا پیشینه اقتصادی-اجتماعی آنها تمرکز نادرست داشته باشد. این گزارش ادعا کرد که متهمان سیاهپوست تقریباً دو برابر بیشتر از متهمان سفیدپوست به‌طور نادرست به عنوان خطر بالاتر برچسب‌گذاری می‌شوند، در حالی که با متهمان سفیدپوست اشتباه معکوس را مرتکب می‌شوند. مشخص شده‌است که تشخیص چهره و حرکت در دوربین‌ها، حالات صورت سوژه‌های غیرسفید را نادیده می‌گیرد یا اشتباه می‌گذارد. در سال ۲۰۱۵، ویژگی برچسب‌گذاری خودکار در فلیکر و گوگل فوتوز برای برچسب‌گذاری سیاه‌پوستان با برچسب‌هایی مانند «حیوان» و «گوریل» پیدا شد. یک مسابقه بین‌المللی زیبایی در سال ۲۰۱۶ که توسط یک الگوریتم هوش مصنوعی داوری شد، مشخص شد که نسبت به افرادی با پوست روشن‌تر، احتمالاً به دلیل تعصب در داده‌های آموزشی، تعصب دارد. مطالعه‌ای روی سه الگوریتم طبقه‌بندی جنسیتی تجاری در سال ۲۰۱۸ نشان داد که هر سه الگوریتم معمولاً در طبقه‌بندی مردان با پوست روشن دقیق‌ترین و بدترین در طبقه‌بندی زنان با پوست تیره هستند. شاخص گروه عدالت در مسائل طبقه‌بندی، یک الگوریتم تابعی را برای پیش‌بینی یک مشخصه گسسته می‌آموزد، متغیر هدف، از ویژگی‌های شناخته شده است. به عنوان یک متغیر تصادفی گسسته مدل می‌کنیم که برخی از ویژگی‌های موجود یا به‌طور ضمنی رمزگذاری شده در که به عنوان ویژگی‌های حساس (جنسیت، قومیت، گرایش جنسی و غیره) در نظر می‌گیریم). استقلال (آزادی) را اقناع استقلال متغیرهای تصادفی می‌گوییم اگر ویژگی‌های حساس مشخصه از نظر متغیر تصادفی مستقل از پیش‌بینی هستند، و ما می‌نویسیمهمچنین می‌توانیم این مفهوم را با فرمول زیر بیان کنیم:این بدان معنی است که نرخ طبقه‌بندی برای هر کلاس هدف برای افراد متعلق به گروه‌های مختلف با توجه به ویژگی‌های حساس برابر مشخصه است. با این حال می‌توان یک عبارت معادل دیگر برای استقلال با استفاده از مفهوم اطلاعات متقابل بین متغیرهای تصادفی ارائه داد که به این صورت تعریف شده‌است.در این فرمول، آنتروپی متغیر تصادفی است. یک آرامش احتمالی در تعریف استقلال شامل معرفی یک سستی مثبت است و با این فرمول به دست می‌آید:در نهایت، یکی دیگر از آرامش‌های احتمالی نیاز است باشد. جدایی را متغیرهای تصادفی اقناع جدایی می‌گوییم اگر ویژگی‌های حساس است از نظر آماری مستقل از پیش‌بینی هستند با توجه به مقدار هدف ، و ما می‌نویسیمهمچنین می‌توانیم این مفهوم را با فرمول زیر بیان کنیم:این بدان معنی است که تمام وابستگی تصمیم روی ویژگی حساس باید با وابستگی واقعی متغیر هدف واقعی توجیه شود. عبارت معادل دیگر، در مورد نرخ هدف باینری، این است که نرخ مثبت واقعی و نرخ مثبت کاذب برابر هستند (و بنابراین نرخ منفی کاذب و نرخ منفی واقعی برابر هستند) برای هر مقدار از ویژگی‌های حساس:یک تخفیف ممکن برای تعاریف داده شده این است که اجازه دهیم مقدار اختلاف بین نرخ‌ها عددی مثبت کمتر از یک سستی باشد. سخ در برخی زمینه‌ها، جداسازی (ضریب جداسازی) در یک ماتریس درهم ریختگی، اندازه‌گیری فاصله (در سطح معینی از امتیاز احتمال) بین درصد تجمعی پیش‌بینی‌شده منفی و درصد تجمعی پیش‌بینی‌شده مثبت است. هر چه این ضریب تفکیک در یک مقدار امتیاز معین بیشتر باشد، مدل در تمایز بین مجموعه مثبت و منفی در یک برش احتمال خاص مؤثرتر است. به گفته مایز: «اغلب در صنعت اعتبار مشاهده می‌شود که انتخاب معیارهای اعتبارسنجی به رویکرد مدل‌سازی بستگی دارد. به عنوان مثال، اگر روش مدل‌سازی پارامتری یا نیمه پارامتری باشد، اغلب از آزمون کولموگروف–اسمیرنف دو نمونه استفاده می‌شود. اگر مدل با روش‌های جستجوی اکتشافی یا تکراری مشتق شده باشد، معیار عملکرد مدل معمولاً <b id="mwkg">واگرایی</b> است. ضریب جداسازی، در مقایسه با دو روش دیگر، برای عملکرد مدل به‌عنوان معیاری معقول‌تر به نظر می‌رسد، زیرا الگوی جداسازی یک مدل را منعکس می‌کند. کفایت را متغیرهای تصادفی اقناع کفایت می‌گوییم اگر ویژگی‌های حساس است از نظر آماری مستقل از مقدار هدف هستند با توجه به پیش‌بینی ، و ما می‌نویسیمهمچنین می‌توانیم این مفهوم را با فرمول زیر بیان کنیم:این بدان معنی است که احتمال حضور واقعی در هر یک از گروه‌ها برای دو فرد با ویژگی‌های حساس متفاوت برابر است، با توجه به اینکه پیش‌بینی شده بود که آنها به یک گروه تعلق دارند. روابط بین تعاریف در نهایت، برخی از نتایج اصلی را که به سه تعریف ارائه شده در بالا مربوط می‌شود، خلاصه می‌کنیم: با فرض اینکه باینری است، اگر و از نظر آماری مستقل نیستند و و از نظر آماری نیز مستقل نیستند، پس استقلال و جدایی هر دو نمی‌توانند برقرار باشند. اگر به عنوان یک توزیع مشترک دارای احتمال مثبت برای تمام مقادیر ممکن است و و از نظر آماری مستقل نیستند، پس جدایی و کفایت هر دو نمی‌توانند برقرار باشند. فرمول بندی ریاضی تعاریف عدالت گروهی تعاریف اولیه بیشتر معیارهای آماری عدالت بر معیارهای مختلفی تکیه دارند، بنابراین ما با تعریف آنها شروع می‌کنیم. هنگام با یک طبقه‌بندی باینری کار می‌کند، هم کلاس‌های پیش‌بینی‌شده و هم کلاس‌های واقعی می‌توانند دو مقدار داشته باشند: مثبت و منفی. قاب| ماتریس درهم ریختگی مثبت واقعی (TP): موردی که هم نتیجه پیش‌بینی‌شده و هم نتیجه واقعی در یک کلاس مثبت هستند. | ## بخش 2: عدالت (یادگیری ماشین) | منفی واقعی (TN): موردی که هم نتیجه پیش‌بینی‌شده و هم نتیجه واقعی به کلاس منفی نسبت داده می‌شوند. مثبت کاذب (FP): موردی که پیش‌بینی می‌شود در یک کلاس مثبت که در نتیجه واقعی تخصیص داده می‌شود، به طبقه منفی می‌رسد. منفی کاذب (FN): موردی که پیش‌بینی می‌شود در کلاس منفی با نتیجه واقعی باشد، در حالت مثبت است. این روابط را می‌توان به راحتی با یک ماتریس درهم‌ریختگی نشان داد، جدولی که دقت یک مدل طبقه‌بندی را توصیف می‌کند. در این ماتریس، ستون‌ها و ردیف‌ها به ترتیب نمونه‌هایی از موارد پیش‌بینی شده و واقعی را نشان می‌دهند. با استفاده از این روابط، می‌توانیم معیارهای متعددی را تعریف کنیم که بعداً می‌توان برای اندازه‌گیری عادلانه بودن یک الگوریتم استفاده کرد: مقدار پیش‌بینی‌شده مثبت (PPV): کسری از موارد مثبت که از بین تمام پیش‌بینی‌های مثبت به درستی پیش‌بینی شده‌اند. با فرمول زیر ارائه می‌شود: نرخ کشف نادرست (FDR): کسری از پیش‌بینی‌های مثبت که در واقع از بین همه پیش‌بینی‌های مثبت منفی بودند. این احتمال یک پیش‌بینی مثبت اشتباه را نشان می‌دهد و با فرمول زیر ارائه می‌شود: ارزش پیش‌بینی شده منفی (NPV): کسری از موارد منفی که از بین تمام پیش‌بینی‌های منفی به درستی پیش‌بینی شده‌اند. احتمال یک پیش‌بینی منفی صحیح را نشان می‌دهد و با فرمول زیر ارائه می‌شود: نرخ حذف نادرست (FOR): کسری از پیش‌بینی‌های منفی که در واقع از بین همه پیش‌بینی‌های منفی مثبت بودند. احتمال یک پیش‌بینی منفی اشتباه را نشان می‌دهد و با فرمول زیر ارائه می‌شود: نرخ مثبت واقعی (TPR): کسری از موارد مثبت که از بین همه موارد مثبت به درستی پیش‌بینی شده‌است. معمولاً از آن به عنوان حساسیت یا یادآوری یاد می‌شود و احتمال دسته‌بندی صحیح موضوعات مثبت را نشان می‌دهد. با این فرمول نشان داده می‌شود: نرخ منفی کاذب (FNR): کسری از موارد مثبت که به اشتباه از بین همه موارد مثبت منفی پیش‌بینی شده‌است. احتمال دسته‌بندی نادرست موضوعات مثبت به عنوان موضوعات منفی را نشان می‌دهد و با این فرمول ارائه می‌شود: نرخ منفی واقعی (TNR): کسری از موارد منفی که از بین همه موارد منفی به درستی پیش‌بینی شده‌است. این احتمال را نشان می‌دهد که موضوعات منفی به درستی طبقه‌بندی شوند و با فرمول ارائه می‌شود: نرخ مثبت کاذب (FPR): کسری از موارد منفی که به اشتباه از بین همه موارد منفی مثبت پیش‌بینی شده‌است. احتمال دسته‌بندی نادرست موضوعات منفی به عنوان موضوعات مثبت را نشان می‌دهد و با این فرمول ارائه می‌شود: قاب| رابطه بین معیارهای انصاف همان‌طور که در Barocas و همکاران نشان داده شده‌است. معیارهای زیر را می‌توان معیارهای سه تعریف کلی ارائه شده در ابتدای این بخش یعنی استقلال، جدایی و کفایت دانست. تعاریف بر اساس یک نتیجه پیش‌بینی شده، بر اساس نتایج پیش‌بینی شده و واقعی، و تعاریف بر اساس احتمالات پیش‌بینی شده و نتیجه واقعی. ما با یک طبقه‌بندی کننده باینری و نماد زیر کار خواهیم کرد: اشاره به نمره داده شده توسط طبقه‌بندی کننده است که احتمال قرار گرفتن یک موضوع خاص در کلاس مثبت یا منفی است. نشان دهنده طبقه‌بندی نهایی پیش‌بینی شده توسط الگوریتم است و مقدار آن معمولاً از مشتق می‌شود، برای مثال زمانی مثبت خواهد بود که بالاتر از یک آستانه مشخص باشد. نشان دهنده نتیجه واقعی است، یعنی طبقه‌بندی واقعی فرد و در نهایت، نشان دهنده ویژگی‌های حساس موضوعات است. تعاریف بر اساس نتیجه پیش‌بینی شده تعاریف در این بخش برای توزیع‌های مختلف موضوعات بر یک نتیجه پیش‌بینی شده تمرکز دارد. یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر آزمودنی‌های گروه‌های محافظت‌شده و محافظت‌نشده احتمال یکسانی برای انتساب به کلاس پیش‌بینی‌شده مثبت داشته باشند. این در صورتی است که فرمول زیر برآورده شود: برابری آماری مشروط اساساً شامل تعریف بالا است، اما فقط به زیر مجموعه ای از نمونه‌ها محدود می‌شود. در نماد ریاضی این خواهد بود: تعاریف بر اساس نتایج پیش‌بینی شده و واقعی این تعاریف نه تنها نتیجه پیش‌بینی شده را در نظر می‌گیرند بلکه آن را با نتیجه واقعی مقایسه کنید. اگر افراد در گروه‌های محافظت شده و محافظت نشده دارای PPV برابر باشند، طبقه‌بندی کننده این تعریف را برآورده می‌کند. این در صورتی است که فرمول زیر برآورده شود: از نظر ریاضی، اگر یک طبقه‌بندی کننده دارای PPV برابر برای هر دو گروه باشد، FDR برابری نیز خواهد داشت که فرمول زیر را برآورده می‌کند: تعادل نرخ خطای مثبت کاذب، که به آن برابری پیش‌بینی نیز گفته می‌شود. اگر افراد در گروه‌های محافظت‌شده و محافظت‌نشده دارای FPR یکسان باشند، یک طبقه‌بندی‌کننده این تعریف را برآورده می‌کند. این در صورتی است که فرمول زیر برآورده شود: از نظر ریاضی، اگر یک طبقه‌بندی کننده FPR برابر برای هر دو گروه داشته باشد، TNR برابر نیز خواهد داشت که فرمول زیر را برآورده می‌کند: تعادل نرخ خطا منفی کاذب، همچنین به عنوان فرصت برابر نامیده می‌شود. | ## بخش 3: عدالت (یادگیری ماشین) | اگر موضوعات در گروه‌های محافظت شده و محافظت نشده دارای FNR برابر باشند، یک طبقه‌بندی کننده این تعریف را برآورده می‌کند. این در صورتی است که فرمول زیر برآورده شود: از نظر ریاضی، اگر یک طبقه‌بندی کننده FNR برابر برای هر دو گروه داشته باشد، TPR برابر نیز خواهد داشت که فرمول زیر را برآورده می‌کند: شانس مساوی که به آن برابری دقت رویه مشروط و بدرفتاری نامتجانس نیز گفته می‌شود. یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر افراد در گروه‌های محافظت‌شده و محافظت‌نشده دارای TPR برابر و FPR برابر باشند، که فرمول زیر را برآورده می‌کند: برابری دقت استفاده مشروط یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر افراد در گروه‌های محافظت‌شده و محافظت‌نشده دارای PPV برابر و NPV برابر باشند، با فرمول: برابری دقت کلی یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر موضوع در گروه‌های محافظت‌شده و محافظت‌نشده دقت پیش‌بینی برابری داشته باشد، یعنی احتمال اینکه موضوعی از یک کلاس به آن اختصاص داده شود. این در صورتی است که فرمول زیر را برآورده کند: برابری درمان یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر افراد در گروه‌های محافظت‌شده و محافظت‌نشده نسبت برابری از FN و FP داشته باشند، که این فرمول را برآورده می‌کند: تعاریف بر اساس احتمالات پیش‌بینی شده و نتیجه واقعی این تعاریف بر اساس نتیجه واقعی است و امتیاز احتمال پیش‌بینی شده. اگر افراد دارای امتیاز احتمال پیش‌بینی‌شده یکسان باشند، طبقه‌بندی‌کننده این تعریف را برآورده می‌کند زمانی که به گروه محافظت شده یا محافظت نشده تعلق دارند، احتمال یکسانی برای طبقه‌بندی در کلاس مثبت دارند: چاه کالیبراسیون بسط تعریف قبلی است. بیان می‌کند که وقتی افراد داخل یا خارج از گروه محافظت شده امتیاز احتمال پیش‌بینی شده یکسانی دارند آنها باید همان احتمال طبقه‌بندی در کلاس مثبت را داشته باشند و این احتمال باید برابر باشد : تعادل برای کلاس مثبت یک طبقه‌بندی کننده این تعریف را برآورده می‌کند اگر آزمودنی‌های تشکیل‌دهنده کلاس مثبت از هر دو گروه محافظت‌شده و محافظت‌نشده دارای میانگین امتیاز احتمال پیش‌بینی‌شده برابر باشند. این بدان معنی است که مقدار مورد انتظار امتیاز احتمال برای گروه‌های محافظت شده و محافظت نشده با نتیجه واقعی مثبت یکسان است و فرمول زیر را برآورده می‌کند: تعادل برای کلاس منفی اگر آزمودنی‌های تشکیل‌دهنده کلاس منفی از هر دو گروه محافظت‌شده و محافظت‌نشده دارای میانگین امتیاز احتمالی پیش‌بینی‌شده برابر باشند، طبقه‌بندی‌کننده این تعریف را برآورده می‌کند. این بدان معناست که مقدار مورد انتظار امتیاز احتمال برای گروه‌های محافظت شده و محافظت نشده با پیامد واقعی منفی یکسان است و فرمول زیر را برآورده می‌کند: در حال پردازش روش دیگر اصلاح سوگیری در زمان تمرین است. برای مثال، می‌توانیم این شرط را به هدف الگوریتم اضافه کنیم که نرخ مثبت کاذب برای افراد در گروه محافظت شده و افراد خارج از گروه محافظت شده یکسان باشد. معیارهای اصلی مورد استفاده در این رویکرد، نرخ مثبت کاذب، نرخ منفی کاذب و نرخ کلی طبقه‌بندی اشتباه است. توجه داشته باشید که برابری نرخ‌های منفی کاذب به معنای برابری نرخ‌های مثبت واقعی است، بنابراین این به معنای برابری فرصت‌ها است. پس از افزودن محدودیت‌ها به مشکل، ممکن است مشکل حل نشدنی شود، بنابراین ممکن است به آرامش در مورد آنها نیاز باشد. این تکنیک نتایج خوبی در بهبود عدالت و در عین حال حفظ دقت بالا به دست می‌آورد و به برنامه‌نویس اجازه می‌دهد اقدامات عادلانه را برای بهبود انتخاب کند. اولین مورد، پیش‌بینی کننده تلاش می‌کند تا وظیفه پیش‌بینی را انجام دهد، متغیر هدف ، ورودی، با تغییر وزن آن برای به حداقل رساندن برخی از تابع از دست دادن داده شده‌است. به عنوان مثال، با یک شبکه عصبی مصنوعی و یک مشکل طبقه‌بندی، می‌تواند به خروجی (تابع) بیشینه هموار اشاره کند. سپس به روز می‌کنیم را به حداقل رساندن در هر مرحله آموزش با توجه به گرادیان و ما را اصلاح می‌کنیم با توجه به عبارت:جایی که یک فراپارامتر قابل تنظیم است که می‌تواند در هر مرحله زمانی متفاوت باشد. عبارت مانع از حرکت پیش‌بینی کننده در جهتی می‌شود که به دشمن کمک می‌کند تا عملکرد ضرر خود را کاهش دهد. می‌توان نشان داد که آموزش مدل طبقه‌بندی پیش‌بینی کننده با این الگوریتم، برابری جمعیت شناختی را نسبت به آموزش آن بدون حریف بهبود می‌بخشد. پس پردازش روش نهایی سعی در تصحیح نتایج یک طبقه‌بندی برای دستیابی به عدالت را دارد. در این روش ما یک طبقه‌بندی داریم که برای هر فرد یک امتیاز برمی‌گرداند و باید برای آنها یک پیش‌بینی باینری انجام دهیم. نمرات بالا احتمالاً نتیجه مثبت دارند، در حالی که نمرات پایین احتمالاً یک نتیجه منفی دارند، اما ما می‌توانیم آستانه را تنظیم کنیم تا مشخص کنیم چه زمانی باید به صورت دلخواه پاسخ مثبت دهیم. توجه داشته باشید که تغییرات در مقدار آستانه بر مبادله بین نرخ‌های مثبت واقعی و منفی واقعی تأثیر می‌گذارد. اگر تابع امتیاز عادلانه باشد به این معنا که مستقل از ویژگی محافظت شده باشد، در این صورت هر انتخاب آستانه نیز عادلانه خواهد بود، اما طبقه‌بندی‌کننده‌های این نوع تمایل به جانبداری دارند، بنابراین ممکن است آستانه متفاوتی برای هر گروه محافظت شده لازم باشد. معایب نیاز به دسترسی به ویژگی محافظت شده در زمان آزمایش و عدم انتخاب در تعادل بین دقت و عدالت است. رد کردن طبقه‌بندی بر اساس گزینه با توجه به طبقه‌بندی اجازه دهید احتمال محاسبه شده توسط طبقه‌بندی کننده‌ها به عنوان احتمالی باشد که نمونه متعلق به کلاس مثبت + است. چه زمانی نزدیک به ۱ یا ۰ است، نمونه با درجه اطمینان بالا به ترتیب متعلق به کلاس + یا - مشخص شده‌است. الگوریتم "ROC" شامل طبقه‌بندی نمونه‌های رد نشده طبق قانون بالا و نمونه‌های رد شده به شرح زیر است: اگر نمونه نمونه ای از یک گروه محروم باشد سپس آن را به عنوان مثبت و در غیر این صورت برچسب منفی بزنید. | ## جمع‌بندی | ما می‌توانیم معیارهای مختلف تبعیض (پیوند) را به عنوان توابعی از بهینه کنیم برای یافتن بهینه برای هر مشکلی و اجتناب از تبعیض آمیز شدن علیه گروه ممتاز.