模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究

项目名称：模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究
项目类别：地区科学基金项目
批准号：60863002
申请代码：F020101
项目来源：国家自然科学基金
研究期限：2009-01-01-2011-12-31

项目负责人：王三民
负责人职称：副教授
依托单位：南昌大学
批准年度：2008

中文摘要：

本项目研究模糊逻辑形式系统的构造、证明论以及软组织模型的构建，主要成果如下把Jenei和Montagna证明MTL系统完备性的方法推广到次结构模糊逻辑UL、IUL和HpsUL,证明了这些系统添加n-contraction规则后的完备性；证明了次结构模糊逻辑UL、IUL和HpsUL不具有有限模型属性；构造了BCI上的最小模糊逻辑系统FBCI并证明了FBCI逻辑不可有限公理化，这一结果彻底解决了捷克学者P.Cintula在数理逻辑领域国际杂志《Archive for Mathematical Logic》上提出的公开问题；证明了HpsUL并不是G. Metcalfe, N. Olivetti 和 D. Gabbay Montagna等人所预期的伪一致模及其剩余的逻辑，即，HpsUL不具有标准完备性；通过把粘弹性纳入到软组织模型改进了Picinbono的工作；基于MSM和3-D有限应变非线性各向异性弹性理论，提出了一种可用于手术仿真模拟的新的混合软组织模型。这些研究内容是当前国际上模糊逻辑领域的研究热点，而本项目所得的研究成果已经和必将在一定程度上扩大我国在该领域的影响。

中文主题词：模糊逻辑;证明论;FBCI逻辑;非可换模糊线性逻辑; 软组织建模

结论摘要：

英文主题词Fuzzy logic; proof theory; FBCI logic; non-commutative fuzzy logics; the soft tissue models

成果综合统计