论文部分内容阅读
非单调逻辑是近年来人工智能领域的一个活跃研究分支，是人工智能进一步发展的核心问题之一。人工智能研究的发展，迫使人们去面对人的常识和常识推理的形式化问题。因为人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理，而在于最能体现人的智能特征的能动性、创造性思维活动，而常识推理就是这种智能性最集中的表现。常识推理具有非单调性的特点，即随着新信息的加入，原先的结论可能会被修改或废止。这样的推理被称为非单调推理。而现有的经典逻辑无法刻画非单调推理。非单调逻辑就这样应运而生。此外，非单调逻辑的产生还与一些