第43章 认知匹配—行为形成理论
43.1 提出背景
前面的理论已经建立了从世界结构到知识组织的基础体系。
第40章建立:
World→Class→ObjectWorld\rightarrow Class\rightarrow Object
解决机器如何描述世界中的类别与对象。
第41章建立:
Object→Relation→SceneObject\rightarrow Relation\rightarrow Scene
解决对象如何通过关系形成动态场景。
第42章建立:
Class→Organization→CompositionClass\rightarrow Organization\rightarrow Composition
解决机器如何对已有知识结构进行组织和组合。
但是,这些结构仍然存在一个关键缺口:
机器知道了对象,也知道了关系、场景和知识,为什么能够进一步形成行为?
例如,机器已经知道:
设备#001
↓
故障
也知道:
维修人员#001
维修
设备#001
并且已经拥有:
故障知识
维修方法
维修工具
维修步骤
但这些知识本身并不会自动成为行为。
机器还必须经过一个中间过程:
认知
↓
匹配
↓
条件判断
↓
目标关联
↓
行为选择
↓
行为结构形成
↓
动作执行
因此,本章建立:
Cognition→Matching→Behavior Formation\boxed{ Cognition \rightarrow Matching \rightarrow Behavior\ Formation }
本章的核心任务,就是建立认知到行为之间的中间机制。
43.2 认知的定义
**认知(Cognition)**是机器对对象、属性、状态、关系、场景、知识以及目标等结构进行识别、表示和理解的过程。
机器认知的基本输入可以表示为:
C=⟨O,A,S,R,Sc,K,G⟩C=\langle O,A,S,R,Sc,K,G\rangle
其中:
- OO:对象;
- AA:属性;
- SS:状态;
- RR:关系;
- ScSc:场景;
- KK:知识;
- GG:目标。
认知的结果不是直接产生动作,而是形成一个可用于后续匹配和行为形成的认知结构。
因此:
现实世界
↓
对象
↓
属性
↓
状态
↓
关系
↓
场景
↓
认知结构
43.3 匹配的定义
**认知匹配(Cognitive Matching)**是机器将当前认知结构与已有类、对象、属性、状态、关系、场景、知识、方法或目标结构进行比较,并确定结构对应关系的过程。
匹配解决:
当前认知到的结构,与已有结构之间有什么对应关系?
例如:
当前对象:
电机#001
已有知识:
电机故障知识
匹配:
对象类 = 电机
状态 = 故障
故障类型 = 轴承异常
于是:
CurrentState→KnowledgeCurrentState\rightarrow Knowledge
形成知识匹配结果。
43.4 匹配不是简单相等
机器匹配并不意味着两个结构完全相同。
例如:
当前对象:
电机#001
知识对象:
电机类
二者不是同一个对象,但存在:
InstanceOf
关系。
又例如:
当前状态:
温度=90℃
知识条件:
温度>80℃
二者不是相同值,但满足条件关系。
因此匹配可以包括:
类别匹配
实例匹配
属性匹配
状态匹配
关系匹配
场景匹配
条件匹配
目标匹配
方法匹配
43.5 认知匹配的基本结构
可以定义:
Match(C,K)Match(C,K)
表示当前认知结构 CC 与知识结构 KK 之间的匹配结果。
进一步:
Match=Mc+Mo+Ma+Ms+Mr+Msc+MgMatch= M_c+M_o+M_a+M_s+M_r+M_{sc}+M_g
其中:
- McM_c:类匹配;
- MoM_o:对象匹配;
- MaM_a:属性匹配;
- MsM_s:状态匹配;
- MrM_r:关系匹配;
- MscM_{sc}:场景匹配;
- MgM_g:目标匹配。
匹配结果可以表示为:
匹配
↓
完全匹配
部分匹配
条件匹配
层次匹配
关系匹配
不匹配
43.6 为什么匹配是行为形成的中间机制
行为不能直接从对象产生。
例如:
设备#001
只是对象。
即使知道:
设备#001
状态=故障
仍然不能直接得到行为。
必须经过:
设备#001
↓
识别为电机
↓
匹配故障状态
↓
匹配故障知识
↓
匹配维修方法
↓
匹配当前目标
↓
形成维修行为
因此:
Object≠BehaviorObject\neq Behavior
而:
Object→Cognition→Matching→BehaviorObject \rightarrow Cognition \rightarrow Matching \rightarrow Behavior
这就是本章最核心的中间机制。
43.7 从认知到行为的完整链条
建立:
现实世界
↓
感知/输入
↓
对象识别
↓
对象认知
↓
属性识别
↓
状态识别
↓
关系识别
↓
场景识别
↓
目标确定
↓
知识匹配
↓
方法匹配
↓
行为选择
↓
行为形成
↓
动作形成
↓
执行
↓
反馈
可以压缩为:
Cognition→Matching→Selection→Behavior→Action\boxed{ Cognition \rightarrow Matching \rightarrow Selection \rightarrow Behavior \rightarrow Action }
43.8 行为形成的定义
**行为形成(Behavior Formation)**是机器根据当前认知状态、目标、匹配结果以及可用知识和方法,构造出具有目标、条件、对象、步骤和动作结构的行为过程。
行为不是一个单独动作。
例如:
维修设备
是行为。
其中可以包含:
检查设备
↓
确定故障
↓
准备工具
↓
拆卸部件
↓
更换部件
↓
安装
↓
测试
因此:
Behavior=Goal+Condition+Object+Method+ActionBehavior= Goal+Condition+Object+Method+Action
43.9 行为形成的输入
行为形成至少需要以下结构:
目标
+
对象
+
状态
+
场景
+
知识
+
方法
+
匹配结果
可以定义:
B=F(G,O,S,Sc,K,M,Match)B=F(G,O,S,Sc,K,M,Match)
其中:
- GG:目标;
- OO:对象;
- SS:状态;
- ScSc:场景;
- KK:知识;
- MM:方法;
- MatchMatch:匹配结果。
这意味着行为形成不是随机过程,而是由多个认知结构共同决定。
43.10 目标与行为形成
行为首先必须有目标。
例如:
目标:
恢复设备运行
机器才需要寻找:
什么对象?
什么状态?
什么知识?
什么方法?
什么行为?
因此:
Goal→BehaviorSelectionGoal\rightarrow BehaviorSelection
不同目标会产生不同的行为。
例如:
目标A:
恢复设备运行
可能形成:
维修行为
而:
目标B:
确定设备故障原因
可能形成:
检测行为
因此:
Behavior=f(Goal,Cognition)Behavior=f(Goal,Cognition)
43.11 状态与行为形成
状态是行为形成的重要条件。
例如:
设备状态=正常
不一定需要维修行为。
而:
设备状态=故障
则可能进入:
故障判断
↓
维修方法匹配
↓
维修行为形成
因此:
State→BehaviorConditionState\rightarrow BehaviorCondition
状态决定哪些行为可以成立、哪些行为不适用。
43.12 场景与行为形成
同一个对象在不同场景中可以产生不同的行为。
例如:
电机#001
在生产场景:
生产行为
在检测场景:
检测行为
在维修场景:
维修行为
因此:
Behavior=f(Object,Scene)Behavior=f(Object,Scene)
场景成为行为形成的重要约束。
43.13 知识匹配
机器面对当前认知结构后,需要从已有知识中寻找相关结构。
例如:
当前认知:
对象:
电机#001
状态:
温度异常
关系:
连接生产线
场景:
生产场景
机器进行:
类匹配
↓
电机类
状态匹配
↓
过热状态
知识匹配
↓
电机过热知识
方法匹配
↓
温度检查方法
于是形成:
认知
↓
知识匹配
↓
方法匹配
43.14 方法匹配
知识匹配之后,并不一定立即形成行为。
还需要确定:
采用什么方法解决当前目标。
例如:
故障:
轴承异常
已有方法:
方法A:
润滑
方法B:
调整
方法C:
更换轴承
机器根据:
故障状态
+
目标
+
设备类型
+
方法适用条件
进行方法匹配。
形成:
MethodMatch(C,M)MethodMatch(C,M)
最终选择:
更换轴承方法
43.15 行为候选结构
匹配完成后,机器可以形成多个候选行为。
例如:
当前状态:
电机过热
候选行为:
B1:检查温度
B2:检查电流
B3:检查轴承
B4:停止设备
B5:更换轴承
此时还没有真正执行行为。
机器首先建立:
Bcandidate={B1,B2,⋯ ,Bn}B_{candidate}=\{B_1,B_2,\cdots,B_n\}
然后根据:
目标
状态
场景
知识
方法
条件
进行选择。
43.16 行为选择
行为选择可以表示:
B∗=Select(Bcandidate,G,C)B^*=\operatorname{Select}(B_{candidate},G,C)
其中:
- BcandidateB_{candidate}:候选行为集合;
- GG:目标;
- CC:当前认知状态;
- B∗B^*:最终选择的行为。
例如:
候选行为
↓
检查温度
检查电流
检查轴承
更换轴承
如果当前知识表明:
温度异常
+
轴承状态异常
则:
检查轴承
可能成为当前行为。
43.17 行为结构形成
行为选择之后,需要建立完整行为结构。
例如:
行为:
检查轴承
可以组织为:
目标:
确定轴承是否故障
对象:
电机#001
轴承#001
条件:
设备停止
方法:
轴承检测方法
动作:
拆开防护
↓
检查轴承
↓
记录结果
↓
恢复设备
因此:
Behavior=⟨Goal,Object,Condition,Method,Action,Feedback⟩Behavior= \langle Goal,Object,Condition,Method,Action,Feedback\rangle
43.18 行为与动作的区别
必须严格区分:
Behavior≠ActionBehavior\neq Action
行为是较高层次的目标结构。
**动作(Action)**是行为中的具体执行单元。
例如:
维修设备
是行为。
其中:
关闭设备
拆卸外壳
取出轴承
安装新轴承
重新启动
是动作。
因此:
Behavior
↓
Action1
↓
Action2
↓
Action3
↓
Action4
行为组织动作,动作实现行为。
43.19 认知匹配到行为形成
本章最核心的中间链条可以表示为:
当前认知
↓
对象匹配
↓
状态匹配
↓
关系匹配
↓
场景匹配
↓
目标匹配
↓
知识匹配
↓
方法匹配
↓
行为候选
↓
行为选择
↓
行为形成
形式化:
C→Match→Knowledge→Method→Behavior\boxed{ C \rightarrow Match \rightarrow Knowledge \rightarrow Method \rightarrow Behavior }
这就是认知到行为之间的中间机制。
43.20 匹配结果如何转化为行为条件
匹配本身只是认知结果。
例如:
对象匹配:
电机#001
状态匹配:
故障
场景匹配:
维修场景
知识匹配:
轴承故障知识
这些匹配结果必须进一步转化为行为条件:
对象:
电机#001
条件:
轴承故障
目标:
恢复运行
方法:
更换轴承
因此:
MatchResult→BehaviorConditionMatchResult \rightarrow BehaviorCondition
这是一个非常重要的转换过程。
43.21 行为形成规则
行为形成可以采用明确规则。
例如:
Rule:Fault(Device)∧Goal=Repair∧MethodApplicable→RepairBehaviorRule: Fault(Device) \land Goal=Repair \land MethodApplicable \rightarrow RepairBehavior
表示:
如果:
设备存在故障
+
目标是维修
+
维修方法适用
则:
形成维修行为
这是一种确定性的结构规则。
43.22 行为形成不是直接反射
简单反射机制:
输入
↓
动作
例如:
温度高
↓
停止设备
而认知行为机制是:
输入
↓
对象识别
↓
状态识别
↓
场景识别
↓
目标判断
↓
知识匹配
↓
方法匹配
↓
行为形成
↓
动作
因此:
Input→ActionInput\rightarrow Action
被提升为:
Input→Cognition→Matching→Behavior→Action\boxed{ Input \rightarrow Cognition \rightarrow Matching \rightarrow Behavior \rightarrow Action }
这就是认知行为系统与简单反应系统之间的重要区别。
43.23 行为形成的闭环
行为形成不是一次性过程。
执行动作之后会产生反馈:
行为
↓
动作
↓
执行
↓
反馈
↓
状态更新
↓
重新认知
↓
重新匹配
↓
下一行为
因此:
Ct→Matcht→Bt→At→Ft→Ct+1C_t \rightarrow Match_t \rightarrow B_t \rightarrow A_t \rightarrow F_t \rightarrow C_{t+1}
形成认知—行为闭环。
43.24 行为动态形成
由于世界不断变化,行为也必须动态形成。
例如:
初始:
设备故障
↓
形成行为:
检查设备
↓
反馈:
发现轴承异常
↓
重新认知
↓
重新匹配
↓
形成行为:
更换轴承
↓
反馈:
更换完成
↓
重新认知
↓
形成行为:
测试设备
因此:
Behaviort≠Behaviort+1Behavior_t\neq Behavior_{t+1}
行为是随着认知状态变化而动态形成的。
43.25 复杂行为的形成
复杂行为不是一次匹配产生的,而可以由多个行为阶段组合形成。
例如:
故障维修行为
可以形成:
检查行为
↓
诊断行为
↓
拆卸行为
↓
更换行为
↓
安装行为
↓
测试行为
因此:
Bcomplex=Compose(B1,B2,⋯ ,Bn)B_{complex} = Compose(B_1,B_2,\cdots,B_n)
这与第42章的“组织—组合理论”直接连接。
即:
认知匹配
↓
行为候选
↓
行为组织
↓
行为组合
↓
复杂行为
43.26 与第42章的连接
第42章解决:
Knowledge→Organization→CompositionKnowledge \rightarrow Organization \rightarrow Composition
第43章则解决:
Cognition→Matching→BehaviorCognition \rightarrow Matching \rightarrow Behavior
二者连接后:
已有知识
↓
组织
↓
组合
↓
知识结构
↓
认知匹配
↓
方法匹配
↓
行为形成
因此,知识组织为行为形成提供结构基础,而认知匹配负责从当前世界状态进入这些知识结构。
43.27 与第41章的连接
第41章建立:
Object
↓
Relation
↓
Scene
↓
Scene Change
第43章则利用这些结构:
Object
+
Relation
+
Scene
↓
Cognition
↓
Matching
↓
Behavior
因此:
Scene→Cognition→BehaviorScene\rightarrow Cognition\rightarrow Behavior
场景成为行为形成的现实环境。
43.28 完整认知—行为模型
综合第40—43章:
World
↓
Class
↓
Object
↓
Attribute
↓
State
↓
Relation
↓
Scene
↓
Knowledge
↓
Organization
↓
Composition
↓
Cognition
↓
Matching
↓
Method
↓
Behavior
↓
Action
↓
Feedback
↓
World Change
可以形成完整闭环:
Worldt→Cognition→Matching→Behavior→Action→Feedback→Worldt+1\boxed{ World_t \rightarrow Cognition \rightarrow Matching \rightarrow Behavior \rightarrow Action \rightarrow Feedback \rightarrow World_{t+1} }
43.29 工程映射
在WSaiOS认知工程中,本章可以映射为:
Cognition
↓
CognitionEngine
Matching
↓
CognitiveMatchingEngine
Knowledge
↓
KnowledgeEngine
Method
↓
MethodEngine
Behavior
↓
BehaviorEngine
Action
↓
ActionEngine
Feedback
↓
FeedbackEngine
其基本运行过程:
CognitionEngine
↓
生成当前认知结构
↓
CognitiveMatchingEngine
↓
寻找对应知识
↓
MethodEngine
↓
寻找可用方法
↓
BehaviorEngine
↓
形成行为
↓
ActionEngine
↓
执行动作
↓
FeedbackEngine
↓
更新状态
43.30 PHP OOP工程结构
可以建立:
class CognitiveMatchingEngine
{
public function match($cognition, $knowledge)
{
// 对认知结构与已有知识结构进行匹配
}
}
行为形成:
class BehaviorFormationEngine
{
public function form($goal, $context, $matchResult, $method)
{
// 根据目标、场景、匹配结果和方法形成行为
}
}
行为对象:
class CognitiveBehavior
{
protected $goal;
protected $objects = array();
protected $conditions = array();
protected $method;
protected $actions = array();
}
这样理论中的:
认知
匹配
方法
行为
动作
都可以成为独立的工程对象。
43.31 行为形成的数据结构
可以定义:
behavior
├── id
├── goal
├── scene
├── objects
├── conditions
├── matched_knowledge
├── selected_method
├── actions
├── parameters
├── state
└── feedback
这样行为不是一个简单字符串:
"维修设备"
而是一个完整的结构对象。
43.32 行为形成的数据库结构
可以进一步建立:
behaviors
behavior_objects
behavior_conditions
behavior_knowledge
behavior_methods
behavior_actions
behavior_parameters
behavior_feedback
其中:
behavior_knowledge
记录:
行为由哪些知识匹配得到。
behavior_methods
记录:
行为采用什么方法。
behavior_actions
记录:
行为由哪些动作组成。
这样可以完整保存:
Cognition→Matching→BehaviorCognition\rightarrow Matching\rightarrow Behavior
的工程过程。
43.33 认知到行为的中间层
本章最重要的工程思想是:
不能让认知直接调用动作。
不应该:
Cognition
↓
Action
而应该:
Cognition
↓
Matching
↓
Decision
↓
Behavior Formation
↓
Action
其中:
Matching解决结构对应。
Decision解决选择。
Behavior Formation解决行为结构构造。
Action负责具体执行。
因此形成:
Cognition→Matching→Decision→Behavior→Action\boxed{ Cognition \rightarrow Matching \rightarrow Decision \rightarrow Behavior \rightarrow Action }
这就是机器认知到行为之间的完整中间层。
43.34 本章核心模型
本章最终建立四层结构:
第一层:认知
↓
当前世界是什么?
第二层:匹配
↓
当前情况对应什么已有结构?
第三层:行为形成
↓
根据目标和匹配结果应该形成什么行为?
第四层:动作
↓
行为具体如何执行?
形成:
Cognition→Matching→Behavior→Action\boxed{ Cognition \rightarrow Matching \rightarrow Behavior \rightarrow Action }
再加入目标、知识、方法:
Goal+Cognition+Matching+Knowledge+Method→Behavior→Action\boxed{ Goal + Cognition + Matching + Knowledge + Method \rightarrow Behavior \rightarrow Action }
43.35 本章总结
认知匹配—行为形成理论建立了机器从“知道”到“行动”的中间机制。
机器首先形成当前认知:
对象
+
属性
+
状态
+
关系
+
场景
+
目标
然后进行认知匹配:
类匹配
+
对象匹配
+
属性匹配
+
状态匹配
+
关系匹配
+
场景匹配
+
知识匹配
+
方法匹配
匹配结果进入行为形成:
匹配结果
↓
行为条件
↓
行为候选
↓
行为选择
↓
行为结构
最后进入动作:
行为
↓
动作
↓
执行
↓
反馈
↓
重新认知
因此,本章最核心的理论公式是:
Cognition→Matching→Behavior Formation→Action\boxed{ Cognition \rightarrow Matching \rightarrow Behavior\ Formation \rightarrow Action }
进一步完整化:
Goal+Cognition→Matching→Knowledge→Method→Behavior→Action→Feedback\boxed{ Goal + Cognition \rightarrow Matching \rightarrow Knowledge \rightarrow Method \rightarrow Behavior \rightarrow Action \rightarrow Feedback }
由第40—43章可以形成一个更加完整的机器认知基础链:
世界
↓
类
↓
对象
↓
关系
↓
场景
↓
知识
↓
组织
↓
组合
↓
认知
↓
匹配
↓
方法
↓
行为
↓
动作
↓
反馈
↓
世界变化
这意味着,认知并不是行为的终点,而是行为形成的起点;匹配则是连接认知与行为的核心中间机制。
由此,下一章可以自然进入第44章《目标—认知—决策理论》,进一步解决“匹配出多个可能结构之后,机器依据什么进行选择,以及目标如何控制决策”的问题。