[论文解读] Implementing a Wall-In Building Placement in StarCraft with Declarative Programming

Michal Čertický|arXiv (Cornell University)|Jun 19, 2013

Logic, Reasoning, and Knowledge参考文献 11被引用 14

一句话总结

本文提出一种使用答案集编程（ASP）的声明式解决方案，用于在《星际争霸》中自动生成最优的墙内建筑布局，使AI智能体能够通过封锁通道口来抵御早期进攻。通过建模地形、建筑布局、可行走区域的间隙以及可达性，该方法能高效地找到有效且间隙最小的墙配置，防止敌方单位进入基地。

ABSTRACT

In real-time strategy games like StarCraft, skilled players often block the entrance to their base with buildings to prevent the opponent's units from getting inside. This technique, called "walling-in", is a vital part of player's skill set, allowing him to survive early aggression. However, current artificial players (bots) do not possess this skill, due to numerous inconveniences surfacing during its implementation in imperative languages like C++ or Java. In this text, written as a guide for bot programmers, we address the problem of finding an appropriate building placement that would block the entrance to player's base, and present a ready to use declarative solution employing the paradigm of answer set programming (ASP). We also encourage the readers to experiment with different declarative approaches to this problem.

研究动机与目标

• 解决AI智能体在《星际争霸》中缺乏墙内建筑布局的问题，这是人类玩家游戏中的关键技能。
• 应对在考虑游戏引擎特有的可行走区域间隙的前提下，寻找能有效封锁通道口的合法建筑布局的挑战。
• 提供一种可重用的声明式解决方案，使用答案集编程（ASP），相比命令式编程更简化实现。
• 优化墙的设计以最小化间隙尺寸，从而提高防御效果。
• 促进在即时战略游戏AI子问题中使用声明式范式进行实验，超越本案例的特定情境。

提出的方法

• 将《星际争霸》地图建模为32×32像素的建筑格子网格，建筑根据其大小和类型占据多个格子。
• 使用ASP的生成规则编码建筑布局约束，确保每个建筑仅被放置在有效且可建造的位置上一次。
• 使用horizontalGap和verticalGap谓词表示建筑之间的可行走间隙，间隙大小按建筑类型硬编码。
• 通过逻辑规则定义可达性，通过足够宽的间隙传播可行走路径（例如，16×16像素的虫后可穿越）。
• 采用ASP的“生成-测试”范式：生成所有可能的布局，并仅保留满足所有约束条件的布局。
• 应用优化语句以最小化总间隙宽度，倾向于生成更完整、更有效的墙。

实验结果

研究问题

• RQ1 声明式编程方法（如ASP）如何比命令式编程更有效地解决《星际争霸》中的墙内建筑布局问题？
• RQ2 为确保墙能完全封锁敌方单位通过通道口的路径，必须建模哪些关键约束？
• RQ3 如何在基于逻辑的系统中准确表示游戏特有的机制，例如建筑之间的非阻塞间隙？
• RQ4 在间隙最小化方面，ASP中的优化是否能产生优于暴力搜索或启发式方法的墙配置？
• RQ5 该基于ASP的解决方案在多大程度上可泛化或适配其他即时战略游戏或类似的防御性布局问题？

主要发现

• 基于ASP的解决方案成功生成了能封锁通道口所有潜在敌方入口路径的有效墙内布局。
• 该方法正确地建模了游戏引擎特有的可行走区域间隙，例如锻炉左侧12像素的间隙，否则可能导致小型单位通过。
• 通过编码通过宽度大于敌方单位尺寸的间隙（例如，Zerglings ≥16像素）的可达性，系统能准确识别绕过墙的路径。
• 优化语句有效最小化了总间隙宽度，生成的墙配置比非优化方案更具防御性。
• 该解决方案计算效率足够高，可实现实时应用，因为每局游戏仅需计算一次，使其在智能体集成中具有实用性。
• 该方法可直接用于基于BWAPI的智能体，并可通过添加单位布局约束（如包含一个先锋单位以维持基地通行）轻松扩展至其他种族（如神族）。