استفاده از ارضاپذیری در برنامه ریزی زمانی
- سال انتشار: 1382
- محل انتشار: نهمین کنفرانس سالانه انجمن کامپیوتر ایران
- کد COI اختصاصی: ACCSI09_084
- زبان مقاله: فارسی
- تعداد مشاهده: 1456
نویسندگان
دانشکده ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
دانشکده ی مهندسی کامپیوتر دانشگاه صنعتی شریف
چکیده
برنامه ریزی یکی از مباحث هوش مصنوعی است که در آن دنباله ای از کنش ها برای رسیدن به یک هدف از پیش تعیین شده بصورت خودکار تولید میشود. اکثر برنامه ریزهای سنتی برای ساده سازی مساله ی برنامه ریزی فرض می کنند که کنش ها بصورت آنی اجرا می شوند. یکی از معدود روش های برنامه ریزی که در آن با مساله ی زمان به صورت جامع برخورد شده است، برنامه ریزی زمانی آلن است که به دلیل پیچیدگی بسیار زیاد در عمل غیر قابل استفاده است. از طرف دیگر روش های نوین برنامه ریزی مانند SatPlan علیرغم کارایی بسیار بالا هنوز مفهوم زمان را در نظر نمی گیرند. در این مقاله روش جدیدی معرفی میگردد که برای افزایش کارایی برنامه ریزی زمانی آلن، ابتدا مساله را به یک مساله ارضای محدودیت تبدیل می کند و سپس آن را از طریق روش های تست ارضا پذیری حل می نماید. در این مقاله نشان می دهیم که اگر روش آلن را اندکی تغییر دهیم، پیچیدگی حل مساله به طور قابل ملاحظه ای کاهش می یابد.کلیدواژه ها
برنامه ریزی زمانی ، ارضاپذیریمقالات مرتبط جدید
- تاثیر نوروفیدبک بر آموزش کودکان مبتلا به ADHD و اختلالات خواندن: یک بررسی سیستماتیک
- بررسی نقش سیستم های پیشرانش جت و بهبود کارایی انتقال حرارت در انجین های فضاپیما
- مروری بر کاربرد داده کاوی در کشف دانش پنهان
- تجزیه و تحلیل ترمودینامیکی استفاده از یک چرخه دی اکسید کربن فوق بحرانی با اینترکولر، گرم کردن مجدد و احیاکننده برای بازیابی گرمای اتلافی یک توربین گازی
- کاربرد IOT در مهندس پزشکی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.