若干典型的非单调逻辑的比较研究

本项目首先在一阶语言的情形下对若干典型的非单调逻辑中的非单调推理的困难程度进行研究和比较。我们还研究了非单调逻辑之间或同一非单调逻辑的不同子系统之间的可表示性和半可表示性的理论。特别，我们在缺省逻辑的表示理论方面系统地推进了前人的工作并回答了一系列公开问题。最后，我们还用背景逻辑的思想方法，提出更令人满意的新知识表示逻辑。本项目取得了一系列国际水平的成果，共发表学术论文近二十篇。这些成果不仅有理论意义，而且在智能计算机的研制方面具有潜在的应用价值。