۲۵. فقه هوش مصنوعی (۱۴۰۴/۰۲/۱۸)
سال تحصیلی (۱۴۰۴-۱۴۰۳) - پنجشنبه، ۱۸ اردیبهشت ماه ۱۴۰۴ موضوع : بیان مفهوم بردار و تنسور
پیشـگفتار(چـکیده)
موضوع اصلی:
بیان مفهوم بردار و تنسور
موضوعات فرعی:
توضیحاتی درباره توسعه ابعاد و فضای برداری، برداری کردن مفاهیم کیفی، توضیحی پیرامون کاربرد جبر خطی و مفهوم بردار در هوش مصنوعی و تعبیه برداری
مروری بر مباحث گذشته
{00:05:05}
جلسه قبل عرض کردم که مباحثه ما کمکم سه بخش مهم پیدا کرد. بخش اول، ارائه امتیاز هوش اشراقمحور در موجوداتی که هبوط کردهاند و از عالم دیگر به اینجا آمدهاند؛ «منها قدمتم و الیها تصیرون»[1]؛ از عالم آخرت به اینجا آمدهاند و به آنجا برمیگردند. نسبت به اینها که هوش اشراقمحور هستند با این هوشهای مصنوعی که هوش پایهمحور هستند، ما باید تفاوتهای روشنی را ارائه بدهیم. این بخش اول بود.
بخش دوم، تحلیل و شناسایی دقیق هوش پایهمحور است. در این هوشهایی که الآن هست، چه میگذرد؟ چکار میکنند؟ این مرحله، مقدمهای برای مرحله سوم است که وقتی تشخیص دادیم که در هوش پایهمحور چه مکانیسمی در حال انجام است، آن وقت به ادله شرعیه مراجعه میکنیم و موضوعات احکام مختلف فقه را بررسی میکنیم تا ببینیم این هوش پایهمحور در کجاها میتواند مقبول باشد و در کجاها مردود باشد. ما مشغول این سه بحث بودیم. از هر کدام مقداری صحبت شده است.
در جلسه قبل در این بخش دوم بودیم. در این مطلب که پردازش زبان را چطور تحلیل کنیم. اینکه آیا این هوش، درک معنا و درک زبان و درک پایهمحور دارد؟ درک پایهمحور بهمعنای ظهور معنا است، یعنی معنادار بودن، نه فهم. فهمی که انسان دارد را ندارد، اما ظهور معنا هست و دارد یک کارهای معناداری میشود. کار معنادار انجام گرفتن، فرق دارد با اینکه فهم معنا هم صورت بگیرد. خب اگر کار معنادار صورت بگیرد، برای ما مهم است و ما در اینجا مطالب مهمی داریم. پایان جلسه قبل به تکنیک مهم تعبیهسازی رسیدیم؛ «embedding» که مقدمه آن را در توضیح بردار عرض کردم.
[1] نهج البلاغة , جلد۱ , صفحه۲۱۵
تنسور و ابعاد آن
{00:07:49}
تجریدیتر از بردار، تنسور است. عرض کردم که تنسور یک معنای بسیار تجریدی برای بُعد است؛ بعد هم میگویید تنسور مرتبه صفر، تنسور مرتبه یک، تنسور مرتبه دو و ... تا هر چه بخواهید بالا بروید. البته نمایش تنسور، [با توجه به اینکه ما فضای هندسی را حداکثر به صورت سهبُعدی میتوانیم تصور کنیم]، سه تا سه تا جلو میرود. یعنی یک عدد دارید، بعد که مثلاً چهار عدد در کنار هم بهصورت افقی میچینید، این یک بردار میشود. خود عدد، عدد اسکالر بود و بردار نبود. تنسور صفر بود؛ یعنی مرتبه صفر. وقتی چهار عدد را کنار هم میچینید، یک بردار میشود که تنسور مرتبه یک است. اما اگر همین چهار عددی که افقی در کنار هم چیدید، چند عدد عمودی هم بچینید و بهصورت مربع، یک جدولی درست کنید، این تنسور مرتبه دو میشود؛ یعنی دو بُعد دارد؛ سطر و ستون دارد. اگر چند تا از همین ماتریسها و جدولهای دو بُعدی را بهصورت لایه لایه کنار هم بچینید، یعنی به آن عمق بدهید. مثلاً پنج ماتریس را کنار هم بگذارید. یک مکعبی درمیآید که طول و عرض و عمق دارد. عمقش هم ردیفی است که ماتریسها قرار میگیرند. تا اینجا ما یک تنسور مرتبه سه [با نمایش سه بُعدی] بهصورت یک مکعب پیدا میکنیم و دیگر نمیتوانیم کاری کنیم [چون در فضای هندسی، سه بُعد بیشتر نداریم]؛ مکعب درآمد و تمام.
آیا میتوانیم به تنسور، بُعد چهار اضافه کنیم یا نه؟ بله. الآن همین تنسور سه بُعدی مکعبی که بود، دو تا از آنها را کنار هم میگذارید. دو مکعب کنار هم میگذارید و بعد پنج تا میکنید. پنج تنسور مکعبی به چه صورت است؟ همان تنسورهای سه بُعدی به اضافه این ردیفی است که همه با هم پیدا کردند، [مرتبه چهارم و] بُعد چهارم [در نمایش] است. حالا وقتی یک خطی داریم که پنج تا از تنسورهای سه بُعدی، یک طول درست کردهاند، یک عرض هم به آن بدهید. یعنی صفحهای دو بُعدی درست کنید که مؤلفههای آن، تنسورهای سه بُعدی هستند، این، پنج بُعدی میشود. اگر این تنسورهای ظاهراً دو بُعدی که همه، تنسورهای سه بُعدی بودند را لایه لایه کنید، یک مکعبی از تنسورها میشود که هر خانۀ آن، خودش یک تنسور سه بُعدی است و نتیجه، تنسور شش بُعدی میشود. حالا دوباره پنج تا از این تنسورهای شش بُعدی را کنار هم بهصورت افقی بچینید، هفت بُعدی میشود. دوباره در صفحه به صورت دو بُعدی بچینید، هشت بُعدی میشود. لذا برای پیشرفت تنسورها باید سه تا سه تا جلو بروید. چرا؟ برای اینکه آنها را در فضای سه بُعدی مجسم کنید. ولی بُعدها دارد اضافه میشود و کار انجام میدهد. یعنی در یک تنسور ده بُعدی، همه بُعدها فعال هستند و شما به آنها آدرس میدهید؛ دقیقاً یک آدرسی با ده پارامتر میدهید که به آخرین خانه بسیط میرسید. ده بُعد است اما ده بُعدی است که به شما امکان میدهد تا افراد را با تعداد متعدد بیان کنید. علی ای حال این مفهوم جامعی است. تنسور بهمعنای بُعد است، اما بُعدی که از صفر شروع میشود و تا هر چه بخواهید میرود.
مفهوم بردار
{00:12:04}
آنچه که جلسه قبل عرض کردم، این است: تعبیر بردار که الآن خیلی مهم است و جبر خطی هم مبتنی بر آن است، [نیاز است که به درستی شناخته شود]. جلوتر عرض کردم که اگر جبر دو ارزشی بولی نبود، اصلاً کامپیوتر نبود، چون صرف اعداد باینری که برای ما کامپیوتر درست نمیکند. کامپیوتر به پردازش نیاز دارد و حتماً باید در پردازشهای مهم کامپیوتری، جبر دخالت داشته باشد. وقتی جبر دو ارزشی -صفر و یکی- وارد فضای اعداد باینری شد، آن وقت پردازشها شروع شد. نظیر همین برای هوش مصنوعی بود. یعنی وقتی جبر خطی در پردازشها وارد شد -که مهمترینش همین پردازش زبان ما است که از آن صحبت میکنیم- هوش مصنوعی نبود. اگر آن نبود، اینها هم نبود. یعنی همه پیشرفتهای امروزی، مبتنی بر آن است. لذا است که مفاهیم و مبادی جبر خطی دو روز دیگر جزو اطلاعات عمومی میشود و اینها باید به گوش ما خورده باشد. همین جور که الآن صفر و یک را نوعاً همه شنیدهاند، چند روز دیگر مبادی این بحث هم عمومی میشود. بهخاطر اینکه اساس این پیشرفتها به این مطالب است.
در جلسه قبل ما یک صفحهای را فرض گرفتیم و دو نقطه دو طرف آن گذاشتیم و سؤالاتی را مطرح کردیم؛ فاصله این دو نقطه، انواع فاصلهها، بستری که آن فاصلهها را شکل میداد. مطلبی که در این جلسه به دنبالش هستیم، انواع فاصله بین دو برداری است که عرض کردم. یعنی بین دو بردار انواع مختلفی از فاصله میتواند تعریف و درک شود که یا نفس الامریت دارد یا اعتباری است. در این جلسه به دنبال این هستیم.
به اندازه فهم قاصر طلبگی خودم مثالهایی را عرض میکنم. اگر سرنخی شد، در ادامه، هر نکتهای به ذهن شریفتان آمد حتماً به ما هم بفرمایید. فعلاً برای اینکه فضای این دو بردار را توضیح بدهم و بگویم مفهوم فاصله این دو بردار به چه صورت میشود، مثالهای سادهای را خدمت شما عرض میکنم.
فرض بگیرید یک سنگریزهای در محل ما مثل جدول مختصات در یک نقطهای مثل نقطه صفر گذاشته شده است؛ محل تقاطع محور x و y، نقطه صفر است. حالا فرض بگیریم یک سنگی را در این نقطه صفر گذاشتهایم. در اینجا مطالب بسیار سادهای پیش میآید. مثلاً عرض میکنم این سنگ را دو متر دست راست ببریم. یا میگویم دو متر دست چپ ببریم. این مفهوم بسیار سادهای است. الآن اگر کنار این سنگ منفی دو (2-) بگذاریم، یعنی دو متر آن را سمت چپ ببرید و اگر کنارش مثبت دو (2+) بگذاریم، یعنی این سنگ را دو متر دست راست ببرید. خب در همین نقطه صفر اگر بگوییم آن عددی نشان میداد که سنگ را سمت راست یا چپ ببرید، صفر است؛ این سنگ را دست راست یا چپ نبرید و اولی صفر باشد. حالا پارامتر دوم را بگوییم که دو متر آن را بالا ببرید یا دو متر آن را پایین ببرید. به شخصی درباره این سنگ دستور میدهیم و میگوییم راست و چپ بردنش صفر است، ولی عدد دوم، مثبت دو (2+) است، یعنی دو متر بالا ببرش. یا عدد دومش منفی دو (2-) است، یعنی دو متر پایین ببرش؛ این هم پارامتر دوم. حالا وقتی به این سنگ نگاه میکنیم، کنارش مثبت دو و مثبت دو (2+و2+) نوشته است. یعنی آن را هم دو متر دست راست ببر و هم دو متر بالا ببر. اینجا دیگر از روی یک محور در رفته است و شما باید دست راست و آن بالا در آن فضا بروید و به دنبالش بگردید. سنگ را که دو متر بالا و دو متر هم دست راست بردید، نقطهای بیرون از خود محور میشود. الآن شما با تعیین دو پارامتر مربوط به دو بُعد، دارید حرکت آن سنگ و جای آن را معین میکنید.
حالا برای همین سنگی که دو پارامتر را برای آن عرض کردم، یک پارامتر سومی اضافه کنید: میگویید دست راست و چپ نبر؛ یعنی عدد اولی صفر باشد، بالا و پایین هم نبر - لذا عدد دوم هم صفر است - بلکه دو متر جلو ببر. روی محور z دو متر جلو یا عقب ببر. منفی دو یا مثبت دو جلو یا عقب ببر. این هم روشن است؛ دو اولیها صفر و صفر، فقط جلو و عقب ببر. پارامتر سوم، مثبت میشود. حالا اگر سه عدد شد، مثبت دو، دومی هم مثبت دو است، سومی هم مثبت دو است. یعنی این سنگ را دو متر بالا ببر، دو متر به دست راست و دو متر به جلو ببر. الآن باید کجا به دنبالش بگردید؟ باید هم بالا بروید و هم دست راست بروید و هم دو متر جلو بروید. سه پارامتر دارد نشان میدهد که این کجا است.
حالا الآن به این صورت فرض بگیرید که چند سنگ در اینجا داریم و کنار هر کدام از آنها نوشته که چطور آنها را ببریم. کنار یکی نوشته: منفی یک، مثبت دو، منفی سه (1-، 2+، 3-). سریع میدانید که باید چکار کنید؛ اولی میگوید به چپ ببر، دومی میگوید به بالا ببر، سومی میگوید به عقب ببر. خیلی روشن است. سه-چهار سنگ در اینجا هست که کنار هر کدام برچسب زده شده است. ببینید الآن که کنار هر سنگی سه عدد هست، یک نحو بردارسازی سنگ است. این سنگ را شما به یک برداری تبدیل کردهاید که دارد حرف میزند؛ حالا به هدف رسیده و دارد حرف میزند یا فعلاً ابتدای کار است و قرار است آن را ببرید. یک اطلاعاتی است که خصوصیات این سنگ را برای حرکت یا برای پایان آن نشان میدهد. این، سه پارامتر، سه تا آرایه است برای اینکه جای آن را نشان بدهیم.
خب حالا اگر به برچسبهای این سه سنگ نگاه کنید، بعد از اینکه رفتند، حالا میگوییم فاصله سنگ الف با سنگ ب چقدر است؟ شما چکار میکنید؟ اول فوری میبینید که بعد از حرکت کجا رفته و وقتی فهمیدید کجا رفته، حاصل سیر این سه پارامتر را که حساب کردید، بعد میگویید آن سنگ آنجا است و دیگری هم آنجا است، پس فاصلۀ آنها این قدر است. این، یک جور فاصله مکانی دو بردار میشود که میگوییم فاصله این سنگها این اندازه است.
خب حالا بُعدها را اضافه میکنیم، ببینید ذهن شما همراهی میکند یا نه. به چند سنگی که کنارش برچسب زده بود، بُعدها را اضافه میکنیم. بله، میشود. مثلاً اولی که راست و چپ بود، دومی که بالا و پایین بود و سومی هم که جلو و عقب بود، چهارمی را زمان میگذاریم و مثلاً میگوییم آن را یک ساعت ببر یا دو ساعت ببر. پارامتر چهارم دارد مقدار زمان حرکت را بیان میکند. خب پس شما یک سنگی دارید، فعلاً فرض ما این است که سرعتها مشترک است. مثلاً همه آنها با سرعت پنجاه کیلومتر هستند که این سنگ را بالا، دست چپ و به جلو دو ساعت ببر. الآن پارامتر زمان و مقدار حرکت هم در کار آمد. این دارد جای سنگ را تغییر میدهد. کنار یکی نوشته بود دو ساعت ببر، دیگری نوشته بود یک ساعت ببر؛ با سرعت مثلاً ۵۰ کیلومتر در ساعت. نقطهای که پایان حرکت او است، پارامتر زمان حرکت او در آن نقطه تأثیر دارد.
شاگرد۱: اگر سرعت باشد نباید طول و عرض و ارتفاع مشخص باشد.
استاد: فعلاً سرعت مساوی است.
شاگرد۲: اگر زمان اضافه بشود سایر پارمترها متغیر میشوند.
استاد: بله، درست است. واحد کمیت با زمان تفاوت میکند. وقتی بعداً در جبر میآورید، واحدهای مقدار را میتوانید به متغیر تبدیل کنید. مقصود من این است که ذهن شما ابعادی را در کار بیاورد.
شاگرد۳: حرکت میانی هم در همین راست و بالا تعریف میشود؟ ممکن است هزار تا زاویه قابل تصور باشد.
استاد: یعنی حرکت مستقیم نباشد؟ ما فعلاً مستقیم فرض گرفتهایم. ما حرفی نداریم که در برخی از جاها پارامترها خمیدگی هم باشد. من اینطور عرض میکنم تا ذهن ما آشنا شود. یکی از مشکلترین چیزهایی که امروز هست…؛ هر جلسه یک مشکل را میگوییم. یکی مشکل چارچوب بود؛ «Frame problem»، یکی هم جعبه سیاه بود؛ «Black Box problem»، یکی از مشکلاتی که امروز عرض میکنم، مشکلی که از آن تعبیر به بُعدهای لعنتی میکنند؛ بُعدهای نفرین شده. یعنی گاهی این بُعدها به قدری سرسامآور میشود که بهخاطر لوازم عجیبی که برای آنها پیش آمده، اسم آن را بُعدهای لعنتی گذاشتهاند. مقصود من این است که ذهنمان با ازدیاد بُعد آشنا بشود. در این فضایی که گفتیم چطور میشود که بُعد زمان و سرعت دخالت میکند که بعداً وقتی میخواهیم فاصله را بسنجیم، آن پارامترها در تعیین فاصله بین دو بردار دخالت میکند.
شاگرد۴: فاصله دو بردار به نحوی که نیاز به انتگرالگیری باشد؟ یا فاصله دو نقطه مقصدشان منظور است؟
استاد: الآن فاصله مقصدها مد نظرم هست. نسبت به حرکتها عرض کردم که خاستگاه بردار، نیرو و حرکت و مکانیک کلاسیک بود. اما الآن دیگر اینطور نیست. آنجا فقط مقدار نیرو و جهت بود و کار درمیآمد. اما الآن که فقط با مقدار نیرو و جهت کار نداریم. ما با آرایهها و بردارهایی سرو کار داریم که مؤلفههای آن میتواند خیلی زیاد باشد. و لذا عرض کردم که فعلاً این لفظ "بردار" مانده است و الا الآن دیگر بردار نیست؛ الآن آن برداری که میگوییم، یک بستر است، یک کیسه و یک آرایه است که انسان باید به نحو تجریدی خودش، کمکم درک کند و از آن بردار به آن معنا فاصله بگیرد.
خب الآن زمان و مکان را هم دخالت دادیم، بعد میگوییم حالا که یک سنگ دو ساعت رفته، یک سنگ…؛ وقتی شما در پارامترها، زمان و مکان را میآورید، شما با جهت - مثل چپ و راست - کار دارید. ولو دو متری که قبلاً گفتیم کنار میرود. یعنی شما باید برای حرکت تعیین کنید که پارامتر اول مثبت است؛ یعنی دست راست است. پارامتر دوم مثلاً منفی است؛ یعنی به طرف پایین است. پارامتر سوم هم مشخص باشد و بَعد، زمان و مکان را بگویید. عدد پارامترها را میتوانیم بهصورت متغیر A+ یا +x بگذاریم.
شاگرد۵: زاویه را مشخص کنیم.
استاد: آن در مختصات قطبی است که زاویه میدهند. مختصات دکارتی، مختصات قائم است.
شاگرد۳: این فقط جهت را معین میکند.
استاد: بله، الآن زمان و سرعت دخالت کرد. برای اینکه بگوییم این موقعیت این دو سنگ کجا است تا فاصله دو سنگ را تعیین کنیم، باید همه اینها را در نظر بگیریم. همه این پنج-شش تا را باید در نظر بگیریم؛ سرعت، زمان حرکت، چپ و راست، بالا و پایین، جلو و عقب را باید در نظر بگیریم تا بگوییم وقتی سنگها به نقطه پایان حرکت رسیدند، فاصله آنها چقدر است. تعیین فاصله دو سنگ به همه اینها نیاز دارد و باید نگاه کنیم.
خب حالا وقتی این سنگها حرکت میکنند، بگوییم هر کدام سیر بیشتری میکنند قیمتشان کم میشود. این هم یک چیزی است. شما بعداً قیمت را هم برای همه این سنگها دارید. مقداری که سیر کرده با اینکه قیمتش چقدر کم شده است. الآن آخر کار به جای اینکه بگویید فاصله این دو سنگ چقدر است، قیمت را میگویید. تا حالا وقتی میگفتید فاصلۀ بین آن دو چقدر است، منظورتان فاصله فیزیکی و مکانی دو نقطه بود. اما حالا میگوییم فاصله قیمتی سنگ الف و سنگ ب چقدر است؟ اینجا دیگر کاری به مکان نداریم. یعنی در فضا، یک پارامتر دیگری اضافه کردید؛ مثلاً سرعت در ازدیاد یا نقصان قیمت دخالت دارد. یک سنگی است که وقتی حرکت کرد میگوییم قیمتش زیاد میشود. لازم نکرده همه اینها یک جور باشند؛ مثبت و منفی میشود. یک سنگی است که وقتی میرود، منفی میشود، یکی هم هست که وقتی میرود، بیشتر میشود. پارامتر ازدیاد قیمت نسبت به حرکتی که میکند هم دخیل میشود. حالا میگوییم فاصله سنگ الف نسبت به سنگ ب چقدر است. چه فاصلهای؟ فاصله قیمتی آنها چقدر است؟ وقتی این را میگویید، اصلاً ذهن شما سراغ نقطه فیزیکی و اینکه چقدر از هم دور هستند، نمیرود. شما مثالهای دیگری هم اضافه کنید.
این را برای چه عرض کردم؟ وقتی دو کمیت برداری دارید و میخواهید فاصله بین دو بردار را تعیین کنید، باید بگویید از چه حیث فاصله دارند. بردارها جورواجور و به حیثیات مختلف از هم فاصلهها دارند؛ فاصلههایی نسبت به حیثیت خاص. بعداً میبینید برای درک ظهور معانی و پردازش زبانی، خیلی اهمیت دارند؛ همان تعبیهای که الآن میخواهم عرض کنم.
به این فضایی که تا به حال ترسیم کردیم، فضای برداری میگویند. یعنی شما یک فضایی دارید که در این فضا نسبت به تعداد ابعاد و تعداد پارامترهایی که در کنار سنگ نوشتید، مطلب و اطلاعات دارید. اگر قیمت هم جزء آن هست - شما که نسبت به سنگها و حرکت آنها، یک فضای برداری دارید - یکی از چیزهایی که این بردارها وقتی در آن فضا دارند حرکت میکنند و بر اساس آن فاصله بین دو بردار را تعیین میکنید، فاصله قیمت بود. فاصله قیمت ربطی به فاصله مکانی نداشت. ولی فاصله قیمت دو بردار، باز هم در فضای برداری ما داخل است. چرا؟ چون ما که فضای برداری میگوییم، مقصودمان سه بُعد نیست. سه بُعد، شروع کار است. وقتی اینجا فضا میگوییم، یعنی فضای ابعادی. اگر ده بُعد است، فضای برداری ما هم ده بُعد دارد، نه همان سه بُعد اولیه. لذا الآن ذهن ما با ابعادی آشنا شد که معنایی بسیار وسیعتر از بُعد خطی به معنای طول و عرض و عمق دارد. با حیثیات مختلفی از ابعاد مواجه شده که این فضای برداری همه این حیثیات را سامان میدهد. یک فضای برداری داریم که صد بُعد دارد؛ بعدهای لعنتیای که گفتم پیش میآید؛ مثلاً یک پیکره زبانی را که دارید تحلیل میکنید، یک دفعه میبینید برای کلمه، یک بردار تشکیل میدهد به چه طول عجیب و غریبی که در بعضی از انواعش، بیشترش صفر است؛ تعبیه که این مطالب را به عنوان مقدمهای برای همین عرض میکنم.
شاگرد۶: اضافهی این فضای بردار چیست؟ یعنی بردار را همان طول و عرض میبینند؟
استاد: نه، این مثالهایی که گفتم، شروع کار بود. الآن با یک بردارهایی مواجه هستیم که اصلاً جلو و عقب و بالا و پایین ندارد. برداری است که در آن، قیمت و خریدار و کالا هست و اصلاً پیش و پس و بالا و پایین ندارد. متغیرهایی هست؛ مطلب مهمش همین است؛ یعنی در ادامه، وقتی یک بردار میگوییم، بردار یعنی اطلاعاتی که فعلاً عددی است و کنار یکدیگر ردیف شدهاند و یک نظمی دارند. این مهم است. فقط مثال زدم تا در ذهن شریفتان از هندسه و خط شروع کنیم. سنگهایی که مثال زدم، برای شروع بود و الا بعداً که میرویم، میبینید در بردار اصلاً کاری به این پارامترهای مکانی ندارید.
شاگرد۶: یعنی اضافه فضای برداری چه اضافهای است؟ توضیحی است؟
استاد: هر بردار، مؤلفههایی دارد. یعنی هر برداری، خودش یک نُرم دارد؛ انواع نُرمها هست. بعداً با انواع نُرمها، انواع فاصلهها به دست میآید. شما بین دو بردار، با نُرمهای مختلف، میگویید فاصله بین آن دو این اندازه است که یک عددی به شما میدهد. معنای این عدد، فاصله مکانی نیست. فاصلهای است که با یک فرمول به دست آمده است که البته فرمولهای مختلفی وجود دارد. مثلاً یکی از آنها، نُرم اقلیدسی است. شما با اِعمال یک فرمولی به یک عددی میرسید که عددِ این بردار میشود و بعداً فاصلهها را سنجش میکنید.
شاگرد۷: هر ویژگیای که قابلیت اختصاص دادن عدد به آن دارد، فضای برداری میشود؟ هر ویژگی که بتوان با عدد نشان داد.
استاد: هر متغیری که بتوان با یک چیزی نشان داد؛ ولو متغیر غیر عددی باشد؛ فعلاً اگر عدد باشد، خودش فی حد نفسه یک متغیر است و یک عددی را میپذیرد و این بُعدش صفر است.
شاگرد۸: فضای برداری میشود.
استاد: اگر ردیف شدند و اگر آرایه تشکیل دادند، بردار میشود.
شاگرد۴: قابل مقایسه با دیگری هستند.
استاد: اگر ماتریس تشکیل بدهند. ولی در خود بردار، لازم نیست که مقایسه صورت بگیرد. شما هر چیزی را میتوانید به بردار تبدیل کنید. واژه "طواف" را در نظر بگیرید. میبینید "طواف" نوشتهاند. بعد میبینید به ترتیب کنارش نوشته (3، 5، 20،300). میگوییم یعنی چه کنارش به ردیف این اعداد را نوشتهاند؟ میگویید عجب! عددهای کنارش، یعنی ما ۵۰ کتاب فقهی داریم؛ تعداد کاربرد واژه "طواف" در کتاب جواهر در باب طهارت اولی است و تعداد کاربرد واژه "طواف" در کتاب الصلاة دومی است. چرا زیاد شد و ۳۰۰ شد؟ بهخاطر کاربرد "طواف" در کتاب حج است. الآن ببینید این، اطلاعات "طواف" است. یعنی "طواف" را بهعنوان یک کلمه در یک پیکره زبانی که کتاب جواهر است، میبینید. کتاب جواهر یک پیکره (corpus) است. امروزه پیکره خیلی کاربرد دارد. پیکرهها مهمترین کارهایی است که در هوش مصنوعی انجام میدهند. الآن جواهر، یک پیکره زبانی است. شما واژه "طواف" را میآورید. اولاً واژههای پرکاربرد را حذف میکنید، واژههایی هم که نادر هستند، حذف میکنید و بینابین اینها را میآورید. شما الآن "طواف" را به یک بردار تبدیل کردهاید؛ بردار تکرارهای آن در کتب فقه. خود همین "طواف" دارای یک اطلاعاتی است.
برداری کردن مفاهیم کیفی
{00:39:06}
شاگرد۸: مثلاً حال خوش انسان را هم میتوانیم برداری کنیم؟
استاد: هیچچیز نیست که نشود.
شاگرد۸: تغییرات حال خوش انسان را میتوانیم برداری کنیم؟
استاد: اگر منظورتان آنالوگ و دیجیتال است، بحث جدای خودش را دارد.
شاگرد۸: تمام تغییرات کیفی را میتوان برداری کرد؟
استاد: قبلاً عرض کردم؛ اطلاعاتی داریم که سخت است و اطلاعاتی داریم که نَرم است. اطلاعات کیفی، از آن سنخ است. یعنی ساماندهی اطلاعات کیفی، تفاوت میکند با آنهایی که اطلاعات سخت و کمّی است. مثلاً یک چیز مهمی که کأنّه پیچ تاریخی در صوت بود این مسأله بود که ریخت صوت، آنالوگ است، با یک کاری، همین چیزی که متصل بود و پیوسته و آنالوگ بود، از پیوستگی درآوردند و آن را اسکالر کردند و دیجیتالش کردند. وقتی انتگرالگیری کنید؛ وقتی واحدها را بسیار ریز کنید تا [تعدادش] میل به بینهایت کند یا [اندازهاش] میل به صفر کند، در مواردیکه میخواهید نتیجهگیری کنید، در کیفیت هم پیاده میکنید. اما مواردی است که نمیشود. چرا؟ بحثهای جدائی دارد. فعلاً مبادی را به اندازهای عرض میکنم که میدانم. اینکه انواع کارها چیست، مفصل روی اینها مقاله نوشته شده و کار شده است که کدامش میشود، کدام نمیشود. کدام سخت است، کدام فازی است. کدام دو-ارزشی است.
شاگرد۹: الآن امواج مغزی در حالات مختلف انسان را دریافت میکنند. مثلاً اینکه وقتی خشمگین میشود، چه موجی از مغز میآید را رصد میکنند و همینها را به عدد تبدیل میکنند.
استاد: درست است. اصلاً یکی از چیزهای مهمی که ابتدای کار صورت گرفت، اولین مدلی بود که در شبکه اتصالگرایی و شبکه عصبی به دنبالش رفتند؛ «perceptron» میگویند. جالب است. اولاً یک-جهتی است. اتفاقاً شروع کارشان از این ایده بود که گفتند دماغ انسان و کاری که خدای متعال در مغز انسان قرارداده و انجام میدهد، اتفاقاً خود آن صفر و یکی است، نه متصل و پیوسته. شروع کارش از اینجا بود. یعنی اصلاً لازم نیست که تبدیل کنند. اگر بسیار دقیق باشد که بتواند به جزء لایتجزای عملیة الدماغ دسترسی پیدا کند، میبیند امواجی که میآید، خودش کوانتائی است، یعنی مضرب عدد صحیح است، نه پیوسته که شما بتوانید تا آخر کار، تا بینهایت تقسیمش کنید. اینها این مدل را شروع کردند. البته بعدش مدلهای غیر پیش رونده، بازگشتی و تکرارشونده را آوردهاند. در یکی از اینها دیدم، وقتی زبان پیاده شده بود، 25 نوع مدل شبکه عصبی بود که مرتب هم دارد اضافه میشود؛ فکر روی فکر است. منظورم این بود: باز باید برسیم و ببینیم مبادی آن چیست. الآن که تبدیل میکنند، ممکن است تبدیل صورت بگیرد، اما در واقع تبدیل هست یا نیست؟ کارهایی که دماغ انجام میدهد، ظاهراً الآن واضح است که هم کارهای شیمیایی میکند و هم کارهای صفر و یکی و هم کارهای امواجی.
چیزی که امروز عرض کردم این بود: ما میتوانیم یک چیز را دلدار کنیم. شما به یک کلمه، یک عدد نسبت میدهید و وقتی این عدد را باز میکنید میبینید یک نُرم یک بردار است. یعنی مثلاً یک فرمول را روی هزارتا بُعد اعمال کردید، خروجی این فرمول یک عدد شده است که میگویید این، وزن این بردار است. یعنی خروجی اِعمال خیلی از چیزها است. حالا چه شد؟ مثلاً کلمه "طواف" در کل فقه وزنش این است؛ یعنی روی کل عددهایی که روی بردار "طواف" در کتاب جواهر بود، یک فرمول روی آن اعمال میکنید که یک خروجی به شما میدهد که میگویید این، وزن عدد طواف در پیکره جواهر است. این بسیار مهم است.
شاگرد۳: آیا میتوان گفت ریخت و قواره آن با وضعهای قدیمیتر یکی است؟ مثلاً یک لغت که وضع است، دارد یک معنا را اندازهگیری میکند و برای آن یک ما به ازاء قرار میدهد که این مختصات معنایی را برای شما تداعی کند یا یک حقیقت خارجی یا علَم. این شبیه یک کدگذاری برای انتقال به یک معنا است.
استاد: حالا معنا را فعلاً زود است در کار بیاوریم. اینها را که توضیح دادم، در فضای توضیح «LLM» بود، یعنی مدل زبانی بزرگ. اینها توضیحاتی است که مقدمه آن است. وقتی معنا را در کار میآورید، چند تا مسأله پیش میآید. در همین فضای آماری، یک جور با فضای برداری به هم نزدیک میشوند و معنا را نشان میدهند. اما همینجا در یک جور دیگری از معناشناسی میروید. آنجا هم باید جدا صحبت کنیم. «LCM» را هم تازه معرفی کردهاند. مخفف «Large Concept Model» است. مدل مفهومی بزرگ. یعنی در این مدلی که عرض میکنم، کلمات وزن پیدا میکند. لذا حدسی که زبان میزند کلمه به کلمه است، توکن توکن است، اما حدسی که مدل بعدی میزند جمله جمله و مفهوم مفهوم است. شما یک مفهوم و زیرساختی را از جمله درک میکنید، حدس میزنید که چند چیز دیگر از مفاهیم در ضمن یک جمله ممکن است قبل یا بعد از آن آمده باشد؛ معنا و انواعش و حدس زدنهای معنا...
قبلاً عرض کردم یک اشارهگرهایی به نمادهای صاحب معنا مطرح است. الآن اقتراب برای مبنای آماری است، تا حالا بعداً به آن معنا بدهیم یا نه. اما آنچه که من عرض کردم، چیز دیگری بود که نمیدانم روی آن کار کردهاند یا نه. عرض کردم که ما میتوانیم برای هر کدام از مفهوم انسان با زید و عمرو، نمادگذاری کنیم که در آخر کار هم برای مجموعش یک نماد میتوان گذاشت. وقتی شما یک اشارهگر به زید دارید، در دل این اشارهگر، انسانیت او هم تعبیه شده است. تعجب او هم تعبیه شده، قوه کاتبیت او هم تعبیه شده و …. این یک فضای دیگری میشود. ولو بازگشت این به سائرین هم میشود.
والحمد لله رب العالمین