非单调逻辑十五年

A BRIEF SURVEY ON THE 15 YEAR'S PROGRESS OF NONMONOTONIC LOGIC

本文综述非单调逻辑十五年来的主要成果.分析非单调逻辑的理论实质、现有困难和应用前景.作者认为,非单调逻辑的理论实质是演绎推理同某种优先序的结合;非单调逻辑的现有困难主要是实现效率;非单调逻辑的发展和应用前景不容乐观.

In this paper, we gave a brief survey of the progresses of nonmonotonic logics from 1980 to 1995. The theoretical nature, the major difficulties and the applications prospects of nonmonotonic logics is analyzed. The authors argued that (1) the theoretical nature of nonmonotonic logics is the combination of deductive reasoning and a certain sort of priority order; (2) the major difficulty that most nonmonotonic logics encounter is the efficiency of implementation; (3) there is no much reason to be optimistic on the development and applications prospect of nonmonotonic logics.