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

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

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

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

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

 

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

 

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

 

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

 

 

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

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

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

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

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

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

 

ادامه
فرهاد مجیدی,بیوگرافی فرهاد مجیدی،اخبار فرهاد مجیدی بیوگرافی فرهاد مجیدی + مصاحبه جدید فرهاد مجیدی (عکس همسر و فرزندانش)

نان کامل: فرهاد مجیدی قادیکلایی

تاریخ تولد: ۱۳ خرداد ۱۳۵۵ (۳ ژوِئن ۱۹۷۷)

محل تولد: تهران

پیشه: فوتبالیست

پست: مهاجم 

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

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

نام کامل: ترلان پروانه

تاریخ تولد: ۱۸ تیر ۱۳۷۷

محل تولد: شیراز

حرفه: بازیگری

زمینه فعالیت: سینما، تلویزیون و تئاتر

تحصیلات:  لیسانس رشته گرافیک

ادامه
مهرداد صدیقیان,بیوگرافی مهرداد صدیقیان,عکس های مهرداد صدیقیان بیوگرافی مهرداد صدیقیان + عکس‌های جدید و جذاب مهرداد صدیقیان

نام کامل: مهرداد صدیقیان

تاریخ تولد:۳۰ بهمن ماه ۱۳۶۷

محل تولد: شهر تهران

تحصیلات: دیپلم ریاضی

پیشه: بازیگری

زمینه فعالیت: سینما، تئاتر و تلویزیون

ادامه
نوید محمدزاده,بیوگرافی نوید محمدزاده,عکس های نوید محمدزاده بیوگرافی نوید محمدزاده + جدیدترین عکس‌ها و مصاحبه جذاب او

نام کامل:نوید محمدزاده

تاریخ تولد: ۱۷ فروردین ۱۳۶۵

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

پیشه: بازیگری

زمینه فعالیت: سینما و تئاتر

مدت فعالیت: ۱۳۸۷ تاکنون

ادامه
شیلا خداداد,بیوگرافی شیلا خداداد,عکس های شیلا خداداد بیوگرافی شیلا خداداد + جدیترین عکسهای خانواده ۴ نفره‌اش

نام کامل: شیلا خداداد

تاریخ تولد: ۱۴ آبان ۱۳۵۹

محل تولد: تهران

مدرک تحصیلی: لیسانس شیمی محض

پیشه: بازیگری

زمینه فعالیت: سینما و تلویزیون

ادامه
نیما شعبان نژاد,بیوگرافی نیما شعبان نژاد,عکس های نیما شعبان نژاد بیوگرافی نیما شعبان نژاد (بازیگر و کمدین) + جدیدترین تصاویر

نام کامل: نیما شعبان نژاد

زمینه فعالیت: تئاتر و تلویزیون

تاریخ تولد: ۲۱ اردیبهشت ۱۳۶۶ 

محل تولد: شهر کلن در آلمان

محل زندگی: تهران

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

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

نام کامل: سوگل طهماسبی

تاریخ تولد: ۲۵ بهمن ۱۳۶۴ 

محل تولد: اهواز

پیشه :بازیگر

زمینه فعالیت: تئاتر، سینما و تلویزیون

سال‌های فعالیت: ۱۳۸۱ تا کنون

ادامه
شیدا یوسفی,بیوگرافی شیدا یوسفی,عکس‌های شیدا یوسفی بیوگرافی شیدا یوسفی، بازیگر نقش نگین در 'ممنوعه'

نام کامل: شیدا یوسفی

تاریخ تولد: ۲۰ آذر ۱۳۶۵

محل تولد: تهران

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

فعالیت: بازیگر، دستیار کارگردان و منشی صحنه

وضعیت تاهل:مجرد

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