关于2. 产生式系统.pptVIP

* * 一个产生式系统称为可交换的，如果对任意状态描述D具有如下性质： (a) 设RD是可应用于D的规则集，任取r ∈RD， r作用于D得 D’，设为D’= r (D)，则r对D’ 可用(即：设D’的可用规则集为RD’，则r∈ RD’ ，即RD? RD’ )；（每一条对D可应用的规则，对于对D应用一条可应用的规则后所产生的状态描述仍是可应用的）（可应用性） 可交换产生式系统定义 * * (b)设D满足目标条件，D的可用规则集为RD，任取 r∈ RD ，用r作用到D产生状态D’ ，D’满足目标条件。（如果D满足目标条件，则对D应用任何一条可应用的规则所产生的状态描述也满足目标条件） （可满足性）。 * * （c）设D的可用规则集为RD，任取 r1, r2, …, rn ∈RD，依据（a）将r1, r2, …, rn依次作用到D及产生的状态上，得状态Dn；设r1’, r2’, …, rn’ 是 r1, r2, …, rn的任意一个排列，用r1’, r2’, …, rn’依次作用到D及产生的状态上，得状态Dn’，则Dn’= Dn （对D应用一个由可应用于D的规则所构成的规则序列所产生的状态描述不因序列的次序不同而改变）(无次序性）。 * * R1 R3 R1 S12 S11 S0 S13 S3 S2 SG S1 R3 R2 R1 R2 R3 R1 R2 R3 R2 R1 R3