دانلود پروژه کاربرد منطق فازی به فارسی - فایل ورد

اختصاصی از فایلکو دانلود پروژه کاربرد منطق فازی به فارسی - فایل ورد دانلود با لینک مستقیم و پر سرعت .

دانلود پروژه کاربرد منطق فازی به فارسی - فایل ورد 

تحقیق در مورد منطق محاسباتی

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

لینک پرداخت و دانلود *پایین مطلب *   فرمت فایل :Word ( قابل ویرایش و آماده پرینت )    تعداد صفحه:39

فهرست:

منطق محاسباتی

مقدمه

پایه‌ی منطق محاسباتی

پایه‌ی ریاضی 

3-1 STRIPS

آینده منطق محاسباتی

مراجع

ابعاد فلسفی

خلاصه

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

1- مقدمه

منطق محاسباتی[1] بخشی از منطق است که به بررسی راهکارهای محتلف بررسی درستی احکام در دستگاه‌های مختلف منطقی میپردازد. این رشته به طور عمیقی با علوم کامپیوتر پیوند یافته است و به صورت کلی رشد واقعی آن از وقتی شروع شد که توان محاسباتی کامپیوترها پیشرفت کرد و انجام محاسبات پیچیده بوسیله کامپیوترها با هزینه کم امکان پذیر شد. منطق محاسباتی به صورت کلی به منطق از دید محاسباتی آن مینگرد. این که در یک دستگاه منطقی انجام یک محاسبه (به طور مثال چک کردن درستی یک گزاره) امکان پذیر هست یا نه و اگر امکان پذیر است این کار چه هزینه ای دارد. از آنجا که حقایق علمی ما با منطق پیوند عمیقی دارند، برای بررسی این حقایق استفاده از زبان منطقی، یکی از بهترین راه های ممکن است.

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

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

1. پایه‌ی منطق محاسباتی

تمام موارد مرتبط با منطق محاسباتی احتیاج به پایه‌ای برای بنا کردن ساختارهایی معنا دار برای تو

[1] Computational Logic                                                                                                                                           

پایان نامه آماده: بررسی تئوری صدق از نظر منطق دانان و فیلسوفان غربی و مسلمان - 189 صفحه فایل ورد word

اختصاصی از فایلکو پایان نامه آماده: بررسی تئوری صدق از نظر منطق دانان و فیلسوفان غربی و مسلمان - 189 صفحه فایل ورد word دانلود با لینک مستقیم و پر سرعت .

1-2 تعریف مسأله

ما در این رساله به بحث اخیر یعنی مسأله صدق و بیان ماهیت و ملاک آن از دیدگاه منطق دانان مسلمان و حتی منطق دانان غربی می پردازیم و هر کدام را مورد نقد و بررسی قرار می دهیم.

نظریه هایی که در این رساله به بررسی آنها می پردازیم: عبارتند از:

1- نظریه مطابقت  The correspondence theory of truth

2- نظریه هماهنگی یا (سازگاری) The coherence theory of truth

3- نظریه عمل گرایانه The pragmatic theory of truth

4- نظریه زیادتی The redundancy theory of truth

5- نظریه غیر توصیفی The Non-Descriptive theory of truth

6- نظریه سمانتیکی صدق Semantic theory of truth

1-3 سئوال های اصلی تحقیق

1- کدام یک از نظریه های صدق نزد منطق دانان و فیلسوفان مسلمان رایج بوده است.

2- رابطه نظریه های صدق با نظریه وجود ذهنی در فلسفه اسلامی چیست؟

3- فیلسوفان اسلامی علاوه بر بحث وجود ذهنی در چه مباحثی به نظریه‌های صدق پرداخته اند.

4- آیا نظریه مطابقت برای ملاک صدق کافی است؟

5- موضوع یا متعلق با لذات صدق و کذب در نزد منطق دانان مسلمان چه چیزی است؟

6- آیا تنها قضایای اخباری متعلق صدق و کذب قرار می گیرند یا اموری دیگری هم هستند که قابل ارزش گذاری هستند. اگر اموری هم به صدق و کذب متصف می شوند این اتصاف بالذات است یا بالعرض؟

7- مشکلات نظریه مطابقت و دیگر نظریه های صدق کدامند؟

1-4- فرضیه های تحقیق

1- نظریه مطابقت رایج ترین نظریه نزد منطق دانان و فیلسوفان مسلمان بوده است.

2- نظریه مطابقت صدق به تنهایی به عنوان ملاک صدق قضایا کافی نیست.

3- نظریه مطابقت از مبانی نظریه وجود ذهنی در فلسفه اسلامی است.

4- فیلسوفان اسلامی در بحث علم و عالم و معلوم اجمالاً به این بحث پرداخته اند.

1-5 – هدف های تحقیق:

1- استخراج دیدگاههای منطق دانان و فیلسوفان مسلمان در مورد نظریه‌های صدق

2- تطبیق نظریه های صدق در منطق اسلامی و غربی

3- انجام یک کار پژوهشی مستقل در باب نظریه های صدق

1-6 روش تحقیق

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

1-7 – سابقه تحقیق:

1- در مورد نظریه های صدق در فرهنگ فلسفی و منطقی ما کار مستقلی انجام نشده است.

2- بسیاری از کارهای انجام شده در این مسأله توسط منطق دانان غربی بوده به ویژه در کتابهای فلسفه منطق بطور مجزا به آن پرداخته اند.

3- به نظر می رسد یک کار پژوهشی مستقل جهت مقایسه نظریه های صدق در منطق اسلامی و غربی انجام نشده و لذا چنین پژوهشی از اهمیت خاصی برخوردار است. 

دانلود پاورپوینت منطق فازی و سیستم های فازی

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

این محصول پاورپوینتی در مورد منطق فازی و سیستم های فازی شاما موارد زیر است

• منطق کلاسیک
• تاریخچه
• مجموعه

دانلود پایان نامه منطق فازی

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

در این مقاله به بررسی شیوه های جدید تشخیص عیوب که بر مبنای منطق فازی استوار هستند می پردازیم. منطق فازی یکی از شاخه های جدید علم است که در سال 1965 توسط پروفسور زاده ابداع و معرفی شد.

اصول مطق فازی بر تعاریف مجموعه های فازی استوار است. همان گونه که اصول منطق کلاسیک بر مجموعه های کلاسیک یا مطلق استوار هستند. اهمیت منطق و مجموعه های فازی بخصوص اخیراً و پس از بوجود آمدن نگرشهای جدید در علوم و تکنولوژی موسوم به موج سوم افزایش یافته است. در نگرش موج سومی سعی تکنولوژیست ها بر هر چه نزدیکتر کردن ماشین وتکنولوژی به انسان متمرکز می شود که یکی از ابعاد آن طراحی و ساخت ماشنهایی است که به نوعی روالهای عملکرد انسانی را شبیه سازی کند. منطق فازی یکی از ابزارهای مؤثر در ایجاد روالها و طراحی سیستمهایی با عملکرد نزدیک به انسان است.

فهرست مطالب
 
فصل اول : آموزش منطق فازی
مقدمه
رشته های  فازی ( Fuzzy Sets )
مرجع ( Universe )
نقش عضویت ( Membership function )
یگانه  ( Singletons)
متغیرهای زبانی  (Linguistic variables )
مثال سطح مخزن
عملیات برروی مجموعه های فازی ( Operations On Fuzzy Set)
عملیات مجموعه ها ( Set operations)
اصلاح کننده (Modifiers )
ارتباط میان مجموعه‌ها
منطق فازی ( Fuzzy Logic )
پیوندها ( Connectives )
استنباط  ( Implication )
 نتیجه ( Inference )
قواعد چند گانه ( Several Rule )

فصل دوم : نظریه منطق فازی
مقدمه
منطق دودویی و منطق چند مقداری - حد آستانه معین و فازی
مجموعه های فازی
مجموعه های فازی مراتب بالاتر
عملیات کلاسیک روی مجموعه های فازی
روابط فازی
قاعده ترکیبی استنتاج
متغییرهای زبان شناختی
منطق فازی
فرم کانونی
اصول اولیه و مفاهیم کلی کنترل فازی
مزایای کنترل کننده فازی
چه مواقعی باید از منطق فازی استفاده کرد؟
ژاپن پیشگام در تحقیقات و کاربرد سیستمهای فازی
وضعیت تحقیقات و کاربرد سیستمهای فازی در ایران

فصل سوم : سیستمهای تشخیص عیب بر مبنای منطق فازی
مقدمه
مجموعه ها و منطق فازی
سیستمهای تشخیص سنتی
سیستمهای تشخیص فازی
مثالی کاربردی از سیستم تشخیص
نتایج پیاده سازی

فصل چهارم :

طراحی شبیه سازی یک کنترل کننده هوشمند ترافیک با استفاده از تئوری مجموعه های فازی
مقدمه
سابقه علمی پژوهش
مقدمه های بر مفاهیم و روشهای کنترل ترافیک
کنترل پیش زمانبندی شده
کنترل متاثر از ترافیک
کنترل متاثر از ترافیک با استفاده از منطق فازی
آشنایی با تئوری مجموعه فازی
انگیزه های استفاده از مجموعه های فازی
فضای کمی فازی
کنترل فازی طرح شده
توابع عضویت ورودیها و خروجیها
مکانیزم بهنگام سازی معادلات و مقادیر کیفی فازی مربوط به ورودی های کنترلر
مقایسه عملکرد کنترلر فازی طرح شده با روش پیش زمانبندی شده در مورد میدان
مقدمه
شبیه سازی پیش زمانبندی شده میدان انقلاب تهران
شبیه سازی کنترلر فازی طرح شده بر روی میدان انقلاب تهران
مقایسه نتایج حاصل از شبیه سازی فازی و پیش زمانبندی شده

نتیجه گیری
خلاصه
پیشنهادات

فرمت فایل :  word

صفحات : 112 صفحه