超协调缺省逻辑及其应用

超协调缺省逻辑是一种非单调超协调逻辑，作为缺省逻辑的一种超协调扩展形式，刻画在不完全与不协调知识下推理的基本特征。本项目研究超协调缺省逻辑的理论基础，算法实现和应用系统，提出几种重要的超协调缺省逻辑系统，给出它们的语义，证明论，算法,计算复杂性和实现结果，实现不完全与不协调知识下常识推理系统，建立语义Web中具有不完全和不协调本体的表示和标准，应用超协调缺省逻辑解决人工智能中常识知识表示与推理问题。超协调缺省逻辑是人工智能中关于常识推理的研究进展，在计算机科学与人工智能中具有广泛的应用前景，对于处理非规范知识，常识推理，基于知识的系统，知识/本体库，语义Web，动态环境下复杂软件系统等是重要的理论基础和关键技术。

超协调缺省逻辑是一种在不完全与不协调知识下推理的形式系统。双缺省逻辑作为缺省逻辑的一种超协调扩展形式，包含缺省逻辑作为一种特殊形式，不仅能够处理不完全知识推理，而且能够处理不协调（含矛盾）知识推理，同时具有非单调性和超协调性。四值缺省逻辑是一个基于超协调四值语义的缺省逻辑，它具有不平凡性，使得缺省逻辑能处理矛盾而不会产生平凡扩张。极小假设理论是一种辩论语义，不仅能解决优先语义的空扩张问题和稳定语义的无扩张问题，并且给出了在一定条件下极小化假设语义可包含优先语义和稳定语义。非经典描述逻辑作为能处理不完全与不协调知识（本体）的语义Web理论基础，四值描述逻辑和准经典描述逻辑是两种主要的非经典描述逻辑。不协调度量理论对基于不同多值语义的不协调性进行分析，可得到它们之间关系，把不协调性度量转化为不完全MAX-SAT问题，可通过调用SAT求解器实现，基于对不协调性度量进行计算复杂性分析，可实现实用的不协调度量算法。表算法是实现超协调缺省推理和非经典描述逻辑的实现技术。超协调缺省逻辑在计算机科学与人工智能中具有广泛的应用，对于处理非规范知识、常识推理、基于知识的系统、知识/本体库、语义Web和动态环境下复杂软件系统等都是重要的理论基础和关键技术。