استفاده از ارضاپذیری در برنامه ریزی زمانی
Publish place: 9th Annual Conference of Computer Society of Iran
Publish Year: 1382
Type: Conference paper
Language: Persian
View: 1,581
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ACCSI09_084
Index date: 24 January 2008
استفاده از ارضاپذیری در برنامه ریزی زمانی abstract
برنامه ریزی یکی از مباحث هوش مصنوعی است که در آن دنباله ای از کنش ها برای رسیدن به یک هدف از پیش تعیین شده بصورت خودکار تولید میشود. اکثر برنامه ریزهای سنتی برای ساده سازی مساله ی برنامه ریزی فرض می کنند که کنش ها بصورت آنی اجرا می شوند. یکی از معدود روش های برنامه ریزی که در آن با مساله ی زمان به صورت جامع برخورد شده است، برنامه ریزی زمانی آلن است که به دلیل پیچیدگی بسیار زیاد در عمل غیر قابل استفاده است. از طرف دیگر روش های نوین برنامه ریزی مانند SatPlan علیرغم کارایی بسیار بالا هنوز مفهوم زمان را در نظر نمی گیرند. در این مقاله روش جدیدی معرفی میگردد که برای افزایش کارایی برنامه ریزی زمانی آلن، ابتدا مساله را به یک مساله ارضای محدودیت تبدیل می کند و سپس آن را از طریق روش های تست ارضا پذیری حل می نماید. در این مقاله نشان می دهیم که اگر روش آلن را اندکی تغییر دهیم، پیچیدگی حل مساله به طور قابل ملاحظه ای کاهش می یابد.
استفاده از ارضاپذیری در برنامه ریزی زمانی Keywords:
استفاده از ارضاپذیری در برنامه ریزی زمانی authors
سیدکمال الدین غیاثی
دانشکده ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
غلامرضا قاسم ثانی
دانشکده ی مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :