非单调推理.pptVIP

非单调推理 在经典逻辑中，我们经常考虑这样一个推理：从前提“所有的人都是有死的”和“苏格拉底是人”推出结论“苏格拉底是有死的”。这样的推理我们称为演绎推理。此类推理有一种非常本质的逻辑特性---单调性（monotonicity）。这种性质表示增加前提不会影响原有结论的推出。 经典逻辑（其代表是命题逻辑和一阶逻辑）只研究单调推理，所以我们称此类逻辑为单调逻辑（monotonic logics）。 然而在人类日常推理中，因为根据的信息往往是不完全的，所以推理出的结论往往是可错的。 比如我们通常认为“鸟会飞”， 知道“tweety是一只鸟”的话就会推出结论“tweety会飞”。 一旦我们又有了新的证据，例如，增加前提“tweety是一只鸵鸟”，我们知道通常“鸵鸟是不会飞的”，则先前的结论“tweety会飞”就不合理了。也就是说，增加前提使原先推出的结论推不出。 换句话讲，这样的推理不具单调性。我们称这种性质为非单调性（nonmonotonicity），称这样的推理为非单调推理（nonmonotonic reasoning），有时也称为常识推理(commonsense reasoning)。 目前，关于非单调推理的研究已成为人工智能领域中的一个热点，在著名的人工智能会议上，如IJCAI、AAAI、KR及NMR等，均集中地反映了其研究的进展。尤其是进入80年代后，各主要发达国家（如美