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

陈树伟; 徐扬

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

陈树伟,
徐扬

基金项目:

国家自然科学基金资助项目(60474022)

详细信息

作者简介:
陈树伟(1977- ),男,博士研究生,研究方向为智能信息处理,电话:028-87600760,E-mail:chensw915@163.com;徐扬(1956- ),男,教授,博士生导师,研究方向为智能信息处理,电话:028-87600760,E-mail:xuyang@swjtu.edu.cn

陈树伟(1977- ),男,博士研究生,研究方向为智能信息处理,电话:028-87600760,E-mail:chensw915@163.com;徐扬(1956- ),男,教授,博士生导师,研究方向为智能信息处理,电话:028-87600760,E-mail:xuyang@swjtu.edu.cn

计量
- 文章访问数: 1162
- HTML全文浏览量: 64
- PDF下载量: 255
- 被引次数: 0
出版历程
- 收稿日期: 2005-01-04
- 刊出日期: 2006-04-25

Rules of Inference in Lattice-Valued Propositional Logic Lvpl

摘要

摘要: 为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvpl中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvpl的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.
- 格值命题逻辑 /
- 推理规则 /
- 封闭性 /
- 语法 /
- 语义
Abstract: To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued 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.
- lattice-valued propositional logic /
- rules of inference /
- closeness /
- syntax /
- semantics

HTML全文

参考文献(1)

徐扬.格蕴涵代数[J].西南交通大学学报,1993,28(1):20-27.XU Yang.Lattice implication algebras[J].Journal Southwest Jiaotong University,1993,28(1):20-27.[2] XU Yang,QIN Keyun.Lattice-valued propositional logic (Ⅰ)[J].Journal Southwest Jiaotong University (English Edition),1993,1(2):123-128.[3] QIN Keyun,XU Yang.Lattice-valued propositional logic (Ⅱ)[J].Journal Southwest Jiaotong University (English Edition),1994,2(1):22-27.[4] XU Yang,QIN Keyun,LIU Jun,et al.L-valued propositional logic Lvpl[J].Inform.Sci.,1999,114:205-235.[5] XU Yang,LIU Jun,SONG Zhenming,et al.On semantics of L-valued first-order logic Lvfl[J].Int.J.Gen.Syst.,2000,29:53-79.[6] XU Yang,SONG Zhenming,QIN Keyun,et al.Syntax of L-valued first-order logic Lvfl[J].Int.J.Mutiple-Valued Logic,2001,7:213-257.[7] XU Yang,RUAN Da,LIU Jun.Approximate reasoning based on lattice-valued propositional logic Lvpl[C] // Fuzzy Sets Theory and Applications.Boston:Kluwer Academic Publishers,2000:81-105.[8] XU Yang,RUAN Da,QIN Keyun,et al.Lattice-Valued Logic[M].Berlin:Springer,2003:27-57,227-257,310-322.[9] 徐扬,秦克云.格H蕴涵代数与格蕴涵代数类[J].河北煤炭建筑工程学院学报,1992,9(2):139-143.XU Y,QIN Keyun.Lattice H implication algebras and lattice implication algebra classes[J].Journal Hebei Mining and Civil Engineering Institute,1992,9 (2):139-143.

施引文献

附加材料(0)

访问统计

点击查看大图

计量

文章访问数: 1162
HTML全文浏览量: 64
PDF下载量: 255
被引次数: 0

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

计量

出版历程

Rules of Inference in Lattice-Valued Propositional Logic Lvpl

计量

出版历程

目录