非单调逻缉

本项目研究人工智能中的的非单调逻辑，解决了各种现有的主要非单调逻辑一些存在的技术难题，给出了一种解决非单调逻辑悖论问题的办法，比较研究了各种非单调逻辑之间的相互关系，建立了一类主要非单调逻辑的统一基础，提出了几种新的非单调逻辑，包括新模态的非单调逻辑和三值非单调逻辑，并提出了一类新非经典逻辑的非单调超协调逻辑，作为比非单调逻辑在更一般意义形式化常识推理的逻辑基础，从而扩展了非单调逻辑的能力，提出了包括非单调逻辑的各种表系统，从而给出了一种非单调逻辑的实验途径，并应用来解决人工智能中实际问题。本成果经专家鉴定认为国际先水平和国内领先地位，本项研究共在国内刊物上发表学术论文35篇。