استفاده از ارضاپذیری در برنامه ریزی زمانی

سال انتشار: 1382
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,437

فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ACCSI09_084

تاریخ نمایه سازی: 4 بهمن 1386

چکیده مقاله:

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

نویسندگان

سیدکمال الدین غیاثی

دانشکده ی مهندسی کامپیوتر، دانشگاه صنعتی شریف

غلامرضا قاسم ثانی

دانشکده ی مهندسی کامپیوتر دانشگاه صنعتی شریف

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • "ل10 [1] Henry Kautz and Bart Selman. "Planning as Satisfiability". ...
  • Henry Kautz and Bart Selman. "Pushing the Envelope: Planning, Propositional ...
  • Avrim L. Blum and Merrick L. Furst. "Fast Planning Through ...
  • Intelligence, 90:281-300, 1997. ...
  • James F. Allen and Johannes A. Koomen. "Planning using a ...
  • Steven A. Vere. "Planning in Time: Windows and Durations for ...
  • David E. Smith and Daniel S. Weld. "Temporal Planning With ...
  • R. E. Fikes and N. J. Nilsson. "STRIPS: a new ...
  • Matk Stefik. "Planning and Meta-P lanning (MOLGEN: Part 2)". Artificial ...
  • Henry Kautz and Bart Selman. "Unifying sat-based and graph-based planning". ...
  • Michael D. Ernst, Todd D. Millstein and Daniel S. Weld. ...
  • Bart Selman, Henry Kautz and B. Cohen. "Local search strategies ...
  • Russel Impagliazzo and Ramamohan Paturi. "Complexity of k-SAT". IEEE Conference ...
  • Robert Rodosek. "A new approach to soling 3-satisfiability". In Proceedings ...
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford ...
  • نمایش کامل مراجع