第107章 行为形成
107.1 提出背景
第106章已经对行为进行了定义。行为是机器个体在特定主体、对象、条件和目的下,通过具体动作产生实际结果的运行过程。
但是,仅仅知道什么是行为,还不能解决个体人工智能的核心运行问题:
一个行为究竟是怎样形成的?
在 ICAI 中,行为不是随机产生的,也不是单纯由某一个动作触发的。一个完整行为必须建立在目标、能力、方法和决策的基础上。
其基本形成关系为:
Goal→Capability→Method→Decision→Behavior\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior }
其中:
- **目标(Goal)**规定行为需要达到什么状态;
- **能力(Capability)**规定个体能够完成什么;
- **方法(Method)**规定采用什么方式完成;
- **决策(Decision)**确定最终采用哪一种方案;
- **行为(Behavior)**将最终决策转换为实际运行过程。
因此,行为形成不是一个独立孤立的过程,而是 ICAI 前面多个认知机制共同作用的结果。
可以定义:
BehaviorFormation=f(Goal,Capability,Method,Decision,Condition)BehaviorFormation= f(Goal,Capability,Method,Decision,Condition)
其中:
- GoalGoal:目标;
- CapabilityCapability:能力;
- MethodMethod:方法;
- DecisionDecision:决策;
- ConditionCondition:行为形成条件。
107.2 目标
107.2.1 目标决定行为方向
**目标(Goal)**是机器个体希望通过自身运行使对象、状态或者环境达到的预期状态。
行为形成首先必须存在目标:
Goal→BehaviorPurposeGoal\rightarrow BehaviorPurpose
没有目标时,机器个体虽然可以产生某些动作,但这些动作不能自动构成具有明确目的的目标行为。
因此:
Goal=∅Goal=\varnothing
通常意味着:
GoalDirectedBehavior=∅GoalDirectedBehavior=\varnothing
目标规定行为的方向。
例如:
CurrentState=RunningCurrentState=Running TargetState=SafeTargetState=Safe
则:
Goal=(Running→Safe)Goal=(Running\rightarrow Safe)
行为必须围绕这个状态变化产生。
107.2.2 目标与行为目的
目标属于个体的目标结构,行为目的则是目标在行为层面的具体表达。
因此:
Goal→BehaviorPurposeGoal\rightarrow BehaviorPurpose
例如:
Goal:设备进入安全状态Goal: 设备进入安全状态
转化为:
Purpose:通过行为使设备进入安全状态Purpose: 通过行为使设备进入安全状态
最终:
Purpose→BehaviorPurpose\rightarrow Behavior
因此:
BehaviorPurpose⊆GoalExpressionBehaviorPurpose\subseteq GoalExpression
107.2.3 目标与行为形成
行为形成必须验证目标是否明确:
GoalCheck={Object,CurrentState,TargetState,Condition,Priority}GoalCheck= \{ Object, CurrentState, TargetState, Condition, Priority \}
只有目标具有明确对象和目标状态时,才能形成有方向的行为。
可以表示为:
ValidGoal=Object∧TargetState∧ConditionValidGoal= Object \land TargetState \land Condition
当:
ValidGoal=TrueValidGoal=True
才进入能力检查:
Goal→CapabilityGoal\rightarrow Capability
107.3 能力
107.3.1 能力决定行为可能性
**能力(Capability)**是机器个体在特定对象、状态、条件和范围内完成某类任务或者实现某类结果的实际能力结构。
目标解决:
想达到什么?
能力解决:
能不能做到?
因此:
Goal→CapabilityRequirementGoal\rightarrow CapabilityRequirement
再:
CapabilityRequirement↔CapabilityCapabilityRequirement \leftrightarrow Capability
只有能力满足目标要求,才有形成相应行为的基础。
107.3.2 能力与行为形成
可以定义:
BehaviorCapability=f(Capability,Goal,State,Condition)BehaviorCapability= f(Capability,Goal,State,Condition)
如果:
CapabilityRequired⊆CapabilityAvailableCapabilityRequired \subseteq CapabilityAvailable
则:
CapabilityCheck=TrueCapabilityCheck=True
可以继续形成行为。
如果:
CapabilityRequired⊈CapabilityAvailableCapabilityRequired \not\subseteq CapabilityAvailable
则可能产生:
BehaviorBlockedBehaviorBlocked
或者:
CapabilityMissing→CapabilityFormationCapabilityMissing \rightarrow CapabilityFormation
因此:
Goal→CapabilityRequirement→CapabilityCheck→BehaviorFormationGoal \rightarrow CapabilityRequirement \rightarrow CapabilityCheck \rightarrow BehaviorFormation
107.3.3 能力状态影响行为
能力存在并不意味着能力当前可用。
必须检查:
CapabilityStateCapabilityState
例如:
CapabilityState=AvailableCapabilityState=Available
则:
BehaviorAllowed=TrueBehaviorAllowed=True
而:
CapabilityState=UnavailableCapabilityState=Unavailable
则:
BehaviorAllowed=FalseBehaviorAllowed=False
因此:
BehaviorFormation=f(CapabilityExistence,CapabilityState,CapabilityRange,Condition)BehaviorFormation = f( CapabilityExistence, CapabilityState, CapabilityRange, Condition )
这与第82章至第90章建立的能力理论保持一致。
107.4 方法
107.4.1 方法决定行为方式
**方法(Method)**是机器个体针对特定目标、对象、条件和能力所建立的结构化执行方式。
目标回答:
做什么?
能力回答:
能不能做?
方法回答:
用什么方式做?
因此:
Goal→MethodGoal\rightarrow Method
并且:
Capability→MethodCapability\rightarrow Method
完整关系为:
Goal+Capability→MethodGoal+Capability\rightarrow Method
107.4.2 方法与行为
方法本身不是行为。
Method≠BehaviorMethod\neq Behavior
方法规定行为的结构,而行为是方法进入运行之后的实际执行过程。
因此:
Method→BehaviorMethod\rightarrow Behavior
例如:
Method=SafeShutdownMethod=SafeShutdown
其步骤可能为:
Step1=StopStep_1=Stop Step2=CheckStep_2=Check Step3=SwitchStep_3=Switch Step4=VerifyStep_4=Verify
实际形成行为:
Behavior→Action1→Action2→Action3→Action4Behavior \rightarrow Action_1 \rightarrow Action_2 \rightarrow Action_3 \rightarrow Action_4
所以:
Method→Behavior→ActionMethod\rightarrow Behavior\rightarrow Action
107.4.3 方法适用性
不是所有方法都能够形成当前行为。
必须检查:
Applicable(M)=f(Goal,Object,Capability,State,Condition,Scope)Applicable(M)= f( Goal, Object, Capability, State, Condition, Scope )
如果:
Applicable(M)=TrueApplicable(M)=True
则方法可以进入行为形成。
如果:
Applicable(M)=FalseApplicable(M)=False
则:
Method→NotAvailableMethod\rightarrow NotAvailable
并重新进入方法匹配或者方法选择。
107.5 决策
107.5.1 决策确定行为方案
经过目标、能力和方法分析后,机器个体可能得到多个可用方法:
Methods={M1,M2,…,Mn}Methods= \{M_1,M_2,\ldots,M_n\}
通过方法匹配和方法选择形成候选方案,再通过决策计算和决策选择确定最终方案:
Methods→Matching→Selection→DecisionMethods \rightarrow Matching \rightarrow Selection \rightarrow Decision
因此:
Decision→BehaviorDecision\rightarrow Behavior
决策是行为形成之前的最终确定机制。
107.5.2 决策与行为形成
可以定义:
BehaviorFormation=f(Goal,Capability,Method,Decision,Condition,Constraint)BehaviorFormation= f( Goal, Capability, Method, Decision, Condition, Constraint )
其中决策必须处于可以执行的状态。
例如:
DecisionState=DecidedDecisionState=Decided
才可以进入:
BehaviorFormationBehaviorFormation
如果:
DecisionState=PendingDecisionState=Pending
则:
BehaviorFormation=FalseBehaviorFormation=False
如果:
DecisionState=BlockedDecisionState=Blocked
则:
BehaviorFormation=FalseBehaviorFormation=False
因此:
DecisionConfirmed→BehaviorFormationDecisionConfirmed \rightarrow BehaviorFormation
107.6 行为形成
107.6.1 行为形成定义
**行为形成(Behavior Formation)**是机器个体将已经确定的目标、可用能力、适用方法和最终决策转换为具体行为结构的过程。
定义:
BF=F(Goal,Capability,Method,Decision,Condition)\boxed{ BF= F( Goal, Capability, Method, Decision, Condition ) }
其中:
- BFBF:行为形成;
- GoalGoal:目标;
- CapabilityCapability:能力;
- MethodMethod:方法;
- DecisionDecision:决策;
- ConditionCondition:行为形成条件。
行为形成的结果不是立即执行,而是首先建立一个完整的行为对象:
BehaviorObject={Subject,Object,Goal,Method,Decision,Condition,Purpose,Action,Result}BehaviorObject = \{ Subject, Object, Goal, Method, Decision, Condition, Purpose, Action, Result \}
107.6.2 行为形成基本流程
完整流程为:
目标
↓
目标确认
↓
能力需求
↓
能力检查
↓
方法确定
↓
方法适用性检查
↓
决策确定
↓
决策条件检查
↓
行为条件检查
↓
约束检查
↓
行为形成
↓
动作生成
↓
执行
↓
结果
因此:
Goal→Capability→Method→Decision→Behavior\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior }
是行为形成的基本理论链。
107.7 行为形成条件
行为形成本身也必须满足条件。
定义:
FormationCondition={Goal,Capability,Method,Decision,State,Object,Resource,Rule}FormationCondition= \{ Goal, Capability, Method, Decision, State, Object, Resource, Rule \}
形成条件判断:
FormationValid=Goal∧Capability∧Method∧Decision∧State∧Object∧Resource∧RuleFormationValid= Goal \land Capability \land Method \land Decision \land State \land Object \land Resource \land Rule
当:
FormationValid=TrueFormationValid=True
则:
BehaviorFormation=TrueBehaviorFormation=True
否则:
BehaviorFormation=FalseBehaviorFormation=False
并根据具体失败原因进入:
GoalAdjustmentGoalAdjustment
或者:
CapabilityFormationCapabilityFormation
或者:
MethodFormationMethodFormation
或者:
DecisionReevaluationDecisionReevaluation
107.8 行为形成结构
一个形成后的行为对象至少应该包含:
B={ID,Subject,Object,Goal,Purpose,Capability,Method,Decision,Condition,Action,Result,Status,Time}B= \{ ID, Subject, Object, Goal, Purpose, Capability, Method, Decision, Condition, Action, Result, Status, Time \}
其中:
ID:行为唯一身份;Subject:行为主体;Object:行为对象;Goal:行为对应目标;Purpose:行为目的;Capability:行为所依赖的能力;Method:行为采用的方法;Decision:行为形成依据;Condition:行为执行条件;Action:行为动作;Result:行为结果;Status:行为状态;Time:行为形成与执行时间。
这样,行为就成为一个完整的机器运行对象,而不是一个简单动作名称。
107.9 行为形成与动作生成
行为形成之后,还需要根据方法结构产生具体动作。
Behavior→Method→Step→ActionBehavior \rightarrow Method \rightarrow Step \rightarrow Action
例如:
Method={Step1,Step2,Step3}Method= \{Step_1,Step_2,Step_3\}
形成:
Behavior→Action1→Action2→Action3Behavior \rightarrow Action_1 \rightarrow Action_2 \rightarrow Action_3
因此:
Actioni=f(MethodStepi,Conditioni,Statei)Action_i=f(MethodStep_i,Condition_i,State_i)
每个动作都必须受到行为条件控制。
如果:
Conditioni=FalseCondition_i=False
则:
Actioni→BlockedAction_i\rightarrow Blocked
行为不能简单跳过关键步骤。
107.10 行为形成与状态
行为形成时必须考虑行为主体和行为对象的当前状态。
Statet→BehaviorFormationState_t\rightarrow BehaviorFormation
例如:
ObjectState=ReadyObjectState=Ready
可能允许:
Behavior=OperateBehavior=Operate
但是:
ObjectState=FaultObjectState=Fault
则:
Behavior=Operate→BlockedBehavior=Operate \rightarrow Blocked
因此行为形成不是一次性的。
如果形成行为之后状态发生变化:
Statet→Statet+1State_t\rightarrow State_{t+1}
则需要重新检查:
BehaviorConditionBehaviorCondition
必要时:
Behavior→PauseBehavior \rightarrow Pause
或者:
Behavior→CancelBehavior \rightarrow Cancel
甚至:
Behavior→DecisionReevaluationBehavior \rightarrow DecisionReevaluation
107.11 行为形成与决策状态
行为形成必须与第104章建立的决策状态保持一致。
基本关系:
Pending→Processing→Decided→BehaviorFormationPending \rightarrow Processing \rightarrow Decided \rightarrow BehaviorFormation
只有:
DecisionState=DecidedDecisionState=Decided
才能正常进入行为形成。
如果决策执行过程中出现问题:
Decided→ExecutingDecided \rightarrow Executing
如果行为已经开始,则:
BehaviorState=ExecutingBehaviorState=Executing
行为完成:
BehaviorState=CompletedBehaviorState=Completed
如果行为失败:
BehaviorState=FailedBehaviorState=Failed
因此形成:
Decision→BehaviorFormation→BehaviorExecution→BehaviorResultDecision \rightarrow BehaviorFormation \rightarrow BehaviorExecution \rightarrow BehaviorResult
107.12 行为形成工程模型
在 ICAI 工程中,行为形成应当由独立的行为形成对象和形成引擎负责。
107.12.1 BehaviorFormation
class BehaviorFormation
{
protected $id;
protected $goalId;
protected $capabilityIds;
protected $methodId;
protected $decisionId;
protected $subjectId;
protected $objectIds;
protected $conditions;
protected $purpose;
protected $status;
protected $createdAt;
}
107.12.2 BehaviorFormationEngine
class BehaviorFormationEngine
{
public function checkGoal($goal)
{
return false;
}
public function checkCapability($goal, $capabilities)
{
return false;
}
public function checkMethod($goal, $method, $capabilities)
{
return false;
}
public function checkDecision($decision)
{
return false;
}
public function checkCondition($context)
{
return false;
}
public function checkConstraint($context)
{
return false;
}
public function buildBehavior($context)
{
return null;
}
public function buildActions($behavior, $method)
{
return array();
}
}
其运行逻辑为:
Goal
↓
GoalChecker
↓
CapabilityChecker
↓
MethodChecker
↓
DecisionChecker
↓
ConditionChecker
↓
ConstraintChecker
↓
BehaviorBuilder
↓
ActionBuilder
↓
Behavior
107.13 行为形成数据库结构
可以建立:
cognitive_behavior_formations
cognitive_behavior_formation_goals
cognitive_behavior_formation_capabilities
cognitive_behavior_formation_methods
cognitive_behavior_formation_decisions
cognitive_behavior_formation_conditions
cognitive_behavior_formation_history
其中:
cognitive_behavior_formations 保存行为形成过程的主体信息。
cognitive_behavior_formation_goals 保存行为对应目标。
cognitive_behavior_formation_capabilities 保存形成行为所需要的能力。
cognitive_behavior_formation_methods 保存行为所采用的方法。
cognitive_behavior_formation_decisions 保存形成行为的决策依据。
cognitive_behavior_formation_conditions 保存行为形成条件。
cognitive_behavior_formation_history 保存行为形成过程和变化历史。
最终形成:
Goal→Capability→Method→Decision→BehaviorGoal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior
并在数据库中保持完整可追溯关系。
107.14 行为形成的失败处理
行为形成并不一定成功。
可能出现:
目标不存在
Goal=∅Goal=\varnothing
则:
BehaviorFormation=FalseBehaviorFormation=False
能力不足
CapabilityRequired⊈CapabilityAvailableCapabilityRequired \not\subseteq CapabilityAvailable
则:
BehaviorFormation→BlockedBehaviorFormation\rightarrow Blocked
没有适用方法
MethodSet=∅MethodSet=\varnothing
则:
BehaviorFormation→FailedBehaviorFormation\rightarrow Failed
或者:
MethodFormationMethodFormation
决策没有确认
DecisionState≠DecidedDecisionState\neq Decided
则:
BehaviorFormation→PendingBehaviorFormation\rightarrow Pending
条件发生变化
Condition=FalseCondition=False
则:
BehaviorFormation→BlockedBehaviorFormation\rightarrow Blocked
因此,行为形成系统不能为了产生行为而强行制造行为。
NoValidFormation⇒NoBehavior\boxed{ NoValidFormation \Rightarrow NoBehavior }
这是一条重要的 ICAI 工程原则。
107.15 案例验证
假设一个机器个体需要把一个正在运行的设备转换到安全状态。
首先建立目标:
Goal:Running→SafeGoal: Running\rightarrow Safe
然后检查能力:
Capability=SafeShutdownCapability=SafeShutdown
当前能力状态:
CapabilityState=AvailableCapabilityState=Available
机器个体已经具有适用方法:
Method=SafeShutdownMethodMethod=SafeShutdownMethod
方法包括:
Step1=StopStep_1=Stop Step2=CheckStep_2=Check Step3=SwitchSafeStep_3=SwitchSafe Step4=VerifyStep_4=Verify
然后形成最终决策:
Decision=ExecuteSafeShutdownDecision=ExecuteSafeShutdown
决策状态:
DecisionState=DecidedDecisionState=Decided
继续检查行为条件:
ObjectState=RunningObjectState=Running CapabilityState=AvailableCapabilityState=Available ResourceAvailable=TrueResourceAvailable=True SafetyCondition=TrueSafetyCondition=True
于是:
FormationValid=TrueFormationValid=True
形成行为:
Behavior={Subject=MachineIndividual,Object=Device,Goal=Safe,Method=SafeShutdownMethod,Decision=ExecuteSafeShutdown,Purpose=EnterSafeState}Behavior= \{ Subject=MachineIndividual, Object=Device, Goal=Safe, Method=SafeShutdownMethod, Decision=ExecuteSafeShutdown, Purpose=EnterSafeState \}
随后根据方法步骤形成动作:
Behavior→Stop→Check→SwitchSafe→VerifyBehavior \rightarrow Stop \rightarrow Check \rightarrow SwitchSafe \rightarrow Verify
最终:
ActualState=SafeActualState=Safe
于是:
BehaviorResult=SuccessBehaviorResult=Success
完整形成过程为:
Goal→Capability→Method→Decision→Behavior→Action→Result\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior \rightarrow Action \rightarrow Result }
这个过程说明,行为不是一个孤立的动作,而是前面整个认知、目标、能力、方法和决策体系共同形成的运行对象。
107.16 行为形成统一模型
综合本章,可以建立行为形成统一模型:
BF=F(G,C,M,D,Cond)\boxed{ BF= F( G, C, M, D, Cond ) }
其中:
- GG:目标;
- CC:能力;
- MM:方法;
- DD:决策;
- CondCond:行为形成条件。
完整过程:
Goal→Capability→Method→Decision→ConditionCheck→ConstraintCheck→Behavior\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow ConditionCheck \rightarrow ConstraintCheck \rightarrow Behavior }
行为形成之后:
Behavior→Action→Execution→Result\boxed{ Behavior \rightarrow Action \rightarrow Execution \rightarrow Result }
结果继续进入个体学习:
Result→Feedback→Memory→Experience→Learning\boxed{ Result \rightarrow Feedback \rightarrow Memory \rightarrow Experience \rightarrow Learning }
最终形成:
Goal→Capability→Method→Decision→Behavior→Action→Result→Experience→Learning\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior \rightarrow Action \rightarrow Result \rightarrow Experience \rightarrow Learning }
107.17 本章总结
本章建立了 ICAI 的行为形成理论。
行为形成不是随机产生,也不是由单一动作直接产生,而是由目标、能力、方法和决策逐层转换形成。
其基本关系为:
Goal→Capability→Method→Decision→Behavior\boxed{ Goal \rightarrow Capability \rightarrow Method \rightarrow Decision \rightarrow Behavior }
其中:
目标决定行为方向:
Goal→PurposeGoal\rightarrow Purpose
能力决定行为可能性:
Goal→CapabilityRequirement→CapabilityGoal\rightarrow CapabilityRequirement \rightarrow Capability
方法决定行为方式:
Capability+Goal→MethodCapability+Goal\rightarrow Method
决策决定最终采用的行为方案:
Method→DecisionMethod\rightarrow Decision
行为形成则将最终决策转换为实际行为:
Decision→BehaviorDecision\rightarrow Behavior
因此:
BehaviorFormation=Goal+Capability+Method+Decision+Condition\boxed{ BehaviorFormation= Goal+ Capability+ Method+ Decision+ Condition }
行为形成并不意味着行为已经完成,而只是建立了可以进入执行阶段的行为对象:
BehaviorFormation→BehaviorExecution→BehaviorResultBehaviorFormation \rightarrow BehaviorExecution \rightarrow BehaviorResult
如果形成条件不满足:
FormationCondition=FalseFormationCondition=False
则不能强行产生行为:
NoValidFormation⇒NoBehavior\boxed{ NoValidFormation\Rightarrow NoBehavior }
最终,ICAI 建立了从目标到行为的完整结构:
目标→能力→方法→决策→行为\boxed{ 目标 \rightarrow 能力 \rightarrow 方法 \rightarrow 决策 \rightarrow 行为 }
这条链路把个体内部的目标、能力、方法和决策正式转换为可运行的行为对象,为后续行为匹配、行为选择、行为状态、行为执行和行为结果评价建立基础。