位置：立项数据库 > 立项详情页
语言量词的积分语义与非可换逻辑研究
  • 项目名称：语言量词的积分语义与非可换逻辑研究
  • 项目类别：面上项目
  • 批准号：60775038
  • 申请代码：F0307
  • 项目来源：国家自然科学基金
  • 研究期限：2008-01-01-2010-12-31
  • 项目负责人：张小红
  • 负责人职称：教授
  • 依托单位：宁波大学
  • 批准年度：2007
中文摘要：

作为智能信息处理技术理论基础之一的非经典逻辑，近年取得了长足进步。本项目将围绕如下两个新方向开展研究语言量词的积分语义、非可换逻辑。在语言量词方向上，拟将我国学者新近创立的基于Sugeno积分的语言量词模型做进一步拓展，建立基于广义Sugeno积分的语言量词模型，深入研究其逻辑性质；在此基础上，研究语言量词的更具灵活性的Choquet积分语义，进而研究语言量词模型的公理化问题。同时，还将重点研究上述语言量词新模型在信息融合、计算机安全与取证方面的应用。在非可换逻辑方向上，拟构建具有实际应用背景的非可换t-模，并着重建立基于一般伪 t-模的非可换逻辑形式系统，证明其可靠性和完备性。同时，探讨基于上述非可换逻辑系统的不确定推理方法，以及在智能控制与计算语言学等领域的应用。此外，还将结合上述两个方向的研究，探讨非可换逻辑中的语言量词模型及其在模糊数据库和模糊数据查询中的应用。

中文主题词： 语言量词；广义Sugeno积分；t-模与伪t-模；非可换逻辑；智能信息处理
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 35
  • 16
  • 0
  • 1
  • 2
期刊论文
强Ockham代数与剩余格
剩余格及有界psBCK-代数成为布尔代数的充要条件
Fuzzy BIK+-logic and non- commutative fuzzy logics
Pseudo-BL algebras and pseudo-effect algebras
Intuitionistic fuzzy linguistic quantifier based on intuitionistic fuzzy-valued fuzzy measures and i
BIK+-逻辑与非可换模糊逻辑
强剩余BCC-代数及其正规素滤子定理
一种应用Rough集的多属性决策方法
基于Frank T/S范数的柔性概率逻辑算子研究
基于广义Sugeno积分的语言量词模型
带有语言量词的逻辑系统MTLQ
基于语言量词与Sugeno积分的模糊查询方法
Pseudo-involutive residuated lattices (non-commutative) and pseudo-effect algebras
Ideals and atoms of BZ-algebras
Rough implication operator based on strong topological rough algebras
扩展（拓扑）剩余格与Rough集
基于多分辨分析的高炉铁水含硅量波动多重分形辨识
基于三角范数的变精度悲观多粒度粗糙集模型
一种S-蕴涵模糊逻辑系统的真度理论
真蕴涵格与优蕴涵格
蕴涵格的MP-滤子
强De Morgan代数上的广义R_0t-模
BIK^＋-逻辑与非可换模糊逻辑
Rough逻辑系统RSL与模糊逻辑系统Luk
一种应用软粗糙模糊集的多属性决策方法
模糊BIK＋-逻辑与非可换模糊逻辑
伪对合剩余格（非可换）与伪效应代数
幂等剩余格
psBCK-代数的Boolean滤子与psMV-滤子
Q-型伪BCI代数和2-型伪q滤子（英文）
强伪Ockham代数与剩余格
低阶半单Nelson代数
低阶DeMorgan代数和强DeMorgan代数
粗糙集上下近似的矩阵刻画及应用
会议论文
Qualitative approximations of fuzzy sets and non-classical three-valued logics (I)
Qualitative approximations of fuzzy sets and non-classical three-valued logics (II)
Weak completeness theorem of logic system MTLQ with linguistic quantifiers
Strong Pseudo-De Morgan Algebras and Pseudo-Involutive Pseudo-BCK Algebras
T-type pseudo-BCI algebras and T-type pseudo-BCI filters
Implicative pseudo-BCK algebras and implicative pseudo-filters of pseudo- BCK Algebras
星型t-模（t*-模）与逻辑系统的弱健全性
Pseudo-hoops and non-commutative fuzzy structures
Topological residuated lattice - a unifying algebra representation of some rough set models
Linguistic Summarization of Data based on Interval-valued Choquet integrals
On interval fuzzy residuated implications and interval quasi- implications
Commutative weak t-norm and non-associative residuated lattices
Linguistic quantifiers modeled by interval-valued intuitionistic Sugeno integrals
First-order logic system IMTLQ* and triple I method in fuzzy reasoning with linguistic quantifiers
On filters of non-associative residuated Lattices (commutative. residuated lattice-ordered groupoids
Lattice-valued interval sets and t- represent able interval set t-norms
获奖
非可换模糊逻辑系统及其代数分析
著作
模糊逻辑及其代数分析
模糊量词及其积分语义
相关项目
支持向量机分类参数获取的优化方法与关键技术研究
期刊论文 10 会议论文 15
扩展的模糊逻辑与基于蕴涵算子的Rough逻辑
期刊论文 43 会议论文 4 著作 2
模糊推理的机制及其逻辑基础
期刊论文 29 会议论文 10
INTERNET网络和混沌神经网络的复杂动力学行为及其应用研究
期刊论文 75 会议论文 2
面向视障用户的网络信息智能化处理关键技术研究
期刊论文 6 会议论文 6
基于超光谱图象的混合物智能快速分类与识别
期刊论文 21 会议论文 13
基于模式识别的飞行器（飞机）结冰探测技术研究
期刊论文 10 会议论文 1
光电混合式高压电流互感器关键技术及应用系统研究
期刊论文 37 专利 1
智能信息融合变电站故障诊断理论方法研究
期刊论文 23 会议论文 2 著作 1
张小红的项目