可作废推理

推理的不确定性来自信息或知识的不完全,这种不确定性几乎是无处不存在的,它使得修改乃至废除推理过程中的结论显得十分重要,从而也使可作废推理成为智能行为(不论是人或机器的)的显著特征。因此,研究推理的不确定性并使之形式化成为人工智能中最新、最热也最难的方向。本文扼要介绍可作废推理的研究途径、发展、特征和有待解决的问题;同时简介作者的一些新近研究结果,以期引起同行的更深入、更有价值的探索。