非单调逻辑与汉字的辨认输入输出

我们的成果主要分四个方面.1给出了一个铁省逻辑的一个形式化的框架,该框架可以移多种形式的缺省逻辑统一真情为。为把非单调推理更广泛地应用于计算机科学提供了强有力的工具。2、对李未教授创立的开放逻辑进行了深入的研究，一方面。我们根据开放逻辑的思想提出了缺省推理的分阶段实现方法。另一方面，我们建立了开放逻辑的变种；提出沿子结构链和递归认识进程的概念并研究了其收敛性。3、创立了断言的缺省逻辑ADL彻底解决了Etherington提了同了扩弃产生程序的收敛性问题。并且否证了Matek等人的猜想。4、研究了信念逻辑的完备性问题。刻画了Levesgue信息逻辑中模态词的语义特征，我们这些成查不仅具有一定的理论意义，且具有广阔的应用前景。