面向软件工程代理的结构化、状态感知和执行基础推理研究

软件工程（SE）代理在支持各种软件工程任务方面展现出良好的能力。然而，当前的SE代理本质上是反应式的，主要基于对话历史和最新响应进行决策。这种设计缺乏显式的结构或持久的状态，使得长期推理变得困难。因此，SE代理难以在推理步骤中保持连贯的理解，无法根据新证据调整假设，也无法将执行反馈整合到系统状态的心理推理模型中。本文认为，为了进一步推动SE代理的发展，需要超越反应式行为，转向结构化、状态感知和执行基础的推理。我们概述了如何通过显式结构、持久且动态变化的状态以及执行基础反馈的整合，帮助SE代理在长期任务中实现更连贯和可靠的推理，并提出了下一代SE代理的初步发展路线图。