2缺省规则的表示 A(x):MB(x)…,MB(x)例如 BIRD(): MFLYx C(x) FLY A(x)是先决条件;B(x)是默认条件; 如果x是一只鸟,并且 C(x)是结论 没有知识表明x不会飞, M为模态算子:假定相容 那么x会飞。 如果不能证明B1(x)…,Bn(x)有不成立的, 则由A(x)成立,可以推出C(x)成立 (Vx)BIRD(x)~ PENGUIN(x)∧~ OSTRICH(x)∧….FLY(x) 2021/12/142. 缺省规则的表示 A(x) : MB1 (x),…, MBn (x) C(x) A(x)是先决条件； Bi (x)是默认条件； C(x)是结论。 M为模态算子：假定…相容 如果不能证明B1 (x),…, Bn (x)有不成立的， 则由A(x)成立，可以推出C(x)成立 例如： BIRD(x) ： MFLY(x) FLY(x) 如果 x是一只鸟，并且 没有知识表明x不会飞， 那么x会飞。 一般情况下鸟会飞。 (x)[BIRD(x)∧~PENGUIN(x)∧~OSTRICH(x)∧ …→FLY(x)] 2021/12/14 8