advertise laitec sharif univercity تبلیغات در سایت سورس کد تبلیغات در سایت سورس کد
پکیج ویژه پروژه پایانی و پایان نامه رشته کامپیوتر

پکیج ویژه پروژه پایانی و پایان نامه رشته کامپیوتر

45000 تومان
دانلود سورس پروژه فروشگاه کیف با asp.net و sql express

دانلود سورس پروژه فروشگاه کیف با asp.net و sql express

3000 تومان
دانلود پروژه معمای 8 با الگوریتم ژنتیک در سی شارپ

دانلود پروژه معمای 8 با الگوریتم ژنتیک در سی شارپ

3000 تومان
پروژه کامل مدیریت شرکت نرم افزاری با سی شارپ و SQL

پروژه کامل مدیریت شرکت نرم افزاری با سی شارپ و SQL

15000 تومان
دانلود سورس پروژه TSP با الگوریتم مورچگان Ants

دانلود سورس پروژه TSP با الگوریتم مورچگان Ants

4800 تومان

راهبردهای تحلیل مرتبه اول در AI

سومین خانواده سیستم های منطقی، مبتنی بر تحلیل است.کاربردهای تکراری قانون استنتاج تحلیل، در صورت وجود اثبات آن را می یابد. استراتژی های تحلیل مرتبه اول عبارتنداز: ترجیح واحد، مجموعه پشتیبان، تحلیل ورودی و راهبرد شمول.
راهبردهای تحلیل مرتبه اول در AI

راهبردهای تحلیل مرتبه اول در AI

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

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

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

► حذف استلزام ها

► انتقال ¬ به داخل

► استانداردسازی متغیرها

► اسکولم سازی (فرآیند حذف سورهای وجودی)

► حذف سورهای عمومی

► توزیع v روی ʌ

 

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

 

استراتژی های تحلیل مرتبه اول

کاربردهای تکراری قانون استنتاج تحلیل، در صورت وجود اثبات آن را می یابد. در این جا استراتژی هایی را بررسی میکنیم که به یافتن کارآمد کمک میکند.

♦ استراتژی ترجیح واحد

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

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

 

♦ استراتژی مجموعه پشتیبان

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

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

 

♦ استراتژی تحلیل ورودی

در استراتژی تحلیل ورودی، هر تحلیل یکی از جملات ورودی (از KB یا پرس وجو) را با جمله دیگری ترکیب میکند. در پایگاه های دانش هرون، استنتاج قیاسی نوعی راهبرد تحلیل ورودی است، زیرا استلزامی از  KB اصلی را با جملات دیگر ترکیب میکند. لذا تعجبی ندارد که تحلیل ورودی برای پایگاه های دانش به شکل هورن، کامل باشد.

اما این استراتژی در حالت کلی کامل نیست. راهبرد تحلیل خطی تعمیمی است که اجازه میدهد P و Q با هم حل شوند، اگر P در KB اصلی باشد یا P در جدّ Q در درخت اثبات باشد، تحلیل خطی کامل است.

 

♦ راهبرد شمول

روش شمول تمام جملاتی را حذف میکند که از جمله موجود در KB استنتاج میشود. شمول موجب میشود تا KB کوچک بماند و د نتیجه فضای جست وجو کوچک خواهد شد.

 

 



0
نظرات

نظر خود را ارسال کنید



نام:
ایمیل:
دیدگاه:
captcha
کد امنیتی :


advertise
استراتژی های تحلیل مرتبه اول کدامند؟استراتژی های تحلیل سیستم منطقیآشنایی با استراتژی تحلیل ورودی در تحلیلآشنایی با روش های تحلیل مرتبه اولاستراتژی تحلیل مجموعه پشتیبانمعرفی راهبردهای تحلیل در سیستم های منطقیمعرفی راهبرد شمول در تحلیل منطقیاستراتژی ترجیح واحد در تحلیل مرتبه اولتحلیل مرتبه اول عاملهای هوش مصنوعی چگونه است؟تبلیغات ارزان سایت آموزش برنامه نویسیتبلیغات مخصوص طراحان وب سایتتبلیغات در سایت برنامه نویسیتبلیغات اینترنتی برای برنامه نویساندر آغوش مینیمالیسممنوی همبرگر با سه خط افقی که روی یکدیگر قرار گرفته اند نشانه چیست؟ سوئیچ به یک ستون واحدتبدیل متن ساده به وبلاگ و سایت های پویا با React.jsکتابخانه sass برای استفاده آسان تر از آنکتابخانه سطح بالا برای اتوماتیک سازی اعمال مرورگر لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

سفارش پروژه در سورس کد

پیشنهادات ویژه سورس کد

پکیج ویژه پروژه پایانی رشته کامپیوتر دانلود مجموعه 70 پروژه کاربردی سی شارپ وب سایت فروشگاه با php