基于剩余格的模糊逻辑的态研究-东篱科研大数据发现系统（DRDS）

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

基于剩余格的模糊逻辑的态研究

项目名称：基于剩余格的模糊逻辑的态研究
项目类别：面上项目
批准号：60875084
申请代码：F030501
项目来源：国家自然科学基金
研究期限：2009-01-01-2011-12-31

项目负责人：刘练珍
负责人职称：教授
依托单位：江南大学
批准年度：2008

中文摘要：

将G.Georgescu的Bosbach态的思想引入到基于左连续三角模的逻辑代数、弱对偶剩余格序半群及非可换代数系统中，提出Bosbach态的概念，研究Bosbach态的基本性质、刻画、存在性、表示以及它和滤子之间的关系，给出Bosbach态存在的充分必要条件；提出Rican 态和极态的概念，研究它们的基本性质、刻画以及存在性，讨论Rican态和Bosbach态、Rican态和滤子、极态和极大滤子之间的关系。在基于剩余格的逻辑代数中建立态射模型，研究其基本性质及刻画；研究态射分别和Bosbach态、Rican 态、极态、极大滤子之间的相互关系。建立具有态理论的逻辑系统模型，研究它的可靠性和完备性问题。本研究是非经典逻辑研究领域的一个创新性的研究，此学科交叉研究会带来很多很有意义的研究课题。同时，基于剩余格的模糊逻辑研究在电路设计、模糊控制、人工智能、模糊逻辑规划等领域有着很好的应用。

中文主题词：剩余格；态；态射；极大滤子

成果综合统计