تبليغاتX
math world (جهان ریاضی)

رياضيات فازي يک فرا مجموعه از منطق بولي است که بر مفهوم درستي نسبي، دلالت مي کند. منطق کلاسيک هر چيزي را بر اساس يک سيستم دوتائي نشان مي دهد ( درست يا غلط، 0 يا 1، سياه يا سفيد) ولي منطق فازي درستي هر چيزي را با يک عدد که مقدار آن بين صفر و يک است نشان مي دهد. مثلاً اگر رنگ سياه را عدد صفر و رنگ سفيد را عدد 1 نشان دهيم، آن گاه رنگ خاکستري عددي نزديک به صفر خواهد بود. در سال 1965، دکتر لطفي‌زاده نظريه سيستم‌هاي فازي را معرفي کرد. در فضايي که دانشمندان علوم مهندسي به دنبال روش‌هاي رياضي براي شکست دادن مسايل دشوارتر بودند، نظريه فازي به گونه‌اي ديگر از مدل‌سازي، اقدام کرد.

منطق فازي معتقد است که ابهام در ماهيت علم است. بر خلاف ديگران که معتقدند که بايد تقريب‌ها را دقيق‌تر کرد تا بهره‌وري افزايش يابد، لطفي‌زاده معتقد است که بايد به دنبال ساختن مدل‌هايي بود که ابهام را به عنوان بخشي از سيستم مدل کند. در منطق ارسطويي، يک دسته‌بندي درست و نادرست وجود دارد. تمام گزاره‌ها درست يا نادرست هستند. بنابراين جمله «هوا سرد است»، در مدل ارسطويي اساساً يک گزاره نمي‌باشد، چرا که مقدار سرد بودن براي افراد مختلف متفاوت است و اين جمله اساساً هميشه درست يا هميشه نادرست نيست. در منطق فازي، جملاتي هستند که مقداري درست و مقداري نادرست هستند. براي مثال، جمله "هوا سرد است" يک گزاره منطقي فازي مي‌باشد که درستي آن گاهي کم و گاهي زياد است. گاهي هميشه درست و گاهي هميشه نادرست و گاهي تا حدودي درست است. منطق فازي مي‌تواند پايه‌ريز بنياني براي فن‌آوري جديدي باشد که تا کنون هم دست‌آورد‌هاي فراواني داشته است.

 کاربردها:

از منطق فازي براي ساخت کنترل کننده هاي لوازم خانگي از قبيل ماشين رختشويي (براي تشخيص حداکثر ظرفيت ماشين، مقدار مواد شوينده، تنظيم چرخهاي شوينده) و يخچال استفاده مي شود. کاربرد اساسي آن تشخيص حوزه متغيرهاي پيوسته است. براي مثال يک وسيله اندازه گيري دما براي جلوگيري از قفل شدن يک عايق ممکن است چندين عضو مجزا تابعي داشته باشد تا بتواند حوزه دماهايي را که نياز به کنترل دارد به طور صحيح تعريف نمايد. هر تابع، يک ارزش دمايي مشابه که حوزه آن بين 0 و 1 است را اختيار مي کند. از اين ارزشهاي داده شده براي تعيين چگونگي کنترل يک عايق استفاده مي شود.

حال با مثال ديگري اهميت اين علم را بيشتر درک مينمائيم:

يک انسان در نور کافي قادر به درک ميليونها رنگ ميباشد.ولي يک روبوت چگونه ميتواند اين تعداد رنگ را تشخيص دهد؟ حال اگر بخواهيم روباتي طراحي کنيم که قادر به تشخيص رنگها باشد از منطق فازي کمک ميگيريم و با اختصاص اعدادي به هر رنگ آن را براي روبوت طراحي شده تعريف ميکنيم.

از کاربردهاي ديگر منطق فازي ميتوان به کاربرد اين علم در صنعت اتومبيل سازي(در طراحي سيستم ترمز ABS و کنترل موتور براي بدست آوردن بالاترين راندمان قدرت)،در طراحي بعضي از ريزپردازنده ها و طراحي دوربينهاي ديجيتال اشاره کرد

 

نوشته شده توسط دادمنش  در ساعت 10:13 | لینک  | 

 

ابتدا به چند تعریف زیر توجه کنید.
منطق کلاسیک: منطقی ست که در آن گزاره ها فقط ارزش راست یا دروغ دارند که آنرا منطق
۰ و ۱ می نامند.
منطق چند مقداره: منطقی که علاوه بر
۰ و ۱ چند مقدار دیگر را نیز اختیار می کند.
منطق بینهایت مقداره: در این منطق ارزش گزاره ها می تواند هر عدد حقیقی بین
۰ تا ۱ باشد.
منطق فازی: نوعی از منطق بینهایت مقداره و در حقیقت یک ابتکار برای بیان رفتار مطلوب سیستم ها با استفاده از زبان روزمره. در واقه منطق فازی یک منطق پیوسته است که از استدلال تقریبی بشر الگوبرداری کرده است.
جایگاه منطق در برداشت از قرآن کریم
منطق صحیح و مناسب به عنوان مبنا و زیربنای فکری در علوم و بویژه در علوم اسلامی نقش اساسی دارد. از این رو تفسیر برخی آیات قرآن بدلیل عدم استفاده از منطق مناسب امکان پذیر نیست. آیات بسیاری در قرآن از مخاطب برهان و دلیل تقاضا کرده است که نشان از حاکم بودن منطق در قرآن است. زیرا بدون منطق نمی توان برهان آورد و استدلال استنتاج نمود. برای نمونه می توانید به آیات
۱۱۱ بقره - ۱۰۴ و ۱۰۵ اعراف - ۲۴ انبیا - ۱۷۴ نسا و .... مراجعه کنید. پس تقریبا جایگاه منطق قرآن برایمان روشن است.
منطق قرآن نمی تواند دو ارزشی باشد. به مثال زیر توجه کنید:
در آیه
۴۵ سوره عنکبوت آمده است: ... ان الصلوه تنهی عن الفحشا و المنکر ... - یعنی همانا نماز است که اهل نماز را از هر کار زشت و منکر باز می دارد. اگر به صورت جمله منطقی این مطلب را بیان کنیم داریم: اگر فردی نماز بجای می آورد آنگاه آن فرد از هر کار زشت و منکر باز داشته می شود. حال سوال اینست که اغلب افراد نماز بجا می اورند ولی بعضی اعمال که خود فحشا و منکرند نیز مرتکب می شوند. توجیه این عمل چیست؟  پاسخ این است که نماز خواندن یک مفهوم بینهایت ارزشیست. یعنی ارزش نماز اغلب نمازگزاران بین صفر و یک است. از طرف دیگر دوری از فحشا و منکر نیز می تواند بینهایت ارزشی باشد. یعنی ممکن است یک فرد مرتکب فحشا کوچک و یا متوسط و یا بزرگ و یا خیلی بزرگ شود. به عبارت دیگر اعمال منکر یا فحشا درجات بسیار زیاد دارند. لذا براساس یک منطق فازی می توان نتیجه گرفت که اگر درجه قبولی نماز یک فرد فرضا ۵۰٪ باشد این فرد حداقل به اندازه ۵۰٪ از فحشا و منکر به دور است و هر چقدر درجه قبولی نماز افزایش یابد حداقل به همان اندازه از فحشا و منکر دور می شود. تا جاییکه اگر درجه قبولی ۱۰۰٪ باشد این فرد ۱۰۰٪ از فحشا و منکر به دور است.برای اثبات این حرف به زندگی امامان و معصومین توجه کنید.
برای مثال هایی دیگر از این دست می توان به آیه الا بذکر الله تطمئن القلوب نیز اشاره کرد. گزاره شرطی این آیه را می توان به صورت "اگر انسان خداوند را یاد کند آنگاه به آرامش می رسد" بیان کرد. از شما می خوام که تحلیلی فازی برای این آیه بیان کنید....



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

نوشته شده توسط دادمنش  در ساعت 18:3 | لینک  | 

 

دکتر لطفعلی زاده

از آن زمان كه انسان انديشيدن را آغاز كرد، همواره كلمات و عباراتى را بر زبان جارى ساخته كه مرزهاى روشنى نداشته اند. كلماتى نظير «خوب»، «بد»، «جوان»، «پير»، «بلند»، «كوتاه»، «قوى»، «ضعيف»، «گرم»، «سرد»، «خوشحال»، «باهوش»، «زيبا» و قيودى از قبيل «معمولاً»، «غالباً»، «تقريباً» و «به ندرت». روشن است كه نمى توان براى اين كلمات رمز مشخصى يافت، براى مثال در گزاره «على باهوش است» يا «گل رز زيباست» نمى توان مرز مشخصى براى «باهوش بودن» و «زيبا بودن» در نظر گرفت. اما در بسيارى از علوم نظير رياضيات و منطق، فرض بر اين است كه مرزها و محدوده هاى دقيقاً تعريف شده اى وجود دارد و يك موضوع خاص يا در محدوده آن مرز مى گنجد يا نمى گنجد. مواردى چون همه يا هيچ، فانى يا غيرفانى، زنده يا مرده، مرد يا زن، سفيد يا سياه، صفر يا يك، يا «اين» يا «نقيض اين» . در اين علوم هر گزاره اى يا درست است يا نادرست، پديده هاى واقعى يا «سفيد» هستند يا «سياه» .
اين باور به سياه و سفيدها، صفر و يك ها و اين نظام دو ارزشى به گذشته بازمى گردد و حداقل به يونان قديم و ارسطو مى رسد. البته قبل از ارسطو نوعى ذهنيت فلسفى وجود داشت كه به ايمان دودويى با شك و ترديد مى نگريست. بودا در هند، پنج قرن قبل از مسيح و تقريباً دو قرن قبل از ارسطو زندگى مى كرد. اولين قدم در سيستم اعتقادى او گريز از جهان سياه و سفيد و برداشتن اين حجاب دوارزشى بود. نگريستن به جهان به صورتى كه هست. از ديد بودا جهان را بايد سراسر تناقض ديد، جهانى كه چيزها و ناچيزها در آن وجود دارد. در آن گل هاى رز هم سرخ هستند و هم غيرسرخ. در منطق بودا هم A داريم هم نقيض A. در منطق ارسطو يا A داريم يا نقيض A منطق (A يا نقيض A) در مقابل منطق (A و نقيض A). منطق اين يا آن ارسطو در مقابل منطق تضاد بودا.

منطق ارسطو اساس رياضيات كلاسيك را تشكيل مى دهد. براساس اصول و مبانى اين منطق همه چيز تنها مشمول يك قاعده ثابت مى شود كه به موجب آن يا آن چيز درست است يا نادرست. دانشمندان نيز بر همين اساس به تحليل دنياى خود مى پرداختند. گرچه آنها هميشه مطمئن نبودند كه چه چيزى درست است و چه چيزى نادرست و گرچه درباره درستى يا نادرستى يك پديده مشخص ممكن بود دچار ترديد شوند، ولى در يك مورد هيچ ترديدى نداشتند و آن اينكه هر پديده اى يا «درست» است يا «نادرست».

هر گزاره، قانون و قاعده اى يا قابل استناد است يا نيست. بيش از دو هزار سال است كه قانون ارسطو تعيين مى كند كه از نظر فلسفى چه چيز درست است و چه چيز نادرست. اين قانون «انديشيدن» در زبان، آموزش و افكار ما رسوخ كرده است.

منطق ارسطويى دقت را فداى سهولت مى كند. نتايج منطق ارسطويى، «دوارزشى»، «درست يا نادرست»، «سياه يا سفيد» و «صفر يا يك» مى تواند مطالب رياضى و پردازش رايانه اى را ساده كند. مى توان با رشته اى از صفر و يك ها بسيار ساده تر از كسرها كار كرد. اما حالت دوارزشى نيازمند انطباق ورزى و از بين بردن زوايد است. به عنوان مثال هنگامى كه مى پرسيد: آيا شما از كار خود راضى هستيد؟ نمى توان انتظار جواب بله يا خير داشت، مگر آنكه با تقريب بالايى صحبت كنيد. «سورن كيركگارد» فيلسوف اگزيستانسياليست، در سال 1843 كتابى در رابطه با تصميم گيرى و آزاد انديشى به نام «يا اين يا آن» نوشت. او در اين كتاب بشر را برده كيهانى انتخاب هاى «دودويى» در تصميم گيرى هايش ناميد. تصميم گيرى به انجام يا عدم انجام كارى و تصميم گيرى درباره بودن يا نبودن چيزى.

گرچه مى توان مثال هاى فراوانى را ذكر كرد كه كاربرد منطق ارسطويى در مورد آنها صحيح باشد، اما بايد توجه داشت كه نبايد آنچه را كه تنها براى موارد خاص مصداق دارد به تمام پديده ها تعميم داد. در دنيايى كه ما در آن زندگى مى كنيم، اكثر چيزهايى كه درست به نظر مى رسند، «نسبتاً» درست هستند و در مورد صحت و سقم پديده هاى واقعى همواره درجاتى از «عدم قطعيت» صدق مى كند. به عبارت ديگر پديده هاى واقعى تنها سياه يا تنها سفيد نيستند، بلكه تا اندازه اى «خاكسترى» هستند. پديده هاى واقعى همواره «فازى»، «مبهم» و «غيردقيق» هستند. تنها رياضى بود كه سياه و سفيد بود. اين خود چيزى جز يك سيستم مصنوعى متشكل از قواعد و نشانه ها نبود. علم واقعيت هاى خاكسترى يا فازى را با ابزار سياه و سفيد رياضى به نمايش مى گذاشت و اين چنين بود كه به نظر مى رسيد واقعيت ها نيز تنها سياه يا سفيد هستند. بدين ترتيب در حالى كه در تمامى جهان حتى يك پديده را نمى توان يافت كه صددرصد درست يا صددرصد نادرست باشد، علم با ابزار رياضى خود همه پديده هاى جهان را اين طور بيان مى كرد. در اين جا بود كه علم دچار اشتباه شد. در منطق ارسطويى حالت ميانه اى وجود ندارد و شيوه استدلال «قطعى و صريح» است. از طرف ديگر رياضيات فازى بر پايه استدلال تقريبى بنا شده كه منطبق با طبيعت و سرشت سيستم هاى انسانى است. در اين نوع استدلال، حالت هاى صفر و يك تنها مرزهاى استدلال را بيان مى كنند و در واقع استدلال تقريبى حالت تعميم يافته استدلال قطعى و صريح ارسطويى است.

در سال 1965، دکتر لطفی‌زاده نظریه سیستم‌های فازی را معرفی کرد. در فضایی که دانشمندان علوم مهندسی به دنبال روش‌های ریاضی برای شکست دادن مسایل دشوارتر بودند، نظریه فازی به گونه‌ای دیگر از مدل‌سازی، اقدام کرد.

منطق فازى، يك جهان بينى جديد است كه به رغم ريشه داشتن در فرهنگ مشرق زمين با نيازهاى دنياى پيچيده امروز بسيار سازگارتر از منطق ارسطويى است. منطق فازى جهان را آن طور كه هست به تصوير مى كشد. بديهى است چون ذهن ما با منطق ارسطويى پرورش يافته، براى درك مفاهيم فازى در ابتدا بايد كمى تامل كنيم، ولى وقتى آن را شناختيم، ديگر نمى توانيم به سادگى آن را فراموش كنيم. دنيايى كه ما در آن زندگى مى كنيم، دنياى مبهمات و عدم قطعيت است. مغز انسان عادت كرده است كه در چنين محيطى فكر كند و تصميم بگيرد و اين قابليت مغز كه مى تواند با استفاده از داده هاى نادقيق و كيفى به يادگيرى و نتيجه گيرى بپردازد، در مقابل منطق ارسطويى كه لازمه آن داده هاى دقيق و كمى است، قابل تامل است.

 

 

نوشته شده توسط دادمنش  در ساعت 13:51 | لینک  | 
 

Powered By: BLOGFA.COM