دانلود پاورپوینت هوش مصنوعی و عاملهای مبتنی بر دانش ومنطق گزاره ای

\n

عامل های منطقی- منطق گزارهای

\n

\n

عنوان های پاورپوینت  : 

\n

عاملهای مبتنی بر دانش

\n

منطق

\n

منطق گزاره ای

\n

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

\n

الگوریتم resolution

\n

زنجیر پیشرو و عقبگرد

\n \n\n

---

\n\nقسمت ها و تکه های اتفاقی از فایل\n\n \n\nزنجیر پیشرو(FC)، اصطلاحا data-driven است.\n\nبصورت اتوماتیک و یک فرایند کاملاً ناآگاهانه است.\n\nممکن است خیلی از استنتاج های اضافی که در راستای رسیدن به هدف نیست را انجام دهد.\n\nزنجیر عقب گرد (BC)، اصطلاحاً goal-driven است.\n\nمناسب برای حل مسائل\n\nپیچیدگی BC خیلی کمتر از پیچیدگی خطی است (در ارتباط با سایز پایگاه دانش)\n\n \n\nاز الگوریتم زنجیر پیشرو زمانی استفاده می‌شود که حقیقت جدیدی به پایگاه داده اضافه شده باشد و بخواهیم نتایج آن را تولید کنیم.\n\nاین الگوریتم تمام عباراتی که می توان از پایگاه دانش استنتاج کرد را تولید می کند\n\n \n\nقبلاً دیدیم که عبارات هورن، ترکیب فصلی لیترالهایی است که فقط یکی از آنها مثبت است.\n\n \n\nهر عبارت هورن را میتوان به صورت یک استلزام نوشت که مقدمه آن ترکیب عطفی لیترالهای مثبت و تالی آن یک لیترال مثبت است\n\nاین نوع عبارات هورن که فقط یک لیترال مثبت دارند، عبارات معین نامیده میشوند\n\nعبارت معینی که فاقد لیترالهای منفی باشد، گزاره ای بنام حقیقت نام دارد\n\nعبارات معین اساس برنامه نویسی منطقی را میسازد\n\nاستنتاج با عبارات هورن، از طریق الگوریتم های زنجیر پیشرو و زنجیر عقبگرد انجام میگیرد.\n\n \n\nباید نشان دهیم (KB ^ ¬a) به تناقض برخورد می کند.\n\nقبل از هر چیز باید (KB ^ ¬a) را به فرم CNF تبدیل کنیم\n\nمثال:الگوریتم resolution\n\nمی‌خواهیم با الگوریتم resolution نشان دهیم چالهای در [2و1] وجود ندارد.\n\n \n\nپایگاه دانش زیر را با منطق گزاره ای بازنمایی کنید؛ سپس ثابت کنید «گروه نوازندگان توانست موسیقی را اجرا کند.»\n\n \n\n«اگر گروه نوازندگان نمی توانست موسیقی را اجرا کند یا از حضار به موقع پذیرایی نمی شد آنگاه ضیافت سال نو لغو میگردید و آقای احمدی عصبانی می شد. اگر این ضیافت لغو میگردید آنگاه می بایستی مبالغ پرداخت شده تحویل داده می شد. هیچ تحویلی انجام نشد.»\n\n \n\nمی‌خواهیم با کمک الگوریتم resolution از مفروضات زیر، حکم زیر را نتیجه بگیریم:\n\nمفروضات: اگر پرویز در محل جرم بوده؛ آنگاه کیومرث نیز در محل جرم بوده است.\n\nکیومرث در محل جرم نبوده است یا رضا در محل جرم بوده است.\n\nرضا در محل جرم نبوده است.\n\nاینطور نیست که (سهند در محل جرم بوده است و پرویز در محل جرم نبوده است.)\n\nحکم: سهند در محل جرم نبوده است\n\nبرای اینکه نشان دهیمKB|=a , مشخص میکنیم (KB ^ ¬a) ارضا کننده نیست\n\nابتدا (KB ^ ¬ a) را به CNF تبدیل میکنیم\n\nسپس قانون resolution به عبارات کوچک حاصل اعمال میشود\n\nهر جفتی که شامل لیترالهای مکمل باشد، resolution میشود تا عبارت جدیدی ایجاد گردد\n\nاگر این عبارت قبلا در مجموعه نباشد، به آن اضافه میشود\n\nفرایند تا محقق شدن یکی از شروط زیر ادامه می یابد:\n\nهیچ عبارت دیگری وجود نداشته باشد که بتواند اضافه شود. در این مورد، b استلزام a نیست\n\nکاربرد قانون resolution، عبارت تهی را بدست میدهد که در این مورد، b استلزام a است\n\n \n\nعبارات هُرن یا شیپوری (Horn Sentences) به یکی از دو فرم زیر تعریف می‌شوند: (لیترال مثبت را رأس و لیترالهای منفی را بدنه عبارت گویند.)\n\nجمله ای که بصورت ترکیب عطفی از ترکیبات فصلی لیترالها بیان میشود، اصطلاحاً به فرم CNF است. در هر عبارت موجود در جمله k-CNF دقیقا k لیترال وجود دارد\n\n \n\n \n\n30 تا 70 درصد پروژه | پاورپوینت | سمینار | طرح های کارآفرینی و  توجیهی |  پایان-نامه |  پی دی اف  مقاله ( کتاب ) | نقشه | پلان طراحی |  های آماده به صورت رایگان میباشد ( word | pdf | docx | doc )