摘要 — 声明性方法（例如答案集编程）在降低商业视频游戏和一般实时应用程序的开发成本方面显示出潜力。然而，许多缺点阻碍了它们的采用，例如性能和集成差距。在这项工作中，我们说明了我们的 ThinkEngine，这是一个框架，在 Unity 游戏引擎的上下文中，可以将声明性形式主义与典型的游戏开发工作流程紧密集成。ThinkEngine 允许将声明性 AI 模块连接到游戏逻辑，并使用混合审议/反应架构将推理任务的计算负载移出主游戏循环。在本文中，我们说明了 ThinkEngine 的架构及其在设计和运行时的作用。然后，我们展示了如何在概念验证游戏中编写声明性模块，并报告性能和相关工作。索引术语 — 答案集编程、声明性方法、游戏设计、知识表示和推理、Unity