تحقیق درمورد منطق فازی 65 ص

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

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 65

عنوان مطلب ارائه شده در درس شیوه:

استاد : جناب آقای دکتر پوررضا

تهیه کننده : جواد روزدار

تاریخ : بهار88

فهرست مطالب:

4

چکیده

4

مقدمه ( چرا سیستم های فازی؟)

5

تاریخچة مختصری از نظریه و کاربردهای فازی

6

زندگینامة پروفسور لطفی‌زاده

8

منطق فازی

9

5- متغیرهای زبانی

16

6- سیستم های فازی چگونه سیستم هایی هستند ؟

14

6-1) سیستم های فازی خالص

14

6-2) سیستم فازی TSK

15

6-3) سیستم فازی ساز و غیرفازی ساز

16

7- سیستم های فازی کجا و چگونه استفاده می شوند ؟

17

8- تئوری مجموعه های فازی

19

9- مفاهیم مشترک منطق فازی و کلاسیک

21

10- روابط فازی

22

11- ساخت قوانین فازی

23

11-1) ویژگی های مجموعه فازی

23

12- موتور استنتاج

25

12-1) ستنتاج مبتنی بر ترکیب قواعد

25

12-2) استنتاج مبتنی بر قواعد جداگانه

26

13- فازی ساز ها

26

14- غیرفازی سازی

26

15-یک مثال کلی

27

منابع

29

مقدمه :

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

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

پرندگان در منطق الطیر 15 ص

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

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 17

پرندگان در منطق الطیر

پرندگان منظومه منطق الطیر عطار

منطق الطیر

: مأخوذ است از آیه شریفه: «و ورث سلیمان داود و قال یا ایها الناس علمنا منطق الطیر واوتینا من کل شی ء ان هذا لهو الفضل المبین» (سوره نمل آیه 16)- در تفاسیر قرآن کریم از مرغان مختلفی که با سلیمان (ع) سخن گفته اند و او گفتار آنان را برای پیروان خود ترجمه فرموده است. اسم برده اند و جهت مزید اطلاع ر. ک. : تفاسیر فخررازی ج 6 ص 556 و بیضاوی ج 2 ص 194 و کشف الاسرار ج 7 ص 189 و ابوالفتوح ج 4ص 153- این کلمه را شعرای فارسی زبان به همین معنی در اشعار خود بسیار آورده اند.

هدهد

: در فارسی پویک و شانه سر را گویند. (برهان) – مرغیست بدبو که بر زباله آشیان سازد، بر بدنش خطوط و رنگهای فراوان است و کنیه او ابوالاخبار و ابوثمامه و ابوالربیع و ابوروح و ابوسجاد و ابوعیاد است. گویند که از بالای آسمان آب را در زیر زمین ببیند همانطور که آدمی آنرا در شیشه ببیند. (دمیری) – گفته اند که هدهد راهنمای سلیمان بود بر آب و آن چنان بود که سلیمان هرگاه که خواستی نماز گزارد هدهد او را ره نمودی به آب و در بیابان زمین را می کندند و به آب می رسیدند تا سلیمان با آن غسل می کرد یا وضو می ساخت. (جهت مزید اطلاع ر. ک. : قصص انبیا ذیل قصه سلیمان و بلقیس و حیاة الحیوان جا حظ ج 4 ص 77 و حیاةالقوب ج1 ص264)

بلبل

: نمونه مردمان جمال پرست وعاشق پیشه است.

طوطی

: حیوانیست ثاقب الفهم ونرم خو که قوه تقلید اصوات و قبول تلقین را بسیار داراست. ارسطا طالیس گوید برای تعلیم طوطی او را جلوی آینه نهید و از پس آن صحبت کنید تا او خوب تقلید کند (دمیری ذیل ببغاء)- در اینجا نمونه آن دسته از مردمان اهل ظاهر و تقلید است که به دنیای باقی و حیات جاوید اعتقاد دارند و به آن سخت پابندند.

طاوس

: پرنده ایست عزیز و جمیل و عفیف الطبع و اهل ناز و تبختر است و بر خویش سخت معجب است (دمیری)- در مثنوی نمونه ای از مردم منافق و دو رنگ است که برای نام و ننگ جلوه گری می کند و همّ خود را صرف صید خلق و شکار آنها می نماید و از نتیجه عمل خود نیز بی خبر است (ر. ک. ج 5 نی ص 28). ولی در این جا نموه اهل ظاهر است که تکالیف مذهب را به امید مزد یعنی به آرزوی بهشت و رهایی از عذاب دوزخ انجام می دهد.

بط

: مرغابیست و این کلمه عربی محض نیست (جوالیقی ص 64) و مُعرّب بت است (آنندراج) – در تفاسیر قرآن (ذیل آیه 120 واقع در سوره بقره راجع به مرغ خلیل الله (ع) آنرا ضمن چهار مرغ خلیل نام برده اند (ابوالفتوح ج 1ص 458)- و در مثنوی کنایه است از حرص و آز که یکی از عوامل شیطان رجیم و نفس عاقبت سوز است (ج 5 نی س 37)- در اینجا نمونه مردمان عابد و زاهد است که همه عمر گرفتار وسواس طهارت و شستشواند.

کبک

: نمونه مردم جواهر دوست که همه عمر خود را صرف جمع آوری انواع جواهرات و احجار کریمه و یا اشیاء قیمتی و عتیق می نمایند.

همای

: مرغیست افسانه ای که گویند استخوان خورد و جانوری نیازارد و بر سر هر کس سایه افکند پادشاه شود (انندراج)- و در افسانه ها بسیار از او نام برده اند از جمله باین صورت که در شهرها و ممالک هنگام انتخاب پادشاه این مرغ را به پرواز می آورده اند و بر هر کس که می نشست او را شاه می کردند- در اینجا نمونه ایست از مردان جاه طلب که از زهد و عبادت برای جلب حطام دنیوی استفاده می کنند و از راه عزلت و عبادت ظاهری درصدد بر می آیند که ارباب مملکت و سیاست را بخود جلب نمایند و برای خود دستگاهی داشته باشند. خواجه حافظ اینگونه زهاد را "واعظ شحنه شناس" اصطلاح کرده است:

و اعظ شحنه شناس این عظمت گو مفروش زانکه منزلگه سلطان دل مسکین من است (حافظ قزوینی ص 37)

کوف

: پرنده ایست بنحوست مشهور و آن دو قسم می باشد کوچک و بزرگ؛ کوچک را جغد و بزرگ را بوم خوانند (برهان) –این پرنده را که به نامهای جغد و بوم و کوف و بوف و مانند آن خوانند در ادبیات زرتشتی بهمن مرغ نامیده شده است و مرغیست اهورایی و بدون نحوست (ر. ک: ح- برهان ص 318)- کنیه او در عربی ام الخراب و ام الصیبان و غراب اللیل است. مرغیست که شب نمی خوابد و پرهایش بد پوست. طائریست منزوی و منفرد و حرام گوشت (دمیری ذیل بوم)- قدما برای این مرغ احکام و خواصی ذکر کرده اند که شرح آنهمه در اینجا میسر نیست (ر. ک. نفائس الفنون ج2 ص 151 و حیاة الحیوان جاحظ و دمیری ذیل

تحقیق و بررسی در مورد کنترل سطح قندخون بیماران دیابتی به کمک منطق فازی 10 ص

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

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 14

کنترل سطح قندخون بیماران دیابتی به کمک منطق فازی

مهندس گلاره ویسی، هاجر قرباننژاد، سیمین کاظمی ازغدی

Email: [e-mail]

[e-mail]

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

واژگان کلیدی- دیابت، غلظت گلوکز خون، نرخ تزریق انسولین، مدل مینیمال برگمان، کنترل فازی.

1- مقدمه

در بدن انسان، تعداد زیادی حلقهی طبیعی فیدبکدار برای حفظ تعادل حیاتی وجود دارد. ناتوانی یا سوءعمل هر یک از این حلقهها باعث بروز بیماریهای جدی با عوارض کوتاه یا بلندمدت میشود. بیماری دیابت یکی از انواع بیماریهایی است که در نتیجهی عملکرد نادرست این حلقههای طبیعی در بدن ایجاد میشود.

دیابت، یک بیماری متابولیکی است که در آن بدن انسولین را بهطور مناسب تولید یا مصرف نمینماید.

در حالت طبیعی، غذا در معده تبدیل به گلوکز یا قندخون میشود. قند از معده به جریان خون وارد میگردد. لوزالمعده (پانکراس) هورمون انسولین را ترشح میکند و این هورمون باعث میشود قند از جریان خون وارد سلولهای بدن شود. در نتیجه مقدار قندخون در حد نرمال و متعادل باقی میماند.

ولی در بیماری دیابت، انسولین به میزان کافی در بدن وجود ندارد و یا انسولین موجود قادر نیست تا وظایف خود را به درستی انجام دهد، در نتیجه به علت وجود مقاومت در برابر آن، قندخون نمیتواند بهطور مؤثری وارد سلولهای بدن شود و مقدار آن بالا میرود.

بالا بودن قندخون در درازمدت باعث بروز عوارضی در سیستم قلب و عروق، کلیه‌ها، چشم و سلسلهی اعصاب میگردد.

دیابت یکی از شایعترین بیماریهای انسانی در زمان ماست. در برآورد و تخمینی که در سال 1985 انجام شده مشاهده شده است که 30 میلیون نفر در سراسر جهان مبتلا به بیماری دیابت بودند، اما امروزه حدود 194 میلیون نفر به بیماری دیابت مبتلا هستند که در مقایسه با 20 سال گذشته 6 برابر شده است ]19[. آمارها نشان میدهد که اگر جلوی پیشرفت این بیماری همه‌گیر گرفته نشود تا سال 2025 شمار مبتلایان در سطح جهانی 50 درصد رشد خواهد داشت ]20[. طبق آمارهای بدست آمده، در کشور آمریکا در سال 2005 میلادی 8/20 میلیون نفر - 7 درصد کل جمعیت- به بیماری دیابت مبتلا بودهاند ]21[. از هر 20 ایرانی یک نفر به دیابت مبتلاست و نیمی از این تعداد نمی‌دانند که دیابت دارند. هر 10 ثانیه یک نفر در جهان به دلیل عدم آگاهی از دیابت و روش کنترل آن، جان خود را از دست میدهد. هر 30 ثانیه یک نفر در جهان به علت عدم آگاهی از دیابت و روش کنترل آن، پای خود را از دست میدهد ]22[.

در سه دههی اخیر تحقیقات گستردهای در زمینه کنترل قندخون در بیماران مبتلا به دیابت نوع اول انجام گرفته است. مقالات مختلف، استفاده از روشهای گوناگون کنترل کلاسیک و مدرن را پیشنهاد میدهند که طبعاً هر کدام مزایا و معایب خود را دارند ]12-1[. در اغلب این مقالات ابتدا مدل غیرخطی تاثیر متقابل گلوکز و انسولین، خطی سازی شده و سپس از روشهای کنترل خطی جهت بهبود شرایط بیمار استفاده می شود. اما کنترلرهای خطی ممکن است در مداوای بیمارانی که در شرایط بسیار حادی قرار دارند، با شکست مواجه گردند. در واقع اگر شرایط بیمار فاصله زیادی با شرایط نرمال داشته باشد، مدل خطی دیگر معتبر نبوده و نباید جهت طراحی کنترلر مورد استفاده قرار گیرد.

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

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

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

2- مدل ریاضی

مدل مینیمال برای بیان غلظت انسولین و گلوکز پلاسما که به مدل برگمان نیز معروف است به منظور بررسی و آنالیز نتیجهی تستهای تحمل گلوکز در انسانها و حیوانات آزمایشگاهی استفادهی بسیار متداولی دارد. این مدل توسط دکتر ریچارد اِن. برگمان ارائه شده و توسط او و همکارانش از دهه 70 میلادی به بعد در حال گسترش است ]17-13[. این مدل در تحقیقات فیزیولوژیکی بر روی متابولیسم گلوکز بسیار محبوب است.

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

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

(1)

در معادلات فوق، G(t) اختلاف غلظت گلوکز خون با حالت نرمال آن، Gb، را نشان میدهد. همچنین I(t) اختلاف غلظت انسولین آزاد پلاسما با مقدار نرمال آن، Ib، میباشد. X(t) با غلظت انسولین در محفظهی تاخیر متناسب است. و و پارامترهای مدل مینیمال هستند که دینامیک های تاثیر متقابل گلوکز پلاسما و انسولین را مدل مینمایند. نرخ آزادسازی انسولین از لوزالمعده، n نرخ کسری ناپدید شدن انسولین و D(t) و u(t) به ترتیب نرخ تزریق خارجی گلوکز و انسولین هستند.

3- طراحی کنترلر

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

بلاک دیاگرام یک سیستم کنترل فازی در شکل (1) نشان داده شده است.

دانلود ضرورت و منطق نیاز به مطالعات تاریخ اسلام دو چیز است 25 ص

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

 فرمت فایل:  ورد ( قابلیت ویرایش و آماده چاپ ) 

---

  قسمتی از محتوای متن 

تعداد صفحات : 25 صفحه

ضرورت و منطق نیاز به مطالعات تاریخ اسلام دو چیز است: 1- هویت فردی و اجتماعی امروز هر یک از ما به عنوان مسلمان، ریشه در سنت و تاریخ گذشته دارد و ما برای شناخت هویت اسلامی خود به شناخت تاریخ و گذشته مسلمانان نیاز مبرم داریم.
2- از آن رهگذر که بسیاری از سنت های حاکم بر تاریخ ثابت و پایداراند، شناخت آینده در بسیاری از موارد، با شناخت گذشته تحلیل و تفسیر می شود.
بنابراین تاریخ همچون آینده ای است که در گذشته اتفاق افتاده و می تواند درس آموز حال حاضر زندگی انسان باشد.
تاریخ به تنهایی منبع مستقلی برای عبرت آموزی و انتخاب صحیح راه زندگی و تحصیل سعادت فردی و اجتماعی است.
در تاریخ و پیشینه زندگی انسان همه راه ها تجربه شده است و برآیند نیک و بد هر انتخابی به خوبی نمایان است، بنابراین آموزه های تاریخی می تواند مانند مکتب کاملی هدایت گر انسان به سوی خیر و نیکبختی باشند.
به طور کلی فایده مهمی که سیر مطالعات تاریخی برای ما دارد، آشنایی با دیدگاه ها، درس آموزی از پیروزی ها و عبرت آموزی از ناکامی های گذشتگان است تا آن را فرا راه زندگی حال و آینده خود سازیم، آزموده را دوباره نیازماییم، خطای گذشتگان را تکرار نکنیم و بهتر از گذشتگان انتخاب نماییم.
پیدایشو سرگذشت انسان ، حکومت ها ، جوامع ، امت ها ، ادیان ، اندیشه ها، علوم و سیره اخلاقی و عملی بزرگان، شاخه های مختلف مطالعات تاریخی هستند که از این میان، مقصود از سیر مطالعات تاریخ اسلام، تنها مطالعه در تاریخ پیدایش اسلام، سیر تطور، حوادث و پیشامدها و زندگی رهبران آن است.
تاریخ اسلام در حقیقت، تاریخ تطور ایمان امت اسلامی است.
اینکه چگونه نیروی ایمان، امت محمد (ص) را در مسیر خدایی شدن، به پیش برده است و چه قدرت شگرفی در تمدن و فرهنگ پیروان خود ایجاد کرده است.
به صورت دقیق تر می توان گفت: تحولات حیات بشری، حیات عقلانی و حیات عرفانی مسلمانان و سیر تطور زندگی آنان، مهمترین موضوعی است که باید از تاریخ بیاموزیم و در آن مطالعه کنیم.
عرصه مطالعات تاریخ اسلام: 1.
     تاریخ اسلام 2.
     تاریخ تمدن اسلامی.
3.
     تاریخ زندگی پیامبر(ص).
4.

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

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

لینک دانلود و خرید پایین توضیحات

فرمت فایل word  و قابل ویرایش و پرینت

تعداد صفحات: 30

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

خلاصه

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

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

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

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

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

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

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

تحقیقات در بخش پایه‌ی منطق محاسباتی به طور گسترده‌ای بر دیگر بخشهای این علم تاثیر دارند. این تحقیقات عموما به دو بخش تقسیم میشوند:

تحقیقات در زمینه‌های روشهای استنتاج از قبیل Resolution و ...

تحقیقات در زمینه‌ی پیدا کردن پایه های مناسب ریاضی برای انجام به صرفه‌ی (از نظر زمانی و حافظه) محاسبات مربوط به منطق محاسباتی.

2-1 پایه‌های منطق محاسباتی:

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

قسمت دیگری که مورد توجه است، یکی سازی است. به طور مثال دو جمله (x:f(x) و (y:f(y) را در نظر بگیرید. واضح است که درستی این دو جمله یکسان است. به طور کلی هر جمله را به طریقه های ظاهرا متفاوت بسیار زیادی میتوان نوشت که همگی یک معنای واحد داشته باشند. (در همین مثال به جای x از تمام متغیرها میتوان استفاده کرد. به صورت معمولی لااقل 0N متغیر داریم.) بدین منظور تحقیقات زیادی بر روی روشهای کارا برای یکی سازی جملات منطقی انجام شده است.

برای تولید جملات جدید با توجه به قواعد استنتاج راههای زیادی پیشنهاد شده اند. یکی از محبوبترین راههای پیشنهاد شده به Resolution موسوم است. این روش