非单调逻辑的产生背景

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