论文部分内容阅读
本文综述非单调逻辑十五年来的主要成果.分析非单调逻辑的理论实质、现有困难和应用前景.作者认为,非单调逻辑的理论实质是演绎推理同某种优先序的结合;非单调逻辑的现有困难主要是实现效率;非单调逻辑的发展和应用前景不容乐观.
This paper reviews the main achievements of nonmonotonic logic over the past 15 years, and analyzes the theoretical essence, existing difficulties and application prospects of nonmonotonic logic.The author believes that the theoretical essence of nonmonotonic logic is the combination of deductive reasoning and some prioritization; nonmonotonic logic The existing difficulties are mainly to achieve efficiency; non-monotonic logic development and application prospects are not optimistic.