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

متأسفانه ، این الگوریتم ها گاهی مغرضانه عمل می کنند - هنگام برخورد با وام یا مشاغل ، یا حتی هنگامی که دادگاه تصمیم می گیرد چه قید وثیقه ای باید در نظر گرفته شود در حالی که فرد در انتظار محاکمه است ، افراد طبقه کم درآمد تحت تأثیر قرار می دهند.

محققان MIT یک زبان برنامه نویسی هوش مصنوعی جدید ایجاد کرده اند که می تواند منصفانه بودن الگوریتم ها را دقیق تر و سریعتر از جایگزین های موجود ارزیابی کند.

زبان احتمالی محصول نهایی آنها (SPPL) یک سیستم برنامه نویسی احتمالی است. برنامه نویسی احتمالی یک حوزه در حال ظهور در تلاقی زبان های برنامه نویسی و هوش مصنوعی است که هدف آن توسعه سیستم های هوش مصنوعی با موفقیت های اولیه در بینایی رایانه ، تشخیص داده های عقل سلیم و مدل سازی خودکار داده ها است.

زبانهای برنامه نویسی احتمالی برنامه نویسان را برای تعریف مدلهای احتمالی و استنباط احتمالی بسیار آسانتر می کند .

SPPL با اکثر زبانهای برنامه نویسی احتمالی متفاوت است ، زیرا SPPL فقط به کاربران امکان می دهد برنامه های احتمالی بنویسند که برای آنها می تواند به طور خودکار نتایج استنباط احتمالی دقیق را ارائه دهد.

SPPL همچنین به کاربران این امکان را می دهد تا میزان استنباط سریع را بررسی کنند و بنابراین از نوشتن برنامه های آهسته خودداری کنند. SPPL با تدوین برنامه های احتمالی در یک ساختار داده تخصصی به نام "بیان مجموع محصول" کار می کند.

227000519.002