几类重要实代数簇的等式理论的完备性、可计算性及其在智能计算中的应用

项目名称： 几类重要实代数簇的等式理论的完备性、可计算性及其在智能计算中的应用

项目编号： No.61379018

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 王三民

作者单位： 浙江理工大学

项目金额： 58万元

中文摘要： 本项目研究模糊逻辑系统UL、IUL和HpsUL*等的完备性和可计算性及其在智能计算中的应用，其主要内容和意义如下：理论方面，利用模型论和证明论的理论和技巧围绕IUL的标准完备性这一模糊逻辑界的公开难题开展研究，以期获得关于这些系统的深刻结果；利用等式逻辑和等式理论关于判定问题的理论和技巧研究UL、IUL和HpsUL*等系统的可计算性这一公开难题，以期得到计算机算法来判断这些系统中真值函数的性质；应用方面，基于UL、IUL和HpsUL*等形式化基于一致模的模糊推理模型和算法，为这类模糊推理模型建立数学基础，同时基于这些系统对专家系统MYCIN和PROSPECTOR中的确定性因子的组合函数给出数学上的解释和应用上的拓展，为基于一致模的信息聚合算子的性质研究提供理论基础。

中文关键词： 模糊逻辑；等式理论；标准完备性；可计算性；智能计算

英文摘要： The project studies fuzzy logical systems UL、IUL and HpsUL* for their completeness, computability and applications to intelligent computing, its major topics and significance are as follows: theoretically, in order to obtain profound results on these syst

英文关键词： Fuzzy Logics；Equational Theories；Standard Completeness；Computability；Intelligent Computing