A第8章不确定性知织的表示与推理 在这种三值逻辑中,命题的真值,除了“真”、“假” 外,还可以是“不能判定”。其逻辑运算定义如下: ∧ T F UV T F U P P TIT F UITT TT FIF F FFT F U FIT UIU F ULUIT T U 其中的第三个真值的语义为“不可判定”,即不知道。显然, 遵循这种逻辑,就可在证据不完全不充分的情况下进行推理
第 8 章 不确定性知识的表示与推理 在这种三值逻辑中, 命题的真值, 除了“真” 、 “假” 外, 还可以是“不能判定” 。 其逻辑运算定义如下： ∧ T F U T F U T F U F F F U F U ∨ T F U T F U T T T T F U T T U P P T F U T T U 其中的第三个真值U的语义为“不可判定” ,即不知道。显然, 遵循这种逻辑,就可在证据不完全不充分的情况下进行推理
A第8章不确定性知织的表示与推理 IH HIm 8.1.5非单调逻辑 所谓“单调”,是指一个逻辑系统中的定理随着推理的进 行而总是递增的。那么,非单调就是逻辑系统中的定理随着推 理的进行而并非总是递增的,就是说也可能有时要减少。传统 的逻辑系统都是单调逻辑。但事实上,现实世界却是非单调的 例如,人们在对某事物的信息和知识不足的情况下,往往是先按 假设或默认的情况进行处理,但后来发现得到了错误的或者矛 盾的结果,则就又要撤消原来的假设以及由此得到的一切结论。 这种例子不论在日常生活中还是在科学研究中都是屡见不鲜的。 这就说明,人工智能系统中就必须引入非单调逻辑
第 8 章 不确定性知识的表示与推理 8.1.5 所谓“单调” ,是指一个逻辑系统中的定理随着推理的进 行而总是递增的。那么,非单调就是逻辑系统中的定理随着推 理的进行而并非总是递增的, 就是说也可能有时要减少。传统 的逻辑系统都是单调逻辑。但事实上,现实世界却是非单调的。 例如,人们在对某事物的信息和知识不足的情况下,往往是先按 假设或默认的情况进行处理, 但后来发现得到了错误的或者矛 盾的结果, 则就又要撤消原来的假设以及由此得到的一切结论。 这种例子不论在日常生活中还是在科学研究中都是屡见不鲜的。 这就说明,人工智能系统中就必须引入非单调逻辑
A第8章不确定性知织的表示与推理 在非单调逻辑中,若由某假设出发进行的推理中一旦出 现不一致,即出现与假设矛盾的命题,那么允许撤消原来的 假设及由它推出的全部结论。基于非单调逻辑的推理称为非 单调逻辑推理,或非单调推理。 非单调推理至少在以下场合适用: (1)在问题求解之前,因信息缺乏先作一些临时假设, 而在问题求解过程中根据实际情况再对假设进行修正
第 8 章 不确定性知识的表示与推理 在非单调逻辑中, 若由某假设出发进行的推理中一旦出 现不一致, 即出现与假设矛盾的命题, 那么允许撤消原来的 假设及由它推出的全部结论。基于非单调逻辑的推理称为非 单调逻辑推理, 或非单调推理。 非单调推理至少在以下场合适用： (1) 在问题求解之前, 因信息缺乏先作一些临时假设, 而在问题求解过程中根据实际情况再对假设进行修正
A第8章不确定性知织的表示与推理 (2)非完全知识库。随着知识的不断获取,知识数目渐增 则可能出现非单调现象。例如,设初始知识库有规则 yx(bird(x)→→fly(x) 即“所有的鸟都能飞”。后来得到了事实: bird(ostrich 即“驼鸟是一种鸟”。如果再将这条知识加入知识库则就出 现了矛盾,因为驼鸟不会飞。这就需要对原来的知识进行修改
第 8 章 不确定性知识的表示与推理 (2) 非完全知识库。随着知识的不断获取, 知识数目渐增, 则可能出现非单调现象。例如, 设初始知识库有规则： x(bird(x)→fly(x)) 即“所有的鸟都能飞” 。 后来得到了事实： bird(ostrich) 即“驼鸟是一种鸟” 。如果再将这条知识加入知识库则就出 现了矛盾, 因为驼鸟不会飞。这就需要对原来的知识进行修改。
A第8章不确定性知织的表示与推理 (3)动态变化的知识库。常见的非单调推理有缺省推 理( reasoning by default)和界限推理。由于篇幅所限,这 两种推理不再详细介绍,有兴趣的读者可参阅有关专著
第 8 章 不确定性知识的表示与推理 (3) 动态变化的知识库。常见的非单调推理有缺省推 理(reasoning by default )和界限推理。由于篇幅所限, 这 两种推理不再详细介绍, 有兴趣的读者可参阅有关专著