2020/10/15
7
产生式表示法
如果一组事实可以同时使几个产生式前提为真， 常用以下方法进行选择Fra bibliotek冲突消解策略）：
将所有产生式排序，选最早匹配成功的一个，不管 其余的产生式；
在所有匹配成功的产生式中取最强的，即前提条件 最多或情况元素最多者；
最近用过的产生式优先（或反之）；
给情况元素以不同的优先权；
(2)(有人看见两个非白点)(n>=1) (Si=2) =>(Wi=1),(i=1,2,3,下同)； (3)( i ) (Wi=1) (n>=1) => (n=1) ； (4) (n=1) => ( i ) (Wi=1) ； (5) ( i ) (Wi=0) (n>=1) => (n>=2) ; (6) (n>=2) <=>X0 ＝ { (0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1,1)}； (7) (有人看见一个非白点)(n>=2) (Si=1) =>(Wi=1); (8) ( i ) (Wi=1) (n>=2) => (n=2) ; (9) (n=2) => ( i ) (Wi=1); (10) ( i ) (Wi=0) (n>=2) => (n=3); (11) (n=3) <=> X0 ＝ { (1,1,1)}； (12) (n=3) => ( i ) (Wi=1).
0表示非白色。 X＝(x1,x2,x3)表示颜色分布状态。 全部可能的状态集合(可能界PW0)：
{(0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1), (1,1,0),(1,1,1)} 实际给定的状态为现实界X0 ＝(x10,x20,x30) 用排除法找到X0 。
