基于直觉模糊命题逻辑的语言真值归结自动推理研究

本项目基于由语气代数及语言真值格蕴涵代数生成的语言真值直觉模糊代数，构造既可同时处理可比信息和不可比信息，又能同时处理正反两方面证据的语言真值直觉模糊命题逻辑系统。首先深入研究语言真值直觉模糊格的三角代数结构及其与逻辑相关的特殊性质；其次通过分析语言真值直觉模糊命题逻辑系统的语义理论和语法理论，构建一个合理且有效的、具有可靠性和完备性的直觉模糊命题逻辑系统；然后研究语言真值直觉模糊命题逻辑系统中公式的结构与变形，分析(α,β)-归结域的结构，解决公式(α,β)-可满足性问题，提出具有可靠性和完备性的(α,β)-归结原理，并给出基于(α,β)-归结方法的自动推理算法；最后通过开发一个软件系统平台来演示基于直觉模糊逻辑的语言真值(α,β)-归结自动推理过程。

本项目基于语言真值直觉模糊代数，对基于语言真值直觉模糊逻辑的归结自动推理和基于语言值的不确定性推理方法进行研究，完成了预定研究计划并取得以下主要成果:（1）分析了语言真值直觉模糊格的代数结构及其与逻辑相关的特殊性质；（2）基于语言真值直觉模糊格构建了语言真值直觉模糊逻辑系统，提出了具有可靠性和完备性的(α,β)-归结原理；（3）建立了具有语言值可信度因子的知识表示和知识推理模型，提出了语言真值直觉模糊推理方法；（4）结合语言值直觉模糊聚合算子，将语言值不确定性推理方法应用于模式识别和决策分析等问题中。所提出的方法可处理具有可比性和不可比性的、且同时具有正反两方面证据的语言值信息。在本项目的资助下，已在学术期刊和学术会议上发表论文61篇，其中SCI收录13篇次，EI收录36 篇次；获得软件著作权登记1项，申请国家发明专利1项；项目负责人入选辽宁省高等学校优秀人才支持计划,并获得国家自然科学基金国际合作与交流项目、中国博士后科学基金面上项目和计算机软件新技术国家重点实验室开放课题等资助；共培养研究生10名，其中1名研究生荣获辽宁省优秀毕业生称号。