首页 理论 架构 工程 文档 白皮书 著作 研究 案例 下载 博客 关于 开始使用 →

第107章 行为形成

第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 行为 }

这条链路把个体内部的目标、能力、方法和决策正式转换为可运行的行为对象,为后续行为匹配、行为选择、行为状态、行为执行和行为结果评价建立基础。

Leave a Reply

Your email address will not be published. Required fields are marked *