基于语言真值格值命题逻辑系统l_(νpl)的推理规则  

Rules of Reasoning Based on Linguistic Truth-valued Lattice Value Propositional Logic System l_(νpl)

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

机构地区：[1]西南交通大学信息科学与技术学院,成都610031 [2]西南交通大学智能控制开发中心,成都610031

出　　处：《计算机科学》2008年第9期230-232,共3页Computer Science

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

摘　　要：一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。In general,the selection for rules of reasoning are more important in some practical applications of logic system. In this paper,some rules of reasoning based on linguistic truth-valued lattice value propositional logic system lvp1 are proposed. They comprise syntax and semantics, and have the characteristic of consistency level between syntax and semantics. It is proved that these rules of inference are closed to appropriate degree.

关 键 词：语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性 

分 类 号：O141[理学—数学] O189.11[理学—基础数学]