متفرقه منطق در علوم کامپیوتر

  • نویسنده موضوع MAHl
  • تاریخ شروع
  • پاسخ‌ها 3
  • بازدیدها 233
  • کاربران تگ شده هیچ

MAHl

عکاس انجمن + مدیر بازنشسته فرهنگ و مذهب
هنرمند انجمن
تاریخ ثبت‌نام
21/4/21
ارسالی‌ها
1,032
پسندها
32,296
امتیازها
59,573
مدال‌ها
23
سن
20
سطح
33
 
  • نویسنده موضوع
  • #1
منطق در علوم کامپیوتر مباحث مشترک میان منطق و علوم کامپیوتر را پوشش می دهد. این موضوع را می توان به سه قسمت اصلی تقسیم کرد:

  • مبانی نظری و آنالیز
  • استفاده از فناوری کامپیوتر برای کمک به منطق دانان
  • استفاده از مفاهیم منطق برای برنامه های کامپیوتری
 
امضا : MAHl

MAHl

عکاس انجمن + مدیر بازنشسته فرهنگ و مذهب
هنرمند انجمن
تاریخ ثبت‌نام
21/4/21
ارسالی‌ها
1,032
پسندها
32,296
امتیازها
59,573
مدال‌ها
23
سن
20
سطح
33
 
  • نویسنده موضوع
  • #2

مبانی نظری وآنالیز​

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

  • قضایای...
لطفا برای مشاهده کامل مطالب در انجمن ثبت نام کنید.
 
امضا : MAHl

MAHl

عکاس انجمن + مدیر بازنشسته فرهنگ و مذهب
هنرمند انجمن
تاریخ ثبت‌نام
21/4/21
ارسالی‌ها
1,032
پسندها
32,296
امتیازها
59,573
مدال‌ها
23
سن
20
سطح
33
 
  • نویسنده موضوع
  • #3

کامپیوتر ها برای کمک به منطق دانان​

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

MAHl

عکاس انجمن + مدیر بازنشسته فرهنگ و مذهب
هنرمند انجمن
تاریخ ثبت‌نام
21/4/21
ارسالی‌ها
1,032
پسندها
32,296
امتیازها
59,573
مدال‌ها
23
سن
20
سطح
33
 
  • نویسنده موضوع
  • #4

کاربرد های منطق برای کامپیوتر ها​

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

کاربران بازدید کننده از موضوع (تعداد: 0)

کاربران در حال مشاهده موضوع (تعداد: 1, کاربر: 0, مهمان: 1)

عقب
بالا