3.2非单调推理 ■缺省推理:S默认成立,当且仅当不能证明S不成立。 例如:鸟会飞。 x is bird THEn X can fly 自认知逻辑:如果知道S,如果不知道其他任何事实与S矛盾,那么S成立。 例如:知道天鹅A会飞,不知道其他,那么天鹅A就是会飞。 界限推理:当且仅当没有事实证明S在更大范围内成立,那么S只在指定的 范围内成立。 例如:安徽大学的学位在大陆被承认。 2021/12/14
2021/12/14 6 3.2 非单调推理 ◼ 缺省推理：S默认成立，当且仅当不能证明S不成立。 例如：鸟会飞。IF x is bird THEN x can fly. ◼ 自认知逻辑：如果知道S，如果不知道其他任何事实与S矛盾，那么S成立。 例如：知道天鹅A会飞，不知道其他，那么天鹅A就是会飞。 ◼ 界限推理：当且仅当没有事实证明S在更大范围内成立，那么S只在指定的 范围内成立。 例如：安徽大学的学位在大陆被承认
非单调 3.2.1缺省推理 1.缺省推理的定义: o定义1:如果Ⅹ不知道,那么得结论Y。 o定义2:如果Ⅹ不能被证明,那么得结论Y。 定义3:如果X不能在某个给定的时间内被证明,那么得结论Y。 2021/12/14
3.2 非单调推理 1. 缺省推理的定义： 定义1：如果X不知道，那么得结论Y。 定义2：如果X不能被证明，那么得结论Y。 定义3：如果X不能在某个给定的时间内被证明，那么得结论Y。 3.2.1 缺省推理 2021/12/14 7
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/14
2. 缺省规则的表示 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
3.缺省规则的分类 (1)规范缺省规则:B(x)=C(x) A(x): M(B(X B(x) 例如:一般大学生都掌握英语 STUDENT(X: M(MASTER-ENG(X)) MASTER-ENG(X) 例如:一般大学生都不掌握西班牙语 STUDENT(X): M(MASTER-SPAN(X)) MASTER-SPAN(X) 2021/12/14
3. 缺省规则的分类 （1）规范缺省规则：B(x)=C(x) A(x):M(B(x)) B(x) 例如：一般大学生都掌握英语 STUDENT(x):M(MASTER-ENG(x)) MASTER-ENG(x) 例如：一般大学生都不掌握西班牙语 STUDENT(x):M(~MASTER-SPAN(x)) ~MASTER-SPAN(x) 2021/12/14 9
3.缺省规则的分类 (2)半规范缺省规则:B(x)=C(x)∧~D(x) A(xM(C(x)∧~D(x) C(x) 例如:除企鹅外,大多数鸟都会飞 BIRD(X: M(FLY(x)M-PENGUIN(X)) FLY(x) 例如:除鹦鹉外,一般动物都不会学人说话 ANIMAL(x): M(SPEAK(X)A-PARROT(x) CSPEAK(X) 2021/12/14
3. 缺省规则的分类 （2）半规范缺省规则：B(x)=C(x)∧~D(x) A(x):M(C(x)∧~D(x)) C(x) 例如：除企鹅外，大多数鸟都会飞 BIRD(x):M(FLY(x)∧~PENGUIN(X)) FLY(x) 例如：除鹦鹉外，一般动物都不会学人说话 ANIMAL(x):M(~SPEAK(X)∧~PARROT(x)) ~SPEAK(X) 2021/12/14 10