格值命题逻辑系统Lvpl中的推理规则

• 作者: 徐扬 陈树伟
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 格值命题逻辑 推理规则 封闭性 语法 语义
• 年，卷（期）: 2006,（2）
• 页码范围: 256-258
• 页数: 3页
• 分类号: O141
• 字数: 1861字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2006.02.026

摘要

为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvpl中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvpl的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	陈树伟	西南交通大学智能控制开发中心	4	9	1.0	3.0