从决策到执行WSaiOS-SI 的方法中介执行链模型作者东塬一老翁关键词 结构智能决策方法执行方法实例化闭环反馈摘要本文基于 WSaiOS-SI“决策到执行”理论提出并形式化一个核心命题决策与执行之间不存在直接映射二者必须经由“方法”中介。决策回答“选择什么”方法回答“怎样完成”执行回答“是否实际运行并作用于对象”。本文区分决策、方法、方法实例、执行、结果、验证与行动等概念构建从决策结果到执行目标的转换模型给出方法匹配、方法选择、方法实例化、对象绑定、参数绑定、条件检查、约束检查、方法调用、操作执行与结果验证的完整链路并形式化为 D \rightarrow M \rightarrow I_M \rightarrow E \rightarrow R \rightarrow V。进一步本文将内部执行与外部行动区分开来将执行失败纳入再决策、再方法与学习反馈形成“决策—方法—执行—验证—反馈—再认知”的闭环。本文属于理论建模研究不涉及具体算法实现与实验验证旨在为 WSaiOS-SI 的执行理论提供可形式化、可工程化的结构基础。1 引言在传统智能系统描述中决策常被简化为“选择”执行常被简化为“行动”从而形成近似 Decision \rightarrow Action 的直线模型。然而选择结果并不自动具备可执行性。一个系统即使已经确定“选择对象 A”仍必须解决“如何对 A 执行相应操作”。因此决策之后必须存在一个从选择结果到实际行为的转换过程。WSaiOS-SI 将这一过程概括为Decision \rightarrow Method \rightarrow Execution本文认为该链条的理论价值在于它拒绝了“决策即执行”的简化假设将方法置于决策与执行之间使智能系统从内部判断进入实际行动具有可分析的结构。本文的目标不是提出新的算法而是对该章理论进行学术化重构明确概念边界、形式化执行链、给出闭环反馈模型并讨论其工程含义与理论局限。本文主要贡献包括第一明确决策、方法、执行、结果、验证与行动的概念区分第二提出执行目标五元组与方法实例化绑定结构第三形式化 D \rightarrow M \rightarrow I_M \rightarrow E \rightarrow R \rightarrow V 执行链第四区分内部执行与外部行动并构建执行反馈闭环第五讨论两层方法体系与能力—方法—操作—行动层次关系。2 概念区分与基本命题2.1 决策不是执行决策是在既定目标、条件和约束下对候选结果进行结构匹配、比较、判断和选择并确定下一步行动方向的过程。其输出是选择结果例如 Select(Product_A)。但该结果只说明“应当选择 A”尚未说明“如何获得 A”“如何控制设备 A”“如何处理数据 A”。因此Decision \neq Method,\quad Method \neq Execution三者构成连续结构而非同一概念。2.2 方法中介命题本文将核心思想概括为“方法中介命题”决策结果必须转换为执行目标并通过方法匹配、方法形成、方法选择与方法实例化才能进入执行。若已有方法可满足目标则进行方法匹配与实例化若部分匹配则进行方法扩展若无匹配则调用方法形成机制。即DecisionResult \rightarrow ExecutionGoal \rightarrow MethodMatching \rightarrow MethodSelection当 MethodGap 出现时MethodGap \rightarrow MethodFormation因此方法不是决策的名称转换而是将决策结果转换为可执行目标并确定解决路径的结构。2.3 概念层次概念 回答的问题 典型输出决策 选择什么 Select(Product_A)方法 怎样完成 匹配、比较、过滤、选择步骤方法实例 当前对象如何执行 ProductSelection(Product_A,30,Charging)执行 方法是否实际运行 运行过程结果 处理产生什么 候选集、比较值、完成状态验证 是否正确 True/False行动 是否作用于外部世界 设备状态改变、消息发送3 从决策到执行目标决策完成后系统必须从决策结果中确定执行目标。设决策结果为 D执行目标为 G则G Goal(D)执行目标至少应包含执行对象、目标、条件、参数与预期结果G \{Object, Goal, Condition, Parameter, ExpectedResult\}例如DSelect(Product_A) \Rightarrow GObtain(Product_A)DSetTemperature(25) \Rightarrow GSetDeviceTemperature(25)执行目标形成后系统才具备方法匹配的输入。若跳过执行目标而直接从决策结果调用操作则容易造成对象不明、参数缺失或条件未检查的问题。4 方法匹配、选择与实例化4.1 方法匹配执行目标确定后应优先检查已有方法是否可满足目标。方法匹配可表示为Match f(Goal,Object,Input,Condition,Constraint,Parameter,Output)匹配结果分为三类MatchTrue \Rightarrow MethodInstantiationPartialMatch \Rightarrow MethodExtensionNoMatch \Rightarrow MethodFormation这表明方法复用优先于方法重构但复用必须经过条件、约束、输入输出和参数的完整检查。4.2 方法选择一个执行目标可能对应多个方法。方法选择不是固定选择而是依赖当前状态M SelectMethod(G, Condition, Constraint, Scene, Capability, AvailableMethod)即M f(CurrentState)因此方法选择本身属于结构智能的一部分。环境变化可能导致原方法不再适用系统必须重新选择或重新形成方法。4.3 方法实例化与绑定抽象方法只定义“这一类问题怎样处理”当前执行必须绑定具体对象、属性、参数、条件、状态与场景I_M Instantiate(M, Object, Attribute, Parameter, Condition, State, Scene)对象绑定可表示为ObjectBinding f(DecisionResult, CognitionResult, Knowledge, PreviousResult, Scene)参数绑定来源包括需求、对象属性、知识、前一步运算结果与前一个方法输出。方法实例化后抽象方法才转化为具体执行结构M \rightarrow ObjectBinding \rightarrow ParameterBinding \rightarrow I_M5 执行链的形式化设 D 为决策结果M 为方法I_M 为方法实例E 为执行R 为结果V 为验证。则执行链可形式化为D \rightarrow M \rightarrow I_M \rightarrow E \rightarrow R \rightarrow V其中M SelectOrForm(D)I_M Instantiate(M,O,P,S,C)E Execute(I_M)R Result(E)V Validate(R,D)若 VTrue则执行成功若 VFalse则进入失败分析VFalse \rightarrow FailureAnalysis \rightarrow ReDecision \lor ReMethod \lor ReLearning执行前还需进行检查I_M \rightarrow ConditionCheck \rightarrow ConstraintCheck \rightarrow Execute若条件不满足可更新决策、重新选择方法或重构方法若约束失败则可能触发再决策。这表明执行阶段并非与决策结构割裂而是持续受决策目标和约束支配。6 方法内部结构与能力调用方法不是一次操作而是执行组织结构M \{SubMethod, Capability, ClassMethod, Rule, Operation\}方法内部可包含顺序、分支与循环Execution Sequence Branch Loop能力回答“能够完成什么任务”方法回答“如何组织能力完成目标”。因此Method \rightarrow Capability \rightarrow Operation而不是 Method Capability。方法可调用类方法处理具体对象ProblemSolvingMethod \rightarrow Object \rightarrow ClassMethod \rightarrow Operation由此形成两层方法体系上层问题解决方法负责整体路径下层类方法负责具体对象处理。二者共同构成从决策到执行的完整路径。7 内部执行、外部行动与验证反馈7.1 执行不等于结果执行表示系统实际按照方法进行了处理结果表示处理产生了什么Execution \neq Result完整关系为Method \rightarrow Execution \rightarrow Result7.2 执行与行动执行可发生在系统内部如比较、计算、匹配行动则意味着对外部对象、设备或环境产生实际作用InternalExecution \rightarrow ActionAction \rightarrow WorldChange因此并非所有执行都产生外部行动。内部计算可在 Method \rightarrow Operation \rightarrow Result 处完成当方法需要改变外部对象或设备状态时才进一步进入 Result \rightarrow Action \rightarrow WorldChange。7.3 验证与闭环执行后必须验证V f(Goal, Condition, Constraint, Output, State)验证内容包括目标是否完成、条件是否满足、约束是否违反、输出是否有效、实际状态是否匹配预期。若成功可保存“方法输入执行结果验证”的成功记录形成可复用方法若失败则分析对象缺失、属性缺失、知识缺失、能力缺失、方法缺失、参数缺失、条件失败、约束失败、操作失败或决策错误等原因并进入再决策、再方法或知识学习。由此形成闭环Decision \rightarrow Method \rightarrow Execution \rightarrow Validation \rightarrow ReDecision若涉及外部世界则进一步形成Decision \rightarrow Method \rightarrow Execution \rightarrow Action \rightarrow WorldChange \rightarrow Feedback \rightarrow ReCognition8 完整闭环与理论意义将前述结构统一可得到 WSaiOS-SI 的完整执行闭环Information \rightarrow Knowledge \rightarrow Cognition \rightarrow Capability \rightarrow Decision\rightarrow Method \rightarrow Execution \rightarrow Result \rightarrow Validation \rightarrow Action\rightarrow WorldChange \rightarrow Feedback \rightarrow ReCognition该模型的理论意义在于第一它用“方法中介”替代了“决策—行动”直线模型第二它将执行目标、方法匹配、方法实例化、对象绑定、参数绑定、条件约束检查纳入可形式化链条第三它区分内部执行与外部行动避免将计算过程与物理行为混同第四它将执行失败纳入学习与再决策使执行成为下一轮智能循环的输入而不是理论体系的终点。其工程含义包括构建可复用方法库在执行前进行条件与约束检查记录方法实例、绑定参数、执行结果与验证结论建立失败原因分类与反馈机制将高层问题解决方法与对象类方法衔接为统一执行体系。本文的局限在于仍属于理论建模未给出方法匹配的具体度量、方法选择的学习算法、执行验证的工程实现与实验基准对动态场景中方法切换的实时性、多方法冲突消解、执行安全边界等问题仍需进一步研究。未来工作可围绕原型系统、方法库结构、执行日志规范、失败分类体系与基准测试展开。9 结论本文基于 WSaiOS-SI“决策到执行”理论重构了从决策到执行的方法中介执行链。核心结论是决策产生解决方向方法将方向组织为可执行结构执行使方法真正作用于对象、数据、设备或外部世界。三者分别承担“选择什么”“怎样完成”“实际执行”的不同作用。完整链路可形式化为D \rightarrow M \rightarrow I_M \rightarrow E \rightarrow R \rightarrow V并在外部行动情形下扩展为D \rightarrow M \rightarrow E \rightarrow A \rightarrow W \rightarrow F \rightarrow ReCognition因此结构智能并非在“作出决定”时结束而是在决策、方法、执行、验证、行动与反馈的闭环中持续运行。决策是选择方法是组织执行是实现三者共同构成 WSaiOS-SI 从内部智能结构走向实际问题解决的核心执行链。参考文献[1] 东塬一老翁. WSaiOS-SI 第十一卷 第五章方法形成.[2] 东塬一老翁. WSaiOS-SI 第十一卷 第六章决策到执行.[3] 东塬一老翁. WSaiOS-SI 第十一卷认知、决策与方法理论.[4] Simon H. A. The Sciences of the Artificial. MIT Press, 1969.[5] Russell S., Norvig P. Artificial Intelligence: A Modern Approach. Pearson, 2021.
