非单调推理于19世纪 70 年代被提出,是人工智能中的一种重要的推理方式。所谓非单调推理,指的是一个正确的公理加到理论T中,反而会使预先所得到的一些结论变得无效了。寻求失效的结论是单调逻辑中不存在的问题。从这个意义上说,非单调推理就明显地比单调推理来得复杂。非单调推理的基本出发点是古典的完备性:对一个理论来说,任一公式P,或者是P可证明或者是P的非可证明。这样,为保证一个理论是完备的,可增加命题P,如果P的非不能由该理论推演出来,将这样的命题P假设是成立的,加到理论中参予推理,便是非单调的推理方式。
没有数据了, 换个别的吧!
参考链接
微信扫码咨询专知VIP会员