位置：成果数据库 > 期刊 > 期刊详情页
基于修正的Kleene蕴涵的模糊描述逻辑
  • ISSN号：1000-4424
  • 期刊名称：高校应用数学学报A辑(中文版)
  • 时间：2013.11.11
  • 页码：457-465
  • 分类：O159[理学—数学;理学—基础数学]
  • 作者机构：[1]浙江理工大学理学院,浙江杭州310018
  • 相关基金：国家自然科学基金（11171308）
  • 相关项目：模糊推理与不确定性决策理论的结合研究
作者： 邱晓春, 裴道武|
关键词： 模糊描述逻辑, 修正的Kleene蕴涵, 可满足性, 一致性, TABLEAU算法, fuzzy description logic, R0 implication operator, revised Kleene implication, satisfiability, consistency, Tableau algorithm
中文摘要：

基于三角模的模糊描述逻辑的提出，使得模糊描述逻辑的框架更一般化，为知识处理提供了更理想的方法．在此基础上，提出基于修正的Kleene蕴涵的模糊描述逻辑，在建立该模糊描述逻辑的语法，语义与知识库形式后，进一步讨论相关的推理问题，包括这个逻辑中的可满足性问题，Tableau算法及一致性问题．

英文摘要：

The t-norm based fuzzy description logic makes fuzzy description logic framework more general. In this paper, based on the t-norm based fuzzy description logic and the revised Kleene implication, the fuzzy description logic based on the revised Kleene implication is proposed. In this logic the related theories of the nilpotent minimum fuzzy logic and fuzzy description logic are combined organically, and the corresponding properties, such as syntax, semantics and reasoning problems are discussed in detail.

同期刊论文项目
模糊推理与不确定性决策理论的结合研究
期刊论文 46 会议论文 3 著作 2
同项目期刊论文
H-OWA算子及其在多属性决策中的应用
几个模糊命题逻辑紧致性的新证明
On the independence of the formal system L*
基于图片特征空间的信息压缩研究
几类广义模糊集的关系
模糊推理的基本理论
命题逻辑中理论的条件真度
广义直觉模糊数在集装箱堆场选择中的应用
可信性决策在工位评估中的应用
Simplification of fuzzy multiple attribute decision making in production line evaluation
The finite model property for semilinear substructural logics
基于泛三Ⅰ算法的模糊系统响应能力分析
Robustness analysis of full implication inference method
Uninorm logic with the n-potency axiom
Hierarchical structure and applications of fuzzy logical systems
一致模的延拓
直觉模糊数排序方法的合理性
Truth degree analysis of fuzzy reasoning
基于贴近度的疾病诊断模糊专家系统
模糊集收敛的等价性
On uniqueness of (fuzzy) relation in some generalized rough set models
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记
FH-OWA算子及其在模糊多属性决策中的应用
On the axiomatic system for the logic of linearly ordered BCI-matrices
A survey of fuzzy implication algebras and their axiomatization
模糊集的相对扰动
语言真值格蕴涵代数的蕴涵不可约元
纺织服装领域本体知识库的构建及应用
广义区间值直觉模糊数及其在工位评估中的应用
D-蕴涵的特征
NM和LW＊等价的一个语构证明（英文）
多重模糊蕴涵与生成模糊蕴涵的新方法
复值函数的广义复模糊积分
不确定语言Hero平均算子及其在多属性群决策中的应用
模糊数度量的单值函数表示
多重模糊蕴涵关于三角模的分配性
广义剩余蕴涵
期刊信息
  • 《高校应用数学学报：A辑》
  • 北大核心期刊（2011版）
  • 主管单位:国家教育部
  • 主办单位:浙江大学 中国工业与应用数学学会
  • 主编：林正炎 李大潜
  • 地址：杭州市玉泉浙江大学数学系
  • 邮编：310027
  • 邮箱：amjcu@zjy.edu.cn
  • 电话：0571-87951602
  • 国际标准刊号：ISSN：1000-4424
  • 国内统一刊号：ISSN：33-1110/O
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:3669