基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理  

Uncertainty Reasoning of Two Models Based on Linguistic Truth-valued Lattice Value First-order Logic Syetem L_(v(n×2))F(X)

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

机构地区：[1]西南交通大学峨眉校区,四川峨眉山614202 [2]西南交通大学智能控制开发中心,四川成都610031

出　　处：《模糊系统与数学》2013年第4期28-35,共8页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(60875034;61175055);四川省科技支撑计划项目(2011FZ0051)

摘　　要：在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证。Theory and method under uncertainty reasoning of two models based on linguistic truth-valued lattice values first-order logic sytem were discussed in this paper, the reasoning algorithms to different inference rules were investigated, they are interpreted by the reasonable semantic, and they are demonstrated by the strict syntax.

关 键 词：语言真值格值一阶逻辑 不确定性推理 推理模型 推理规则 

分 类 号：O141[理学—数学]