语言量词的积分语义与非可换逻辑研究

作为智能信息处理技术理论基础之一的非经典逻辑，近年取得了长足进步。本项目将围绕如下两个新方向开展研究：语言量词的积分语义、非可换逻辑。在语言量词方向上，拟将我国学者新近创立的基于Sugeno积分的语言量词模型做进一步拓展，建立基于广义Sugeno积分的语言量词模型，深入研究其逻辑性质；在此基础上，研究语言量词的更具灵活性的Choquet积分语义，进而研究语言量词模型的公理化问题。同时，还将重点研究上述语言量词新模型在信息融合、计算机安全与取证方面的应用。在非可换逻辑方向上，拟构建具有实际应用背景的非可换t-模，并着重建立基于一般伪 t-模的非可换逻辑形式系统，证明其可靠性和完备性。同时，探讨基于上述非可换逻辑系统的不确定推理方法，以及在智能控制与计算语言学等领域的应用。此外，还将结合上述两个方向的研究，探讨非可换逻辑中的语言量词模型及其在模糊数据库和模糊数据查询中的应用。