复杂状态转移下规划的初步案例研究：Plotting 游戏
人工智能
2021-10-28 v1 计算机科学中的逻辑
摘要
Plotting 是 Taito 于 1989 年发布的一款方块匹配益智视频游戏。其目标是将给定的彩色方块网格减少到目标数量或更少。这是通过化身角色反复将其持有的方块射入网格来实现的。Plotting 是规划问题的一个例子：给定环境模型，规划问题要求我们找到一系列动作，能够在尊重某些约束的同时将环境从初始状态引导至给定目标状态。对 Plotting 建模的主要困难在于刻画每次射击后谜题状态的变化方式。一次射击可直接影响多个方块，且网格受重力影响，因此众多其他方块会被间接影响。我们提出并评估了一个捕捉此种复杂性的 Plotting 问题约束模型。我们还讨论了在 PDDL（用于专用 AI 规划器输入的标准语言）中建模 Plotting 的困难与低效。最后我们主张，AI 规划可受益于更丰富的建模语言。
引用
@article{arxiv.2110.14397,
title = {A Preliminary Case Study of Planning With Complex Transitions: Plotting},
author = {Jordi Coll and Joan Espasa and Ian Miguel and Mateu Villaret},
journal= {arXiv preprint arXiv:2110.14397},
year = {2021}
}
备注
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