二值命题逻辑系统的不可靠度及F度累积定理

山东大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (2): 101-104.

二值命题逻辑系统的不可靠度及F度累积定理

惠小静,郑凤仙,任潘龙,高青青

延安大学数学与计算机科学学院, 陕西延安 716000

收稿日期:2012-12-05 出版日期:2013-04-20 发布日期:2012-12-05
作者简介:惠小静(1973- ),女,陕西延安人,副教授,博士，主要研究方向为不确定性推理.E-mail: xhmxiaojing@163.com
基金资助:
陕西省教育厅专项基金资助项目(11JK0481);延安大学自然科学专项基金资助项目(YDZ2012-05);陕西省高水平大学建设专项基金资助项目(2012SXTS06);国家大学生创新训练计划资助项目

Uncertainty degree and falsity degree accumulation theoremin two-valued propositional logic system

HUI Xiao-jing, ZHENG Feng-xian, REN Pan-long, GAO Qing-qing

College of Mathematics and Computer Science, Yan’an University, Yan’an 716000, China

Received:2012-12-05 Online:2013-04-20 Published:2012-12-05

摘要/Abstract

摘要：

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。

关键词: 二值命题逻辑系统, 有效推理, 概率, 随机真度, F度

Abstract:

The falsity degree of a formular was defined according to the randomized truth degree of a formular in two-valued propositional logic, and the falsity degree accumulation theorem was proved by using the deduction theorem, that was, the falsity degree of the conclusion was not more than the falsity degrees of the premises in valid reasoning, and thus the accumulation theorem could give the truth degree relations between premises and conclusions. Finally, the uncertainty degree accumulation theorem was compared with the falsity degree accumulation theorem, and the results showed that the two theorems were different expression forms.

Key words: two-valued propositional logic system, valid reasoning, probability, randomized truth degree, falsity degree

中图分类号:

O141

惠小静,郑凤仙,任潘龙,高青青. 二值命题逻辑系统的不可靠度及F度累积定理[J]. 山东大学学报(工学版), 2013, 43(2): 101-104.

HUI Xiao-jing, ZHENG Feng-xian, REN Pan-long, GAO Qing-qing. Uncertainty degree and falsity degree accumulation theoremin two-valued propositional logic system[J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2013, 43(2): 101-104.

参考文献

相关文章 15

[1]	刘志清,高浩瀚,安沫霖,张学凯. 基于完工概率修正的关键链法项目进度优化[J]. 山东大学学报(工学版), 2018, 48(1): 104-111.
[2]	王梦园,张雄,马亮,彭开香. 基于因果拓扑图的工业过程故障诊断[J]. 山东大学学报(工学版), 2017, 47(5): 187-194.
[3]	裴小兵,陈慧芬,张百栈,陈孟辉. 改善式BVEDA求解多目标调度问题[J]. 山东大学学报(工学版), 2017, 47(4): 25-30.
[4]	赵建锋,李洪一,刘苏文. 基于钢筋锈蚀的RC桥墩抗震性能[J]. 山东大学学报(工学版), 2017, 47(3): 112-118.
[5]	刘英霞,王希常,唐晓丽,常发亮. 基于小波域特征和贝叶斯估计的目标检测算法[J]. 山东大学学报(工学版), 2017, 47(2): 63-70.
[6]	张玉玲,尹传环. 基于SVM的安卓恶意软件检测[J]. 山东大学学报(工学版), 2017, 47(1): 42-47.
[7]	刘晓明,牛新生,张怡,曹本庆,施啸寒,张友泉,张杰,安鹏,汪湲. 基于NASA观测数据的风电出力时空分布及波动特性分析[J]. 山东大学学报(工学版), 2016, 46(4): 111-116.
[8]	庞俊涛, 张晖, 杨春明, 李波, 赵旭剑. 基于概率矩阵分解的多指标协同过滤算法[J]. 山东大学学报(工学版), 2016, 46(3): 65-73.
[9]	王晓初, 王士同, 包芳. 基于概率密度分布一致约束的最小最大概率机图像分类算法[J]. 山东大学学报(工学版), 2015, 45(5): 13-21.
[10]	徐凌伟, 张浩, GULLIVER T A. TAS/SEC系统在N-Nakagami信道下的性能分析[J]. 山东大学学报(工学版), 2015, 45(4): 84-90.
[11]	张新明, 毛文涛, 李振云. 二阶广义概率的二维Otsu阈值分割[J]. 山东大学学报(工学版), 2012, 42(1): 25-33.
[12]	石海东,胡冬梅,王晓东. 分布式天线系统中信道时延扩展的统计分析[J]. 山东大学学报(工学版), 2012, 42(1): 133-142.
[13]	祝瑞玲1,王欣2,韩国栋3. 基于有限脊波变换的边缘检测算法[J]. 山东大学学报(工学版), 2011, 41(4): 113-118.
[14]	王守强1,朱大铭2,史士英1. k-means聚类问题的改进近似算法[J]. 山东大学学报(工学版), 2011, 41(4): 125-132.
[15]	赵文忠史军. 复功率注入空间的电力系统概率安全性指标研究[J]. 山东大学学报(工学版), 2009, 39(6): 135-138.

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed