| 格值命题逻辑系统Lvpl中的推理规则 |
| |
| 引用本文： | 陈树伟,徐扬.格值命题逻辑系统Lvpl中的推理规则[J].西南交通大学学报,2006,41(2):256-258. |
| |
| 作者姓名： | 陈树伟 徐扬 |
| |
| 作者单位： | 西南交通大学智能控制开发中心,四川,成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目（60474022） |
| |
| 摘 要： | 为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则．这些推理规则由语法和语义两部分组成，且在两部分之间存在一定的协调水平．证明了对于适当的语法语义协调水平，当Lvpl的公式集的L型模糊集为同态映射时，它们关于这几类推理规则都在一定程度上封闭.
|
| 关 键 词： | 格值命题逻辑 推理规则 封闭性 语法 语义 |
| 文章编号： | 0258-2724（2006）02-0256-03 |
| 收稿时间： | 2005-01-04 |
| 修稿时间： | 2005-01-04 |
Rules of Inference in Lattice-Valued Propositional Logic Lvpl |
| |
| CHEN Shuwei,XU Yang.Rules of Inference in Lattice-Valued Propositional Logic Lvpl[J].Journal of Southwest Jiaotong University,2006,41(2):256-258. |
| |
| Authors: | CHEN Shuwei XU Yang |
| |
| Institution: | Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China |
| |
| Abstract: | To describe reasoning methods such as minimizing, multiple reasoning etc., corresponding rules of inference in lattice-valued reasoning, multi-dimensional propositional logic Lvpl are introduced. These rules are composed of two parts, semantics and syntax, and there exists a certain consistency between the two parts. It is proved that, with an appropriate level of consistency between semantics and syntax, L-type fuzzy subsets of the set of all formulae of Lvpl are closed to a certain extent with respect to these rules of inference when they are homomorphic. |
| |
| Keywords: | lattice-valued propositional logic rules of inference closeness syntax semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
