第111章 行为结果
111.1 行为结果定义
**行为结果(Behavior Result)**是机器个体实施一个完整行为之后,根据行为目标、目标状态、预期结果以及实际执行情况形成的结果记录和评价结果。
行为结果不是某一个动作的结果。
BehaviorResult≠ActionResultBehaviorResult\neq ActionResult
动作结果描述单个动作执行产生的结果:
Action→ActionResultAction\rightarrow ActionResult
行为结果则是在多个动作完成之后,对整个行为过程进行综合评价:
{ActionResult1,ActionResult2,…,ActionResultn}→BehaviorResult\{ActionResult_1,ActionResult_2,\ldots,ActionResult_n\} \rightarrow BehaviorResult
因此:
Behavior→Action1,…,Actionn→ActionResults→BehaviorResult\boxed{ Behavior \rightarrow Action_1,\ldots,Action_n \rightarrow ActionResults \rightarrow BehaviorResult }
行为结果最终回答:
这个行为是否真正完成了它所承担的目的?
行为结果可以定义为:
BR={ID,BehaviorID,GoalID,Object,ExpectedResult,ActualResult,ResultState,Comparison,Verification,Time,History}BR= \{ ID, BehaviorID, GoalID, Object, ExpectedResult, ActualResult, ResultState, Comparison, Verification, Time, History \}
其中:
- IDID:行为结果唯一标识;
- BehaviorIDBehaviorID:所属行为;
- GoalIDGoalID:对应目标;
- ObjectObject:行为作用对象;
- ExpectedResultExpectedResult:预期结果;
- ActualResultActualResult:实际结果;
- ResultStateResultState:结果状态;
- ComparisonComparison:结果比较;
- VerificationVerification:结果验证;
- TimeTime:结果产生时间;
- HistoryHistory:结果历史。
行为结果形成过程:
Behavior→Action→Execution→ActionResult→BehaviorResultBehavior \rightarrow Action \rightarrow Execution \rightarrow ActionResult \rightarrow BehaviorResult
111.2 预期结果
**预期结果(Expected Result)**是机器个体在行为执行之前,根据目标、方法、决策和当前条件所确定的行为完成后应该达到的结果。
预期结果来自目标,而不是行为执行之后才产生。
Goal→ExpectedResultGoal\rightarrow ExpectedResult
目标可以表示为:
Goal=(CurrentState→TargetState)Goal=(CurrentState\rightarrow TargetState)
因此预期结果可以理解为:
ExpectedResult≈TargetStateExpectedResult\approx TargetState
但是二者并不完全相同。
目标状态描述希望对象达到什么状态;预期结果描述行为完成后应该产生什么结果。
例如:
Goal=将文件状态变为已保存Goal=将文件状态变为已保存
则:
TargetState=SavedTargetState=Saved
对应的预期结果可能是:
ExpectedResult={FileState=Saved,FileExists=True,DataComplete=True}ExpectedResult= \{ FileState=Saved, FileExists=True, DataComplete=True \}
因此:
ExpectedResult=TargetState+Requirement+ConditionExpectedResult = TargetState+ Requirement+ Condition
111.2.1 预期结果结构
可以定义:
ER={Object,TargetState,Output,Requirement,Condition,Range,Time,Rule}ER= \{ Object, TargetState, Output, Requirement, Condition, Range, Time, Rule \}
其中:
- ObjectObject:目标对象;
- TargetStateTargetState:目标状态;
- OutputOutput:预期输出;
- RequirementRequirement:结果要求;
- ConditionCondition:结果成立条件;
- RangeRange:允许范围;
- TimeTime:时间要求;
- RuleRule:结果规则。
111.2.2 预期结果可以是多个结果
复杂行为可能具有多个预期结果:
ExpectedResult={ER1,ER2,…,ERn}ExpectedResult= \{ER_1,ER_2,\ldots,ER_n\}
例如一个数据处理行为可能要求:
ER1=数据读取成功ER_1=数据读取成功 ER2=数据处理成功ER_2=数据处理成功 ER3=结果保存成功ER_3=结果保存成功
因此:
Behavior→{ER1,ER2,ER3}Behavior\rightarrow \{ER_1,ER_2,ER_3\}
只有达到必要结果集合,行为才可能被判定为完成。
111.3 实际结果
**实际结果(Actual Result)**是行为经过动作执行之后,机器个体实际观察、获得或计算出的结果。
实际结果来源于动作执行:
ActionExecution→ActionResult→ActualResultActionExecution \rightarrow ActionResult \rightarrow ActualResult
多个动作结果:
{AR1,AR2,…,ARn}\{AR_1,AR_2,\ldots,AR_n\}
经过综合:
ActualResult=F(AR1,AR2,…,ARn)ActualResult= F(AR_1,AR_2,\ldots,AR_n)
因此:
Behavior→Action1→Result1Behavior \rightarrow Action_1 \rightarrow Result_1 Behavior→Action2→Result2Behavior \rightarrow Action_2 \rightarrow Result_2
最终:
{Result1,Result2,…,Resultn}→ActualResult\{Result_1,Result_2,\ldots,Result_n\} \rightarrow ActualResult
111.3.1 实际结果结构
可以定义:
AR={Object,BeforeState,AfterState,Output,ChangedData,RelationChange,ExecutionStatus,Time}AR= \{ Object, BeforeState, AfterState, Output, ChangedData, RelationChange, ExecutionStatus, Time \}
实际结果不仅可以表现为对象状态变化,也可以表现为:
- 数据变化;
- 属性变化;
- 状态变化;
- 关系变化;
- 新对象产生;
- 对象删除;
- 信息输出;
- 错误信息;
- 无变化;
- 部分完成。
因此:
ActualResult≠StateChangeActualResult \neq StateChange
状态变化只是实际结果的一种形式。
111.3.2 行为没有产生状态变化
有些行为的目的本身就是检查、读取、判断或者观察。
例如:
Behavior=检查设备状态Behavior=检查设备状态
执行后:
DeviceStatet=DeviceStatet+1DeviceState_t=DeviceState_{t+1}
因此:
ΔState=0\Delta State=0
但实际结果可能是:
ActualResult=DeviceState=RunningActualResult= DeviceState=Running
所以:
ΔState=0\Delta State=0
并不等于:
BehaviorResult=FailedBehaviorResult=Failed
这一点对于ICAI机器认知非常重要。
111.4 结果状态
**结果状态(Result State)**是机器个体对行为实际结果所处状态进行的结构化描述。
结果状态不是行为状态:
ResultState≠BehaviorStateResultState\neq BehaviorState
行为状态描述:
行为目前执行到什么阶段。
结果状态描述:
行为执行后产生的结果处于什么状态。
可以定义:
ResultState∈{Success,Partial,Failed,Blocked,Interrupted,NoChange,Unknown}ResultState\in \{ Success, Partial, Failed, Blocked, Interrupted, NoChange, Unknown \}
111.4.1 成功
ResultState=SuccessResultState=Success
表示实际结果满足预期结果要求:
ActualResult⊨ExpectedResultActualResult\models ExpectedResult
并且:
Verification=TrueVerification=True
因此:
Success=ResultMatched∧VerifiedSuccess= ResultMatched \land Verified
111.4.2 部分完成
ResultState=PartialResultState=Partial
表示只有部分结果满足要求。
RequiredResult∩ActualResult≠∅RequiredResult\cap ActualResult\neq\varnothing
但:
RequiredResult⊈ActualResultRequiredResult\not\subseteq ActualResult
例如:
ER={ER1,ER2,ER3}ER=\{ER_1,ER_2,ER_3\}
而:
AR={ER1,ER2}AR=\{ER_1,ER_2\}
则:
ResultState=PartialResultState=Partial
111.4.3 失败
ResultState=FailedResultState=Failed
表示实际结果不能满足关键要求:
ActualResult⊭ExpectedResultActualResult\not\models ExpectedResult
失败结果必须保存,因为:
FailedResult→Feedback→Memory→ExperienceFailedResult \rightarrow Feedback \rightarrow Memory \rightarrow Experience
失败本身是机器个体学习和能力变化的重要数据。
111.4.4 阻止
ResultState=BlockedResultState=Blocked
表示行为或者动作没有获得执行许可。
例如:
SafetyCondition=FalseSafetyCondition=False
则:
Behavior→BlockedBehavior\rightarrow Blocked
Blocked与Failed不同:
Blocked≠FailedBlocked\neq Failed
阻止表示未能正常进入执行过程;失败通常表示执行已经发生或者结果验证没有通过。
111.4.5 中断
ResultState=InterruptedResultState=Interrupted
表示行为已经开始执行,但因为条件变化、资源变化、外部事件或其他原因而中断。
Executing→InterruptedExecuting \rightarrow Interrupted
之后可能:
Interrupted→ResumeInterrupted\rightarrow Resume
也可能:
Interrupted→FailedInterrupted\rightarrow Failed
或者:
Interrupted→CancelledInterrupted\rightarrow Cancelled
111.4.6 无变化
ResultState=NoChangeResultState=NoChange
表示行为执行之后,对象状态没有发生变化:
ΔState=0\Delta State=0
但是否属于成功,需要进一步比较预期结果。
如果:
ExpectedState=CurrentStateExpectedState=CurrentState
则:
NoChange→SuccessNoChange\rightarrow Success
如果:
ExpectedState≠CurrentStateExpectedState\neq CurrentState
则:
NoChange→FailedNoChange\rightarrow Failed
因此:
NoChange≠FailedNoChange\neq Failed
111.4.7 未知
ResultState=UnknownResultState=Unknown
表示机器个体暂时无法确定实际结果是否满足要求。
例如结果数据缺失:
ActualResult=UnknownActualResult=Unknown
则不能直接认定:
SuccessSuccess
而应进入:
Unknown→VerificationUnknown \rightarrow Verification
或者:
Unknown→AdditionalDetectionUnknown \rightarrow AdditionalDetection
111.5 结果比较
**结果比较(Result Comparison)**是机器个体将实际结果与预期结果进行结构化比较,以确定二者之间差异和匹配程度的过程。
核心关系:
ExpectedResult↔ActualResultExpectedResult \leftrightarrow ActualResult
结果比较:
Comparison=Compare(ExpectedResult,ActualResult)Comparison= Compare(ExpectedResult,ActualResult)
可以表示为:
ComparisonResult∈{Equal,Acceptable,Partial,Different,Unknown}ComparisonResult\in \{ Equal, Acceptable, Partial, Different, Unknown \}
111.5.1 相等
如果:
ActualResult=ExpectedResultActualResult=ExpectedResult
则:
Comparison=EqualComparison=Equal
这是最直接的成功情况。
111.5.2 可接受
实际结果不完全相同,但满足允许范围:
ActualResult∈AcceptableRangeActualResult\in AcceptableRange
则:
Comparison=AcceptableComparison=Acceptable
例如目标要求:
Temperature=25∘CTemperature=25^\circ C
允许范围:
24∘C≤T≤26∘C24^\circ C\leq T\leq26^\circ C
如果:
ActualResult=25.5∘CActualResult=25.5^\circ C
虽然:
25.5≠2525.5\neq25
但:
25.5∈[24,26]25.5\in[24,26]
因此:
Comparison=AcceptableComparison=Acceptable
111.5.3 部分匹配
如果只有部分要求满足:
Required∩Actual≠∅Required\cap Actual\neq\varnothing
则:
Comparison=PartialComparison=Partial
111.5.4 不同
如果关键结果明显不符合:
ActualResult⊭ExpectedResultActualResult\not\models ExpectedResult
则:
Comparison=DifferentComparison=Different
进一步形成:
ResultState=FailedResultState=Failed
111.5.5 未知
如果无法完成比较:
Compare(Expected,Actual)=UnknownCompare(Expected,Actual)=Unknown
则:
ResultState=UnknownResultState=Unknown
不能通过缺少信息强行推导成功或者失败。
111.6 结果差异
结果比较还需要计算实际结果与预期结果之间的差异。
定义:
ΔR=ActualResult−ExpectedResult\Delta R= ActualResult-ExpectedResult
这里的“减”不是限定为普通数值减法,而表示结构差异计算。
对于数值:
ΔR=Va−Ve\Delta R=V_a-V_e
其中:
- VaV_a:实际值;
- VeV_e:预期值。
对于状态:
ΔS=Sa−Se\Delta S=S_a-S_e
对于属性集合:
ΔA=Aactual−Aexpected\Delta A=A_{actual}-A_{expected}
对于关系:
ΔRrelation=Ractual−Rexpected\Delta R_{relation} = R_{actual}-R_{expected}
因此,ICAI可以识别:
预期
↓
实际
↓
结构比较
↓
差异
├── 无差异
├── 可接受差异
├── 部分差异
└── 关键差异
结果差异不仅用于判断成功或失败,还用于后续学习。
ResultDifference→Feedback→ExperienceResultDifference \rightarrow Feedback \rightarrow Experience
111.7 结果验证
**结果验证(Result Verification)**是机器个体根据预期结果、实际结果、规则、条件和验证方法,对行为结果是否真实有效进行确认的过程。
结果比较回答:
实际结果与预期结果有什么差异?
结果验证回答:
这个结果能不能被正式确认?
因此:
ResultComparison≠ResultVerificationResultComparison\neq ResultVerification
两者关系为:
ExpectedResult→ActualResult→Comparison→VerificationExpectedResult \rightarrow ActualResult \rightarrow Comparison \rightarrow Verification
111.7.1 验证条件
可以定义:
Verification=f(ExpectedResult,ActualResult,Comparison,Condition,Rule,Evidence)Verification= f( ExpectedResult, ActualResult, Comparison, Condition, Rule, Evidence )
其中:
- ExpectedResultExpectedResult:预期结果;
- ActualResultActualResult:实际结果;
- ComparisonComparison:比较结果;
- ConditionCondition:验证条件;
- RuleRule:验证规则;
- EvidenceEvidence:验证依据。
111.7.2 结果验证通过
如果:
Comparison∈{Equal,Acceptable}Comparison\in\{Equal,Acceptable\}
并且:
Condition=TrueCondition=True
以及:
Rule=TrueRule=True
则:
Verification=TrueVerification=True
最终:
BehaviorResult=SuccessBehaviorResult=Success
111.7.3 结果验证失败
如果关键条件不满足:
Verification=FalseVerification=False
则:
BehaviorResult=FailedBehaviorResult=Failed
但必须记录失败原因:
FailureReasonFailureReason
例如:
ResultMismatchResultMismatch ConditionFailureConditionFailure DataIncompleteDataIncomplete RuleViolationRuleViolation EvidenceInsufficientEvidenceInsufficient
这些信息进入后续诊断和学习。
111.7.4 结果待验证
如果当前证据不足:
Evidence=InsufficientEvidence=Insufficient
则:
Verification=PendingVerification=Pending
此时不能直接:
Pending→SuccessPending\rightarrow Success
而需要:
Pending→AdditionalCheck→VerificationPending \rightarrow AdditionalCheck \rightarrow Verification
这保证机器个体不会因为结果信息不足而错误确认行为成功。
111.8 行为结果形成模型
完整的行为结果形成过程为:
Behavior→Action→ActionResult→ActualResult\boxed{ Behavior \rightarrow Action \rightarrow ActionResult \rightarrow ActualResult }
同时:
Goal→ExpectedResultGoal \rightarrow ExpectedResult
然后:
ExpectedResult↔ActualResult→Comparison→Verification→BehaviorResult\boxed{ ExpectedResult \leftrightarrow ActualResult \rightarrow Comparison \rightarrow Verification \rightarrow BehaviorResult }
完整结构:
行为
↓
多个动作
↓
动作执行
↓
动作结果
↓
实际结果
↘
结果比较
↗
预期结果
↓
结果验证
↓
行为结果
├── 成功
├── 部分
├── 失败
├── 阻止
├── 中断
├── 无变化
└── 未知
因此,行为结果不是执行结束时简单写入一个“成功/失败”字段,而是一个经过预期建立、实际采集、结构比较和规则验证之后形成的认知结果。
111.9 行为结果与目标完成
行为结果最终需要返回目标系统。
BehaviorResult→GoalEvaluationBehaviorResult \rightarrow GoalEvaluation
例如:
BehaviorResult=SuccessBehaviorResult=Success
并且行为已经完成目标所要求的关键结果,则:
Goal→AchievedGoal\rightarrow Achieved
但是:
BehaviorResult=SuccessBehaviorResult=Success
并不必然意味着:
Goal=AchievedGoal=Achieved
因为一个目标可能包含多个行为:
Goal={Behavior1,Behavior2,Behavior3}Goal= \{Behavior_1,Behavior_2,Behavior_3\}
如果:
Behavior1=SuccessBehavior_1=Success Behavior2=SuccessBehavior_2=Success
但是:
Behavior3=FailedBehavior_3=Failed
则整个目标可能仍然没有完成。
因此:
BehaviorResult→GoalEvaluationBehaviorResult \rightarrow GoalEvaluation
而不是:
BehaviorResult=GoalResultBehaviorResult=GoalResult
这进一步说明任务、行为、动作具有严格的层级关系:
Task→Behavior→ActionTask \rightarrow Behavior \rightarrow Action
结果则逐级汇总:
ActionResult→BehaviorResult→TaskResultActionResult \rightarrow BehaviorResult \rightarrow TaskResult
并由更高层目标进行最终评价:
BehaviorResult→GoalEvaluationBehaviorResult \rightarrow GoalEvaluation
111.10 行为结果与反馈
行为结果形成之后,必须进入反馈系统:
BehaviorResult→FeedbackBehaviorResult \rightarrow Feedback
反馈可以包括:
Feedback={Success,Failure,Difference,Cause,Efficiency,Risk,Experience}Feedback= \{ Success, Failure, Difference, Cause, Efficiency, Risk, Experience \}
行为结果不仅告诉机器:
做成功了还是失败了。
还可以告诉机器:
为什么成功、为什么失败、与预期差多少、哪些条件发生了变化,以及以后是否应该继续采用这种方法。
因此:
BehaviorResult→Feedback→Memory→ExperienceBehaviorResult \rightarrow Feedback \rightarrow Memory \rightarrow Experience
进一步:
Experience→MethodUpdateExperience \rightarrow MethodUpdate Experience→CapabilityUpdateExperience \rightarrow CapabilityUpdate Experience→KnowledgeUpdateExperience \rightarrow KnowledgeUpdate
因此,行为结果是ICAI学习闭环的重要入口。
111.11 工程映射
在WSaiOS-ICAI工程中,行为结果应建立独立领域对象。
核心对象:
CognitiveBehaviorResult
ExpectedResult
ActualResult
ResultComparison
ResultVerification
111.11.1 行为结果类
class CognitiveBehaviorResult
{
protected $id;
protected $behaviorId;
protected $goalId;
protected $expectedResult;
protected $actualResult;
protected $resultState;
protected $comparison;
protected $verification;
protected $difference;
protected $reason;
protected $createdAt;
}
111.11.2 结果比较引擎
class BehaviorResultComparisonEngine
{
public function compare($expected, $actual)
{
return null;
}
public function calculateDifference($expected, $actual)
{
return null;
}
public function evaluateStatus($comparison)
{
return null;
}
}
111.11.3 结果验证引擎
class BehaviorResultVerificationEngine
{
public function verify($expected, $actual, $comparison, $context)
{
return false;
}
public function checkCondition($context)
{
return false;
}
public function checkRule($context)
{
return false;
}
public function buildResult($verification)
{
return null;
}
}
111.11.4 行为结果综合引擎
class BehaviorResultEngine
{
public function collectActionResults($behavior)
{
return array();
}
public function buildActualResult($actionResults)
{
return null;
}
public function buildExpectedResult($behavior)
{
return null;
}
public function compare($expected, $actual)
{
return null;
}
public function verify($comparison, $context)
{
return false;
}
public function buildBehaviorResult($data)
{
return null;
}
}
工程运行关系:
BehaviorResultEngine→ExpectedResult→ActualResult→Comparison→Verification→BehaviorResultBehaviorResultEngine \rightarrow ExpectedResult \rightarrow ActualResult \rightarrow Comparison \rightarrow Verification \rightarrow BehaviorResult
111.12 数据库结构
行为结果可以建立:
cognitive_behavior_results
cognitive_behavior_expected_results
cognitive_behavior_actual_results
cognitive_behavior_result_comparisons
cognitive_behavior_result_verifications
cognitive_behavior_result_history
cognitive_behavior_results
id
behavior_id
goal_id
result_state
comparison
verification
difference
reason
created_at
cognitive_behavior_expected_results
id
behavior_result_id
object_id
target_state
output
requirement
condition
range
rule
created_at
cognitive_behavior_actual_results
id
behavior_result_id
object_id
before_state
after_state
output
changed_data
relation_change
execution_status
created_at
cognitive_behavior_result_comparisons
id
behavior_result_id
comparison_type
expected_value
actual_value
difference
status
created_at
cognitive_behavior_result_verifications
id
behavior_result_id
verification_status
verification_rule
evidence
reason
created_at
cognitive_behavior_result_history
保存行为结果的历史变化:
id
behavior_result_id
previous_state
current_state
event
reason
created_at
这样,行为结果可以成为可查询、可验证、可追踪和可学习的机器数据对象。
111.13 行为结果运行时模型
行为结果运行时可以定义为:
BehaviorResultRuntime={Behavior,Goal,ExpectedResult,ActionResults,ActualResult,Comparison,Verification,ResultState}BehaviorResultRuntime= \{ Behavior, Goal, ExpectedResult, ActionResults, ActualResult, Comparison, Verification, ResultState \}
运行流程:
行为执行
↓
收集动作结果
↓
形成实际结果
↓
读取预期结果
↓
预期结果与实际结果比较
↓
计算结果差异
↓
结果验证
├── 验证通过 → 成功
├── 部分满足 → 部分
├── 关键要求不满足 → 失败
├── 未执行 → 阻止
├── 执行中断 → 中断
└── 信息不足 → 未知
↓
形成行为结果
↓
目标评价
↓
反馈
↓
记忆
↓
经验
因此:
ActionResults→ActualResult→Comparison→Verification→BehaviorResult\boxed{ ActionResults \rightarrow ActualResult \rightarrow Comparison \rightarrow Verification \rightarrow BehaviorResult }
构成行为结果的核心运行链。
111.14 行为结果理论的统一模型
本章建立的核心模型可以归纳为:
ExpectedResult↔ActualResult→Comparison→Verification→BehaviorResult\boxed{ ExpectedResult \leftrightarrow ActualResult \rightarrow Comparison \rightarrow Verification \rightarrow BehaviorResult }
其中:
ExpectedResult=f(Goal,TargetState,Requirement,Condition)ExpectedResult=f(Goal,TargetState,Requirement,Condition) ActualResult=f(ActionResults)ActualResult=f(ActionResults) Comparison=f(ExpectedResult,ActualResult)Comparison=f(ExpectedResult,ActualResult) Verification=f(Comparison,Condition,Rule,Evidence)Verification= f(Comparison,Condition,Rule,Evidence)
最终:
BehaviorResult=f(ActualResult,Comparison,Verification)BehaviorResult= f(ActualResult,Comparison,Verification)
再向上层传递:
BehaviorResult→GoalEvaluation→TaskEvaluationBehaviorResult \rightarrow GoalEvaluation \rightarrow TaskEvaluation
向学习系统传递:
BehaviorResult→Feedback→Memory→Experience→LearningBehaviorResult \rightarrow Feedback \rightarrow Memory \rightarrow Experience \rightarrow Learning
因此完整结构为:
Goal→ExpectedResult\boxed{ Goal \rightarrow ExpectedResult } Behavior→Action→ActualResult\boxed{ Behavior \rightarrow Action \rightarrow ActualResult } ExpectedResult↔ActualResult→Comparison→Verification→BehaviorResult\boxed{ ExpectedResult \leftrightarrow ActualResult \rightarrow Comparison \rightarrow Verification \rightarrow BehaviorResult }
最终进入:
BehaviorResult→Feedback→Memory→Experience→Learning→Update\boxed{ BehaviorResult \rightarrow Feedback \rightarrow Memory \rightarrow Experience \rightarrow Learning \rightarrow Update }
111.15 本章总结
本章建立了ICAI的行为结果理论(Behavior Result Theory)。
行为结果不是简单的“成功”或“失败”,而是一个由预期结果、实际结果、结果状态、结果比较和结果验证共同形成的结构化认知对象。
首先,预期结果来自目标:
Goal→ExpectedResultGoal\rightarrow ExpectedResult
实际结果来自行为中的多个动作:
Behavior→Action→ActionResult→ActualResultBehavior \rightarrow Action \rightarrow ActionResult \rightarrow ActualResult
然后进行结果比较:
ExpectedResult↔ActualResult→ComparisonExpectedResult \leftrightarrow ActualResult \rightarrow Comparison
再进行正式验证:
Comparison→VerificationComparison \rightarrow Verification
最终形成:
BehaviorResult\boxed{ BehaviorResult }
其基本结果状态包括:
{Success,Partial,Failed,Blocked,Interrupted,NoChange,Unknown}\{ Success, Partial, Failed, Blocked, Interrupted, NoChange, Unknown \}
由此建立:
预期结果→实际执行→实际结果→结果比较→结果验证→行为结果\boxed{ 预期结果 \rightarrow 实际执行 \rightarrow 实际结果 \rightarrow 结果比较 \rightarrow 结果验证 \rightarrow 行为结果 }
并与前面的行为、动作理论形成完整关系:
Task→Behavior→Action→ActionResult→BehaviorResult→TaskResult\boxed{ Task \rightarrow Behavior \rightarrow Action \rightarrow ActionResult \rightarrow BehaviorResult \rightarrow TaskResult }
再与ICAI认知和学习体系连接:
Cognition→Need→Goal→Capability→Method→Decision→Behavior→Action→Result→Verification→Feedback→Memory→Experience→Learning→Update\boxed{ Cognition \rightarrow Need \rightarrow Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior \rightarrow Action \rightarrow Result \rightarrow Verification \rightarrow Feedback \rightarrow Memory \rightarrow Experience \rightarrow Learning \rightarrow Update }
因此,第111章解决了ICAI中一个关键问题:
机器个体实施行为之后,不能仅仅知道“做了什么”,还必须知道“原本应该得到什么、实际得到了什么、二者有什么差异,以及这个结果是否经过验证”。
这使行为执行从单纯的程序运行,进一步发展为可比较、可验证、可评价、可反馈、可学习的机器行为过程,为后续建立结果反馈、行为评价、任务结果以及执行学习理论提供了基础。