非单调超协调逻辑及其应用

非单调超协调逻辑是一类新的非经典逻辑，刻画在不完全与不协调（含矛盾）知识下推理的基本特征。本项目研究非单调超协调逻辑的理论基础，算法实现和应用系统，提出各种非单调超协调逻辑系统，给出它们的语义，证明论，算法,计算复杂性和机械证明实现结果，基于非单调超协调逻辑语义扩展逻辑程序，给出具有良好语义和计算能力的新的逻辑程序设计途径，实现不完全与不协调知识下常识推理系统，并应用非单调超协调逻辑解决人工智能中常识知识表示与推理问题，建造具有不完全和含矛盾本体的大型知识库，研制应用于网络环境中自动信息搜集的智能软件系统。非单调超协调逻辑是人工智能中关于常识推理研究的突破性进展，在计算机科学与人工智能中具有广泛的应用前景，对于处理非规范知识，常识推理，基于知识的系统，知识库，语义互联网，动态环境下复杂软件系统等是必要的理论基础和关键技术。