基于语言真值格值一阶逻辑的不确定性推理的语法  

Syntax of Uncertainty Reasoning Based on Linguistic Truth-valued Lattice Value First-order Logic

作　　者：赖家俊[1,2] 徐扬[2] 

机构地区：[1]湖北民族学院理学院,湖北恩施445000 [2]西南交通大学智能控制开发中心,四川成都610031

出　　处：《模糊系统与数学》2011年第2期1-6,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(60875034);教育部博士点专项基金资助项目(20060613007)

摘　　要：讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。The syntax under uncertainty reasoning based on linguistic truth-valued lattice values first-order logic was discussed in this paper,the closed and sound properties of inference rules were investigated,and it is proved that the inference rules have closed under the level α≤∧θ∈Ln×L2（θ→θ′）（θ≠（an,b2））,a sufficient and essential condition was obtained in the level.

关 键 词：语言真值格蕴涵代数 语言真值格值一阶逻辑 语法 不确定性推理 

分 类 号：O141[理学—数学] O159[理学—基础数学]