فا   |   En
ورود به سایت
مشاهده‌ مشخصات مقاله

Extending SAT-Plan to handle iterative actions

نویسنده (ها)
  • Nina Ghanbari Ghooshchi
  • Gholam-Reza Ghasem-Sani
مربوط به کنفرانس دوازدهمین کنفرانس بین‌المللی سالانه انجمن کامپیوتر ایران
چکیده Many real world problems have iterative behaviors, so planners should be able to tackle such problems and generate iterative plans. Iterative actions have been considered by a few of planners, and most of the efforts have been based on linear planning. In this paper, we show how SAT-Plan, which is one of the fastest existing planners, can be extended to generate recursive plans. Generated recursive plans are similar to those that are generated by humans for iterative problems. The main idea in this work is based on the mathematical induction, and has been implemented. Results obtained from testing the extended SAT-Plan on several examples from the blocks-world domain, confirms the success of the proposed idea.
قیمت
  • برای اعضای سایت : ۱٠٠,٠٠٠ ریال
  • برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
  • برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

خرید مقاله