کارکو advertise
laitec sharif univercity
دانلود مقاله ای در مورد الگوریتم  کرم شب تاب FireFly در هوش مصنوعی

دانلود مقاله ای در مورد الگوریتم کرم شب تاب FireFly در هوش مصنوعی

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

دانلود مجموعه 70 پروژه مفید و کاربردی سی شارپ #C

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

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

15000 تومان
دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

3000 تومان
سورس پروژه پایانی آزمون گیری با زبان سی شارپ و SQL

سورس پروژه پایانی آزمون گیری با زبان سی شارپ و SQL

7000 تومان

برنامه ریزی کلاسیک به صورت ارضای بولی

ترجمه به مسئله ارضای بولی SAT، یکی از معروفترین و موثرترین روشهای خودکار برنامه ریزی کلاسیک می باشد به کمک آن میتوان توصیف PDDL را به شکلی ترجمه کرد که توسط الگوریتم SATPLAN قابل پردازش باشد
برنامه ریزی کلاسیک به صورت ارضای بولی

برنامه ریزی کلاسیک به صورت ارضای بولی

در پست قبلی دیدید که الگوریتم SATPLAN چگونه مسئله های برنامه ریزی را که به زبان منطق مرتبه اول بیان شدند، حل میکند. در این جا نشان می دهیم که چگونه می توان توصیف PDDL را به شکلی ترجمه کرد که توسط SATPLAN قابل پردازش باشد. این ترجمه در چندین مرحله آسان صورت می گیرد.

ترجمه به مسئله ارضای بولی SAT، یکی از معروفترین و موثرترین روشهای خودکار برنامه ریزی کلاسیک می باشد که توصیف آن این گونه است:

 

♦ فعالیت ها را بصورت گزاره بنویسید:

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

 

♦ حالت شروع را تعریف کنید:

F0 را برای هر fluent مثل F در حالت شروع مسئله و ¬Fرا برای هر fluent که در حالت شروع اشاره نشدند، اثبات کنید.

 

♦ هدف را به صورت گزاره بنویسید :

برای هر متغیر موجود در هدف، لیترال هایی را که شامل این متغیر است، با ترکیب فصلی روی ثوابت جایگزین کنید.

 

♦ اصول حالت پسین successor – state axioms را اضافه کنید :

برای هر fluent مثل F یم اصل موضوعی به صورت زیر اضافه کنید:

Ft+1  ↔ ActionCausesFt  V  (Ft ᴧ  ¬ActionCausesNot Ft)

که ActionCausesF ترکیب فصلی تمام فعالیت های پایه ای است که F در لیست افزودنی  آنها وجود دارد و ActionCausesNot F ترکیب فصلی تمام فعالیت های پایه ای است که F در لیست حذف آنها وجود دارد.

 

♦ اصول موضوعی پیش شرط را اضافه کنید :

برای هر فعالیت پایه ای A، اصل موضوعی  At PRE(A)t را اضافه کنید، یعنی اگر فعالیتی در زمان t انجام شود، آنگاه پیش شرط ها باید درست بوده باشند.

 

 اصل منبع فعالیت را اضافه کنید :

فرض کنید هر فعالیت از فعالیت دیگر متمایز است.

 

ترجمه حاصل به شکلی است که می توانیم آن را به SATPLAN تحویل دهیم تا جوابی را پیدا کند.

 



0
نظرات

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



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


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

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

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