几种逻辑系统中的近似推理理论

几种逻辑系统中的近似推理理论

刘华文¹^,²^,³,王国俊³,张诚一¹

1. 海南师范大学数学系, 海南海口 571158;2. 山东大学数学与系统科学学院，山东济南 250100;3. 陕西师范大学数学研究所，陕西西安 710062

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-10-24 发布日期:2006-10-24
通讯作者: 刘华文

Approximate reasoning in several logic systems

LIU Hua-wen¹^,²^,³,WANG Guo-jun³,ZHANG Cheng-yi¹

1. Department of Mathematics, Hainan Normal Univ., Haikou 571158; 2. School of Mathematics and System Sciences, Shandong Univ.;3. Institute of Mathematics, Shaanxi Normal Univ., Xi'an 710062, Shaanxi

Received:1900-01-01 Revised:1900-01-01 Online:2006-10-24 Published:2006-10-24
Contact: LIU Hua-wen

摘要/Abstract

摘要： 借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.

关键词: 命题逻辑, 近似推理, 逻辑度量 , 真度

Abstract: First, by means of the truth degree theory of propositions in logic system, the concept of logic metric between propositions is introduced and its properties are discussed. Then, the approximate reasoning problems in several common logic systems are investigated.

Key words: logic metric , truth degree, approximate reasoning, propositional logic

中图分类号:

O141.1

刘华文,,王国俊,张诚一 . 几种逻辑系统中的近似推理理论[J]. J4, 2007, 42(7): 77-81 .

LIU Hua-wen,WANG Guo-jun,ZHANG Cheng-yi . Approximate reasoning in several logic systems[J]. J4, 2007, 42(7): 77-81 .

参考文献

相关文章 15

[1]	梁颖,崔艳丽,吴洪博. 基于BL系统的演绎系统集代数的剩余格属性[J]. 山东大学学报（理学版）, 2017, 52(11): 65-70.
[2]	龚加安,吴洪博. 模态逻辑系统S4中的度量结构[J]. 山东大学学报（理学版）, 2016, 51(2): 108-113.
[3]	时慧娴, 李永明. 线性时序逻辑基于DTMC的计量化方法[J]. 山东大学学报（理学版）, 2015, 50(10): 32-39.
[4]	宋爽, 那日萨, 张杨. 基于在线评论的消费者品牌转换意向模糊推理[J]. 山东大学学报（理学版）, 2014, 49(12): 7-11.
[5]	左卫兵. 模糊命题逻辑L*中公式的条件随机真度[J]. J4, 2012, 47(6): 121-126.
[6]	张乐,裴道武. 命题逻辑中理论的条件真度[J]. J4, 2012, 47(2): 82-85.
[7]	胡明娣1,2,折延宏1,王敏3. L₃*系统中逻辑度量空间的拓扑性质[J]. J4, 2010, 45(6): 86-90.
[8]	宋颖，张兴芳. £ukasiewicz n值命题逻辑中公式的α-随机真度理论[J]. J4, 2010, 45(5): 74-77.
[9]	崔美华. 逻辑系统G₃中命题的D-条件真度与近似推理[J]. J4, 2010, 45(11): 52-58.
[10]	傅丽. 均匀逻辑公式的基本性质及其真度的分布[J]. J4, 2010, 45(11): 59-62.
[11]	袁彦莉张兴芳. Gödel逻辑系统中公式条件概率真度的研究[J]. J4, 2009, 44(9): 70-74.
[12]	. 一种n值逻辑系统中命题的条件真度[J]. J4, 2009, 44(6): 56-59.
[13]	李成允,张兴芳. L逻辑系统中的函数决定公式问题[J]. J4, 2009, 44(12): 91-96.
[14]	马丽娜王国俊. Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布[J]. J4, 2009, 44(10): 54-59.
[15]	隋云云. 五值非线性序集逻辑系统中命题真度的分布[J]. J4, 2009, 44(1): 78-82 .

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed