LLM确定性过程中的非确定性：约束非确定性传播的受控变化空间

大语言模型越来越多地用于依赖定义的状态、规则和批准的软件开发过程。这在LLM的灵活性与可靠且可追踪的过程状态的需求之间造成了紧张。我们引入受控非确定性，这是一种面向过程的方法，允许变化而不直接决定权威的过程状态。我们将基于LLM的处理置于由确定性包络界定的受控变化空间内。在执行之前，我们定义结果的流程相关属性和退出条件。我们还记录了任务配置。这些元素在执行期间保持固定。在变化空间的末尾，退出检查确定结果是否满足预定义条件并可能成为下一个权威状态。不同的运行可能会产生不同的可接受结果，同时向权威状态的过渡仍然受到控制。我们通过受监管的软件开发来说明该方法，并得出基于LLM的更改的设计指南，其结果可以在成为权威软件状态的一部分之前进行检查。