A Preliminary Case Study of Planning With Complex Transitions: Plotting

التفاصيل البيبلوغرافية
العنوان: A Preliminary Case Study of Planning With Complex Transitions: Plotting
المؤلفون: Coll, Jordi, Espasa, Joan, Miguel, Ian, Villaret, Mateu
سنة النشر: 2021
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science
الوصف: Plotting is a tile-matching puzzle video game published by Taito in 1989. Its objective is to reduce a given grid of coloured blocks down to a goal number or fewer. This is achieved by the avatar character repeatedly shooting the block it holds into the grid. Plotting is an example of a planning problem: given a model of the environment, a planning problem asks us to find a sequence of actions that can lead from an initial state of the environment to a given goal state while respecting some constraints. The key difficulty in modelling Plotting is in capturing the way the puzzle state changes after each shot. A single shot can affect multiple tiles directly, and the grid is affected by gravity so numerous other tiles can be affected indirectly. We present and evaluate a constraint model of the Plotting problem that captures this complexity. We also discuss the difficulties and inefficiencies of modelling Plotting in PDDL, the standard language used for input to specialised AI planners. We conclude by arguing that AI planning could benefit from a richer modelling language.
Comment: Presented in the 20th workshop on Constraint Modelling and Reformulation (October 25th, 2021). The workshop is integrated in the The 27th International Conference on Principles and Practice of Constraint Programming, CP2021
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2110.14397
رقم الأكسشن: edsarx.2110.14397
قاعدة البيانات: arXiv