در این پایان نامه روش جدیدی برای قطعی سازی اتوماتای متناهی فازی با درجه عضویت در مشبکه های مانده ای کامل ارائه می شود. در مقایسه با روش های پیشین که توسط بلهولاوک [2] ، لی و پدریسز [18]بررسی گردیده، در این روش اتوماتای کوچکتری مورد بررسی قرار می گیرد. در برخی شرایط که در روش های قبلی نتیجه روی اتوماتای نامتناهی حاصل می شد، در این روش نتیجه روی اتوماتای متناهی حاصل می شود. در ادامه نشان می ده...

نظریه ی مایهیل- نرود شاخه ای از نظریه ی جبری زبان ها و اتوماتاست که در آن زبان های معمولی و اتوماتای قطعی توسط همنهشتی های راست و همنهشتی های روی یک تک وار آزاد بررسی می شوند. در این پایان نامه نظریه ی مایهیل-نرود نمونه را برای زبان های فازی با درجه ی عضویت در یک مجموعه ی دلخواه با دو مولفه ی مجزای 0 و 1 بررسی می کنیم. همچنین ارتباط بین توسیع پذیری زبان های فازی نسبت به همنهشتی های راست و همنهش...

در این پایان نامه مفاهیم روابط فازی یکنواخت و ‏‎ f‏-توابع‎ ‎‏ یکنواخت (جزئی‎) ‎را‎ ‎معرفی و مطالعه خواهیم کرد. ‏مشخصات و ساختار گوناگونی از روابط فازی یکنواخت و ‏‎ f‏-توابع‎ ‎‏ یکنواخت ارئه می دهیم. نشان می دهیم که ‏ترکیب معمولی روابط فازی برای‎ f‏-توابع‎ ‎یکنواخت مناسب نمی باشد و نوع دیگری از ترکیب را معرفی می کنیم ‏و یک تناظر دوسویی بین ‏‎ f‏-توابع‎ ‎ ‎‎‎یکنواخت و هم ارزی های فازی بیان می کنیم.‏

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