کد مقاله: ۹۷۱۱۰۰۰۸۳

یادگیری ماشین و مسائل حل‌نشدنی در ریاضیات

هوش مصنوعی در ریاضی,یادگیری ریاضی با ماشین های علمی,یادگیری ریاضی با الگوریتم ویژه
مسائل ساده در زمینه‌ی هوش مصنوعی، پژوهشگران را به رویارویی با مسائل حل‌نشدنی در ریاضیات مجبور کرده است.

گروهی از پژوهشگران حین انجام تحقیقاتی در زمینه‌ی یادگیری ماشین، با سؤالاتی مواجه شده‌اند که ارتباط تنگاتنگی با مسئله‌ای حل‌نشدنی در ریاضیات دارد. این مسئله به «فرضیه‌ی پیوستار» معروف است. در دهه‌ی ۱۹۳۰، کورت گودل، ریاضی‌دان اتریشی، اولین‌بار ادعا کرد این مسئله حل‌نشدنی است.

 

مسئله‌ای که این پژوهشگران با آن رو‌به‌رو بودند، مسئله‌ی «یادگیری» نام دارد. این مسئله بررسی می‌کند آیا می‌توان با استفاده از داده‌های محدود، الگوریتمی برای حدس‌زدن الگوها یافت یا خیر. طبق مقاله‌ای که ۷ژانویه (برابر با ۱۷دی) در مجله‌ی Nature Machine Intelligence منتشر شد، این مسئله صورت جدیدی از فرضیه‌ی اثبات‌نشده‌ی پیوستار در ریاضیات است.

 

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

 

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

 

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

 

دانشمندان یادگیری را این‌گونه تعریف می‌کنند: توانایی یک الگوریتم برای وسیع‌کردن دانش کسب‌شده به‌وسیله‌ی خودش. این نوع الگوریتم معمولا به سؤالی مشخص جواب «بله» یا «خیر» می‌دهد. برای مثال، می‌توان الگوریتمی طراحی کرد که پس از تغذیه با استفاده از تعدادی تصویر گربه، بتواند به این پرسش برای تصویری جدید که قبلا ندیده پاسخ دهد: آیا در تصویر گربه‌ای وجود دارد؟

 

یهودیف و همکارانش هنگام کار روی مسئله‌ی یادگیری و مسئله‌ی فشرده‌سازی، به فرضیه‌ی پیوستار برخوردند. هدف آن‌ها این بود همه‌ی ویژگی‌های مهم یک مجموعه را در مجموعه‌ای کوچک‌تر خلاصه کنند. این پژوهشگران در مسیر پاسخ به این پرسش به مسئله‌ای در نظریه‌ی مجموعه‌ها می‌رسیدند.

 

جورج کانتور، مبدع نظریه‌ی مجموعه‌ها، در دهه‌ی ۱۸۷۰ بیان کرد همه‌ی مجموعه‌های نامتناهی باهم برابر نیستند. به‌طور خاص، مجموعه‌ی اعداد صحیح از مجموعه‌ی اعداد حقیقی کوچک‌تر است؛ هرچند هر دوِ آن‌ها مجموعه‌هایی نامتناهی (دارای بی‌شمار عضو) هستند. کانتور همچنین حدس زد هیج مجموعه‌ای وجود ندارد که اندازه‌ی آن بین اندازه‌ی مجموعه‌ی اعداد صحیح و اعداد حقیقی باشد. او و بسیاری از ریاضی‌دانان و فلاسفه‌ی پس از او، موفق نشدند این حدس را اثبات کنند.

 

درواقع، همه‌ی تلاش‌های آن‌ها در این زمینه بیهوده بود؛ زیرا در سال ۱۹۴۰، گودل نشان داد با درنظرگرفتن اصول استاندارد، نمی‌توان این فرضیه را رد یا اثبات کرد. در دهه‌ی ۱۹۶۰، کوهن، ریاضی‌دان آمریکایی، دیدگاه‌های گودل دراین‌باره را تکمیل کرد. تأیید یا تکذیب فرضیه‌ی پیوستار، همانند تأیید یا تکذیب اصل توازی اقلیدسی در هندسه که ما را به هندسی اقلیدسی یا هذلولی یا ریمانی هدایت می‌کند، به ما تئوری سازگار جداگانه‌ای در ریاضیات می‌دهد.

 

گودل و کوهن نشان دادند اگر فرضیه‌ی پیوستار درست باشد، اصولی یکدست در ریاضیات پدید می‌آید و اگر نادرست باشد، اصولی کاملا متفاوت و جداگانه به‌وجود می‌آید.

 

هوش مصنوعی در ریاضی،یادگیری ریاضی با ماشین های علمی,یادگیری ریاضی با الگوریتم ویژه,مسائل ریاضی،حل مسائل حل‌نشدنی در ریاضیات

در مقاله‌ی یهودیف و همکارانش، یادگیری به‌عنوان نوعی توانایی تعریف می‌شود. با داشتن این توانایی، می‌توان با مدل‌سازی مجموعه‌های کوچک درباره‌ی ویژگی‌های مجموعه‌های بزرگ‌تر حدس‌هایی زد. نکته‌ی مشترک مسئله‌ی یادگیری با فرضیه‌ی پیوستار این است که بی‌شمار راه برای تعیین مجموعه‌ی مدل وجود دارد؛ اما تعداد این راه‌ها مشخص نیست. یهودیف می‌گوید:

 

اگر فرضیه‌ی پیوستار درست باشد، جمع‌آوری نمونه‌ای متناهی برای مدل‌سازی کافی است؛ اما اگر فرضیه‌ی پیوستار درست نباشد، مجموعه‌ی متناهی برای این کار کافی نیست.

 

به‌عقیده‌ی یهودیف، اگر واقعا بخواهیم مسئله‌ی یادگیری را بفهمیم، درک ارتباط بین فشرده‌سازی و تعمیم‌دادن مدل به مجموعه‌ی نامتناهی امر مهمی است.

 

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

 

 

  • 19
  • 3
۵۰%
sarpoosh
با این خبر موافقمبا این خبر مخالفم
4.3 stars from 22 votes
نظر شما چیست؟
انتشار یافته: ۰
در انتظار بررسی:۰
غیر قابل انتشار: ۰
جدیدترین
قدیمی ترین
مشاهده کامنت های بیشتر
هرویه میلیچ,هروویه میلیچ,بیوگرافی هرویه میلیچ بیوگرافی هروویه میلیچ، مدافع جدید استقلال

نام اصلی:   هروویه میلیچ

زادروز:   ۱۰ مهٔ ۱۹۸۹ ‏

زادگاه:  اوسییک، کرواسی

قد:  ۱٫۸۳ متر (۶ فوت ۰ اینچ)

 وزن:  ۷۴ کیلو

پست:  مدافع چپ / وینگر

ادامه
مانوئل پوکیارلی,بیوگرافی مانوئل پوکیارلی,عکس های مانوئل پوکیارلی بیوگرافی مانوئل پوکیارلی + تصاویر مراسم ازدواجش

بیوگرافی مانوئل پوکیارلی

نام کامل: مانوئل پوکیارلی (manuel pucciarelli)

تاریخ تولد: ۱۷ ژوئن ۱۹۹۱ ‏

زادگاه: پراتو

قد: ۱٫۷۴ متر (۵ فوت ۸ ۱⁄۲ اینچ)

پست : مهاجم دوم/هافبک هجومی

ادامه
مودیبو مایگا,بیوگرافی مودیبو مایگا بیوگرافی مودیبو مایگا، بازیکن جدید پرسپولیس

نام کامل:مودیبو مایگا

تولد:۳ سپتامبر ۱۹۸۷ ‏

زادگاه:باماکو، مالی

قد:۱٫۸۵ متر( ۶ فوت ۱ اینچ)

پست:مهاجم، هافبک

ادامه
فرناندو کانسین,بیوگرافی فرناندو کانسین,عکس های فرناندو کانسین بیوگرافی فرناندو کانسین + عکس همسرش

نام کامل: فرناندو کانسین ماتوس

نام  به انگلیسی: Fernando Canesin Matos

زادروز: ۲۷ فوریهٔ ۱۹۹۲ ‏

زادگاه: ریبرآ پرتو، برزیل

قد: ۱٫۷۶ متر

پست: هافبک

ادامه
شیخ دیاباته,بیوگرافی شیخ دیاباته,بازیکن جدید استقلال بیوگرافی شیخ دیاباته مهاجم جدید استقلال

نام کامل: شیخ تیدیانه دیاباته( فرانسوی:Cheick Tidiane Diabaté)

تاریخ تولد: ۱۹۸۸

محل تولد: باماکو، مالی

قد: ۱٫۹۴ متر

پست: مهاجم

باشگاه سابق: الامارات

ادامه
کالدرون,بیوگرافی کالدرون,گابریل کالدرون بیوگرافی گابریل کالدرون (سرمربی جدید پرسپولیس)

نام کامل: گابریل اومبرتو کالدرون (Gabriel Humberto Calderón)

تاریخ تولد: ۷ فوریهٔ ۱۹۶۰

محل تولد: راوسون، آرژانتین

باشگاه سابق: القطر

باشگاه کنونی: پرسپولیس (سرمربی)

ادامه
آنته چاچیچ,بیوگرافی آنته چاچیچ,عکس های آنته چاچیچ بیوگرافی آنته چاچیچ

نام کامل: آنته چاچیچ

زادروز: ۲۹ سپتامبر ۱۹۵۳

زادگاه: زاگرب، یوگسلاوی

پست: سرمربی

تحصیلات : فارغ التحصیل رشته تربیت بدنی

ادامه
آندره آ استراماچونی,بیوگرافی آندره آ استراماچونی,استراماچونی بیوگرافی آندره آ استراماچونی، سرمربی جدید استقلال (+عکس همسر)

نام کامل: آندره آ استراماچونی

تاریخ تولد: ۱۸ ژوئن ۱۹۷۶

محل تولد: رم، ایتالیا

حرفه: مربیگری فوتبال

باشگاه فعلی: استقلال تهران

 

ادامه
مارک ویلموتس,بیوگرافی مارک ویلموتس,ویلموتس بیوگرافی مارک ویلموتس (+سوابق فوتبالی)

گزیده‌ای از بیوگرافی مارک ویلموتس

نام کامل: مارک روبر ویلموتس

تاریخ تولد: ۲۲ فوریهٔ ۱۹۶۹ ‏(۵۰ سال)

محل تولد: ژودوآنی، بلژیک

قد: ۱ متر و ۸۳ سانتی متر

 

ادامه
ویژه سرپوش
شاید از دست داده باشید