评审组：基础研究组
项目名称：基于模糊理论的非可换逻辑代数和智能决策的研究
提名单位： 陕西省教育厅
提名等级：二等奖
提名单位意见： 本项目聚焦于非可换模糊逻辑和量子逻辑的代数模型以及基于模糊推理的智能决策模型开展研究、得到了系统的理论体系和有效决策方法，取得了一系列创新成果，主要包括:(1)一方面，首次将L-代数进行了非可换推广，建立了伪L-代数模型，研究了其与经典群、格序群、伪Hoop等重要逻辑代数之间的逻关系。基于此形成了量子逻辑和模糊逻辑的统一代数框架。另一方面，对L-代数进行了无界化推广，建立EL-代数模型，讨论了其与EMV-代数和EHoops之间的关系，为建立相对真的命题逻辑系统奠定了理论基础。(2)针对以上两类代数模型，研究了其上的微分算子和态算子，为代数结构的刻画和分类提供了新的工具。系统总结了近些年在态理论的发展成果，作为模糊数学与系统及其应用丛书之一，出版了《逻辑代数上的非概率测度》，为逻辑代数的不确定性提供了更加精确的测量工具，引起了国内学者的广泛关注。(3) 为了解决不确定性的智能决策问题，基于伪L-代数的多样化推理理论，结合模糊集和模糊软集，建立了广义的TOPSIS决策模型，分别给出了基于加权平均聚合算子和加权几何聚合算子的两种算法，通过实际场景，体现了该模型的灵活性和有效性。代表性成果包括科学出版社专著1部、SCI论文5篇(一区4篇，高被引1篇)及发明专利2部。该项目创新性强，获得了国内外同行的广泛关注和引用，成果不仅具有重要理论意义、还能应用于智能决策和机器学习等多个领域。
项目简介：
客观评价：
代表性论文专著目录：
主要完成人情况：
  1. 姓名：辛小龙
    排名：1
    行政职务：无
    技术职称：教授
    工作单位：西北大学
    完成项目时所在单位：西安工程大学
    对本项目主要学术贡献：本成果的第一完成人, 负责成果的整体研究, 是成果代表性论著[1-6]第一作者或通讯作者。研究EQ-代数上的态，见代表性论1的发现(1),(2)(a)(b).建立有界格上的微分理论，见代表性论2发现(1),(2),(3),(4).建立伪L-代数理论，见代表性论3发现(1),(2)。主持完成项目：国家自然科学基金面上项目“EQ-代数及其相关结构上的态与内态的研究”(11571281)，国家自然科学基金面上项目“伪EQ-代数及其态的存在性和表示研究”(11971384)和国家外国专家项目“逻辑代数与量子代数内部结构和统一框架的研究及其应用”(DL2023041002L)，见其他附件1,2,5。
  2. 姓名：杨小飞
    排名：2
    行政职务：无
    技术职称：副教授
    工作单位：西安工程大学
    完成项目时所在单位：西安工程大学
    对本项目主要学术贡献：建立了伪L-代数结构理论，是成果代表性论文[3]主要完成人之一,见代表性论文[3]重要发现(3)和（4），具体给出了伪L-代数生成自相似闭包的方法，给出了自相似闭包生成群的方法，并用例子说明其生成过程。作为负责人完成国家自然科学基金青年项目“模糊收敛群及其在粗糙集中的应用” (11501435)；作为主要参与人完成国家外国专家项目“逻辑代数与量子代数内部结构和统一框架的研究及其应用”(DL2023041002L)，见其他附件3和5。
  3. 姓名：付玉龙
    排名：3
    行政职务：无
    技术职称：教授
    工作单位：西安电子科技大学
    完成项目时所在单位：西安电子科技大学
    对本项目主要学术贡献：给出了EQ-代数态的存在性的刻画，建立了EQ-代数态理论，是成果代表性论文[1]的主要完成人之一，见代表性论文[1]中的重要科学发现(2)(c)(d)，深入研究了Riecan态的存在性理论。作为负责人完成国家自然科学基金青年项目“面向多重协议组合实现的形式化安全检测理论和方法研究” (61602359)，见其他附件4。作为第一完成人获得两项国家发明专利：一种基于有限自动机的物联网入侵检测方法及监测系统(ZL 2017 1 0158735.0)，用于生物识别身份认证的接入认证和密钥派生方法及系统(ZL 2022 1 0191226.9)，见其他附件6和7。
  4. 姓名：毛玲玲
    排名：4
    行政职务：无
    技术职称：讲师
    工作单位：西北大学
    完成项目时所在单位：西北大学
    对本项目主要学术贡献：代表性论文[4]的主要完成人之一，在代表性论文[4]重要发现（1）中，利用无界化方法，引入了EL-代数的概念，建立EL-代数理论体系；在代表性论文[4]重要发现（3）中，在EL-代数上引入了两类态的概念，给出了研究态存在性的新思路。
主要完成单位：
  1. 单位名称：西安工程大学
    单位贡献：作为本项目的第一完成单位，西安工程大学为本项目的顺利完成做出了重要贡献，具体如下:(1)组织并完成了项目策划和实施工作；(2)为项目的顺利实施提供了人力资源与优质工作环境;(3)提供了本项目所需的设备、能源、图书资料和数据库等资源。

  2. 单位名称：西安电子科技大学
    单位贡献：作为本项目的参与单位，西安电子科技大学为本项目的顺利完成做出了重要贡献，具体如下: (1)组织并完成了项目部分实施工作；(2)为项目的顺利实施提供了部分人力资源与优质工作环境;(3)提供了本项目所需的设备、能源、图书资料和数据库等资源。

  3. 单位名称：西北大学
    单位贡献：作为本项目的参与单位，西北大学为本项目的顺利完成做出了重要贡献，具体如下:(1)组织并完成了项目部分实施工作；(2)为项目的顺利实施提供了部分人力资源与优质工作环境;(3)提供了本项目所需的设备、能源、图书资料和数据库等资源。

完成人合作关系说明： 完成人合作关系说明：1
陕西省科技厅成果处