Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain

در این مقاله چارچوب مدل سازی برای برنامه ریزی مشکلات مبتنی بر برنامه نویسی منطقی ارائه شده است که از یک ماژول برنامه ریز در زبان پیکات بهره می برد. به طور خاص، ما پیشنهاد می دهیم تکنیک هایی برای نمایندگی ساخت یافته ای از دولت ها و برای معرفی دانش کنترل در توصیف اقدامات. ما این تکنیک ها را با استفاده از دامنه پیچیده برنامه ریزی غواصی غار از مسابقه برنامه ریزی بین المللی نشان می دهیم. به طور تجربی، خواص مدل را برای رویکردهای جستجوی مختلف نشان می دهد و ما عملکرد روش پیشنهادی را با برنامه ریزان اتوماتیک پیشرفته مقایسه می کنیم. تمرکز این مقاله این است که ارائه دستورالعمل برای مدل سازی دستی از حوزه های برنامه ریزی به جای فرمول بندی اتوماتیک مدل ها.