پاورپوینت کامل هوش مصنوعی: استنتاج در منطق مرتبه اول ۳۷ اسلاید در PowerPoint

توجه : این فایل به صورت فایل power point (پاور پوینت) ارائه میگردد

 پاورپوینت کامل هوش مصنوعی: استنتاج در منطق مرتبه اول ۳۷ اسلاید در PowerPoint دارای ۳۷ اسلاید می باشد و دارای تنظیمات کامل در PowerPoint می باشد و آماده ارائه یا چاپ است

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

لطفا نگران مطالب داخل پاورپوینت نباشید، مطالب داخل اسلاید ها بسیار ساده و قابل درک برای شما می باشد، ما عالی بودن این فایل رو تضمین می کنیم.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی پاورپوینت کامل هوش مصنوعی: استنتاج در منطق مرتبه اول ۳۷ اسلاید در PowerPoint،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از مطالب داخلی اسلاید ها

پاورپوینت کامل هوش مصنوعی: استنتاج در منطق مرتبه اول ۳۷ اسلاید در PowerPoint

اسلاید ۴: در مورد x : LivesIn(x, Springfield) knows(x, Homer) ما می دانیم که این باید برای لااقل یک شی ، درست باشد . بیایید این شی را K بنامیم ؛ داریم ، LivesIn(k, Springfield) knows(k, Homer) که در این مورد،K یک ثابت اسکُولِم نامیده می شود.پس ، برای هر عبارت و متغیر v و سمبل ثابت k که در جای دیگری در پایگاه دانش وجود ندارد داریم :۲- نمونه‌سازی وجودیمثال : نتیجه ی xCrown(x) OnHead (x, John) به صورت Crown(C1) OnHead(C1,John) می تواند باشد که C1 به وجود آمده از یک سمبل ثابت جدید به نام ثابت اسکلم می باشد.مثالی دیگر : از x : d(x y ) / dy = x y ما نتیجه می گیریم ، d(ey ) / dy = ey ، e ای که به وجود آمده است یک سمبل ثابت جدید می باشد)گزاره بندیما می توانیم هر عبارت دارای سور وجودی را با یک نوع اسکلمایز شده جایگزین نماییم . برای عبارت های با سور عمومی ، می توانید هر جایگزین ممکن را جایگزین نمایید ؛ که این کار به ما اجازه می دهد که از قانون های استنتاج گزاره ای استفاده نماییم . البتّه این کار خیلی ناکارآمد می باشد ؛ تا سال ۱۹۶۰ از همین روش استفاده می کردند .

اسلاید ۵: پایگاه دانش مقابل را در نظر بگیرید:x King (x) Greedy (x) Evil (x)King (John)Greedy (John)Brother (Richard, John)با اعمال تمامی جایگزینی های ممکن به اوّلین جمله، داریم: (پایگاه دانش گزاره‌ای شده)(UI) ({x/John} و {x/Richard})King (John) Greedy (John) Evil (John)King (Richard) Greedy (Richard) Evil (Richard)ساده سازی به استنتاج گزاره ایKB جدید گزاره ای سازی شده است. سیمبول های(نمادها) گزاره ای عبارتند از:King(John) , Greedy(John) , Evil(John) , King(Richard)هر پایگاه دانش با منطق مرتبه اول را می توان گزاره ای کرد به گونه‌ای که ایجاب در آن حفظ شود، یعنی هر جمله زمینه‌ای که از پایگاه دانش جدید به دست می آید، اگر و فقط اگر از پایگاه دانش جدید نیز حاصل شود.یک روش برای استنتاج: پایگاه دانش و پرس‌وجوی مرتبه‌ی اوّل را گزاره‌ای نمود، و از الگوریتمهای استنتاج گزاره ای برای استنتاج استفاده کرد.• مشکل: در مورد سیمبول های تابعی(دارای خروجی) تعداد نامحدودی ترم زمینی وجود دارد، مثلاً:Father(Father(Father(John)))

اسلاید ۶: قضیه هربراند (۱۹۳۰): اگر جمله‌ای به وسیله پایگاه دانش مرتبه‌ی اوّل اصلی ایجاب شود، آنگاه یک اثبات با زیرمجموعه‌ی متناهی از پایگاه دانش گزاره‌ای شده، وجود دارد. با توجه به متناهی بودن زیرمجموعه، یک مقدار حداکثر برای عمق تودرتو بودن اصطلاحات زمینه موجود می‌باشد.قضیه هربراند (۱۹۳۰) : اثبات با یک زیر مجموعه…قضیه ی تورینگ و چورچ (۱۹۳۶) : فقط بلی می تواند بگویدمی‌توان ابتدا زیرمجموعه‌ای با استفاده از تمامی نمونه‌سازیهای نمادهای ثابت (Richard و John) را تولید کنیم. سپس، با تمامی اصطلاحات با عمق ۱ (Father (Richard) و Father (john))، و بعد از آن تمامی اصطلاحات با عمق ۲ و … را بیابیم تا زمانی که قادر به اثبات گزاره‌ای جمله ایجاب شده بشویم.قضیه تورینگ و چرچ (۱۹۳۶): مسأله ایجاب در منطق مرتبه‌ی اوّل، یک مسأله‌ی نیمه‌تصمیم‌پذیر است، یعنی الگوریتمهایی وجود دارد که به هر جمله ایجاب شونده پاسخ مثبت می‌دهد. امّا هیچ الگوریتمی وجود ندارد که به هر جمله ایجاب‌ناپذیر پاسخ منفی بدهد.

اسلاید ۷: مشکلات گزاره ای سازی نمودن• به نظر می رسد که گزاره ای سازی کردن جملات نامربوط زیادی تولید می کند. برای مثال از جملات زیر:x King(x) Greedy(x) Evil(x)King(John)Brother(Richard,John)حاصل Evil(John) است ، اما گزاره ای سازی کردن حقایق زیادی مانند Greedy(Richard) تولید می کند که نامربوط می باشندیکسان سازی (Unification ) : حل مشکل گزاره سازی:سازگار بودن دو جمله اگر یک جایگزینی وجود داشته باشد که مقدم استلزام را با جملات موجود در پایگاه دانش، یکسان‌سازی کند، یا به عبارتی یکسان سازی، این است که ما فقط می خواهیم جایگزین هایی برای عباراتی که به ما کمک می کنند چیزهایی را ثابت نماییم پیدا کنیم .آنگاه می‌توان با اعمال ، تالی استلزام را اظهار نمود. مانند جایگزینی{x / John} در پایگاه