مجموعههای فازی از تعمیم نظریهٔ کلاسیک مجموعهها حاصل میآید که در منطق فازی کاربرد دارد. این مجموعهها توسط پرفسورعسکرزاده ابداع گردید که در جامعه علمی معروف به لطفی آ. زاده است.
مجموعه فازی
مجموعه فازی براساس تابع عضویت تعریف می شود که تصویر مجموعه فراگیر دربازه[صفر ویک] است.
هریک ازاعضادرجه عضویت دارند .مجموعه فازی ازتعمیم وعمومیت دادن تئوری مجموعههای کلاسیک ایجاد شد.در تئوری مجموعههاکلاسیک ،عضویت اعضا در یک مجموعه به صورت جملات باینری بر اساس شرط دودوئی تعیین میشوند یک عضو یا به مجموعه تعلق دارد یا ندارد.در حالی که در تئوری فازی درجات نسبی عضویت اعضا در مجموعه مجاز است.
تابع ودرجه عضویت
تابع عضویت تابعی است از تصویرمجموعه کلی به Ù نسبت به بازه بسته [0،1]. مجموعه فازیA با تابع عضویت φA در U تعریف شده است.
عددی که تابع به هر عضو ارزشدهی می نماید درجه عضویت آن عضو در آن مجموعه را مشخص می سازد.اگر درجه عضویت یک عنصر از مجموعه برابر با صفر باشد آن عضو کاملا از مجموعه خارج است واگر درجه عضویت یک عضو برابر با یک باشدآن عضو کاملا در مجموعه قرار دارد می توان نتیجه گرفت مجموعه کلاسیک یک حالت مجموعهفازی یعنی زیرمجموعه مجموعه بازی است .و حال اگر درجه عضویت یک عضو مابین صفر ویک باشد این عدد بیانگر درجه عضویت تدریجی می باشد .
ازلحاظ مفهومی در ضمن می تواند هر مجموعه بصورت تداخلی با درجه ای در مجموعه دیگر قرار گیرد. مثلا در متغیر زبانی سن صفت جوانی را مد نظر بگیریم حال با توجه به انتخاب تابع عضویت مانند گاوسیان صفت میان سالی با درجه عضویت کم می تواند در مجموعه صفت جوانی قرار گیرد و صفت پیری نیز با درجه عضویت کمتری درمجموعه صفت جوانی ظاهر می شود.
عضو پشتيبان
اعضای ازمجموعه اصلی اند برای آنها درجه عضویت غیر صفر براساس تابع عضویت تعیین می گردد درواقع حامی وپشتیبان مجموعه فازی اند.
برش آلفا
مجموعه ای از تمام عناصر مربوط به دامنه ای از مجموعه اصلی با درجه ی عضویت آلفا
كانون
اعضای ازمجموعه اصلی اند برای آنها درجه عضویت براساس تابع عضویت برابر "یک" ارزشدهی می شوند
بلندي
دامنه فوقانی درجات عضویت را گویند درحالت استاندارد برابر"یک" است.
مجموعه مساوی یاتراز
مجموعه ای که درجات عضویت آن بادرجات عضویت مجموعه موردنظر برابراست.
زیرمجموعه
مجموعه ای که تمامی درجات عضویت آن ازدرجات عضویت مجموعه موردنظر کمتراست.
مجموعه تهی فازی
مجموعه مجموعه فازی Φ است که برای تمامی عناصر آن،ارزش تابع عضویت صفر باشد .
اعمال اساسی مجموعهها
- اجتماع: اگر B,A دو مجموعه دلخواه باشند. اجتماع B,A برابر است با ماکزیمم تابع عضویت مجموعه B,A و آن را به صورتφA∪B(x) نشان میدهیم.
φA∪B(x) = max(φA(x),φB(x))
- اشتراک: اگر B,A دو مجموعه دلخواه باشند آنگاه اشتراک آنها برابر است با مینیمم تابع عضویت مجموعه B,A و آن را به صورت A∩B نشان میدهند.
φA∩B(x) = min(φA(x),φB(x))
- متمم: اگر S یک مجموعه باشد و A زیر مجموعهای از آن باشد. آن متمم مجموعهA حاصل کسر تمام اعضای A ازیک است و آن را با Ā یا φnot A(x) نشان میدهند.
φnot A(x) = 1-φA(x))
خواص اعمال مجموعهای
اعمال مجموعهای که عبارتند از اجتماع ، اشتراک ، تفاضل و متمم دارای خواص زیرند. بافرض φAو φB و φC به ترتیب توابع عضویت برای مجموعه های فازیAو BوC از مجموعه کل p باشد:
x = φA(p), y = φB(p) z = φC(p)
خاصیت جابجایی اجتماع :A ∪ B = B ∪ A در مجموعه فازی Max(A,B)=Max(B,A) خاصیت جابجایی اشتراک A∩B = B∩A در مجموعه فازی Min(A,B)=MIN(B,A)
- شرکت پذیرند. (AUB)UC = AU(BUC)
- توزیع پذیرند. (A∩(BUC) = (A∩B) U (A∩C و یا (AU(B∩C) = (AUB) ∩ (AUC
max(x,max(y,z)) = max(max(x,y),z)
min(x,min(y,z)) = min(min(x,y),z)
- متمم متمم هر مجموعه مساوی خود آن مجموعه است:
1 - (1 - x) = x
- اشتراک هر مجموعه با متممش برابر تهی نیست و اجتماع آنها باهم برابر مجموعه عناصر (S) نمیباشد.
- قوانین دمورگان (´AUB)´ = (A´∩B) و یا (´A∩B)´ = (A´UB)
تفاوت مجموعه کلاسیک و مجموعه فازی
دلیل اصلی تقسیم بندی مجموعه کلاسیک و مجموعه فازی با وجود تشابهات خاص، عدم تبعیت بعضی از قوانین است:
- در تئوری مجموعه فازی توابع عضویت بکار می رود .
- اشتراک مجموعه با متممش خالی نیست. ( نفی قانون «طرد شق ثالث» یا «استحالة ارتفاع نقیضین The law of excluded middle)
- اجتماع مجموعه با متممش برابربایک مجموعه کل نیست. نفی قانون عدم تضاد contradiction
مثالها
خود لطفی زاده مثال خوبی از تعریف تابع عضویت در مجموعه فازی است. تعیین قومیت لطفی زاده تاحدی سخت است. پدر او یک ترک ایرانی (آذربایجانی) و مادرش روسی یهودی بود. پدر او یک روزنامه نگار مشغول به کار در باکو ، جمهوری آذربایجان در اتحاد جماهیر شوروی سابق بود. او به عنوان یک خبرنگار برای روزنامه های ایران خدمت کرده است در حالی که خرید و فروش تجارت صادرات و واردات نیزمی کرد. مادر او پزشک متخصص اطفال بود. لطفی زاده در باکو در سال 1921 متولد شد و در آنجا زندگی می کردند تا خانواده در سال 1931 به تهران منتقل شد دبیرستان ودانشگاه در ایران تمام کرد ولی فوق لیسانس ودکتری را در ایالات متحده خواند.
حتی نام لطفی در حال حاضر به درجه ای از عدم قطعیت موضوع دارد. هجی درست لطفیعلی عسکرزاده است ، اما مورداشتباه املائی LOFTI از معکوس بودن F و T حتی در کتاب های نوشته شده در موردمنطق فازی آورده شده است. درجستجوی گوگل نیز برای "lofti zadeh" و"lotfi zadeh"، به ترتیب 254,000 و 223,000 مورد پیدا می شود با توجه به سیستم هوشمند موتور جستجوی گوگل احتمالامورداولی شامل دومی نیز است.
در علوم طبیعی اکثر مواد مرکبند و مواد خالص طبیعی کمتر یافت می شود وپس مجموعه اجزای موادطبیعی درجات عضویتی فازی بودن دارند و مرزهادر نفشه های طبیعی مانند زمین شناسی و خاکشناسی تدریجی اند .