F表示事实(Facts)——人类对客观世界、客观事物 的状态、属性、特征的描述,以及对事物之间关系 的描述 R表示规则(Rules)——能表达在前提与结论之间的 因果关系的一种形式 C表示概念(Concepts)——事实的含义规则语义说 明等
5
第二章 知识表达技术
2021/12/10
2.2 知识表达技术
的冲突消解策略,这也是区分传统程序与产生式系统行为特征的关键
逻辑程序中的语句可以视作产生式规则的一种特殊形式
在产生式系统中,一条规则仅描述前提条件与行为之间的静态关 系,因此,规则的正确性应当独立地得到保证。这就是规则的自含性 ,正是由于产生式规则的自含性特点,才使得知识的表示与控制的分 离成为可能。
S—状态集合;O—操作算子集合;S0—初始状态,S0S;G—目的 状 态,GS,(G可若干具体状态,也可满足某些性质的路径信息描 述)
从S0结点到G结点的路径被称为求解路径。
状态空间一解是一有限操作算子序列,它使初始状态转换为目标状态
:
O1
O2
O3
Ok
S0S1S2……G
其中O1,…,Ok即为状态空间的一个解(解往往不是唯一的)
0
第二章 知识表达技术
2021/12/10
2.5 产生式系统
规则解释(控制器)——根据有关问题的控制型知识,选择控制策略,将 规则与事实进行匹配,控制并利用知识进行推理并求解问题
通常从选择规则到执行操作分3步:
匹配、冲突消解和操作——由匹配器负责判断规则条件是否成立,冲 突消解器负责选择可调用的规则,解释器负责执行规则的动作,并在 满足结束条件时终止产生式系统的运行。
P311(f1) S0->S1
P312(f2) S1->S2