二值命题逻辑中的概率真度

发布时间：2017-12-01 09:26

  本文关键词：二值命题逻辑中的概率真度

  更多相关文章： 概率真度 数学期望 相关系数 熵

【摘要】：将二值命题逻辑系统的真度概念引入到概率逻辑,定义了公式的期望,给出了反映公式之间内在联系的相关系数,研究了无限公式收敛时所遵循的规律及特点,引入了度量不确定性的特征值—熵。
【作者单位】： 聊城职业技术学院;聊城大学图书馆;
【基金】：山东省自然科学基金No.Y2003A01~~
【分类号】：O141.1
【正文快照】： 众所周知,数理逻辑是以符号化为特点的形式化理论,它注重形式推理而不重视数值计算[1-5]。而数值计算则与此相反,它的目的在于借助各种计算手段采用插值、迭代、差分或概率估算等方法研究各类计算问题,它关注问题的求解以及误差估计等而很少使用形式推理方法。可以说数理逻辑

【参考文献】

中国期刊全文数据库 前2条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

【共引文献】

中国期刊全文数据库 前10条

1 李龙澍,凌成;基于时态逻辑的知识表示研究[J];安徽大学学报(自然科学版);2002年02期

2 肖德琴，沈勇，张建伟;网络通信协议形式化描述与验证技术的研究[J];重庆师范学院学报(自然科学版);1997年02期

3 肖德琴;单向通信保密系统的时序逻辑验证[J];重庆师范学院学报(自然科学版);1998年03期

4 谭汉松,刘涛;移动电子商务的电子支付模型研究[J];电脑与信息技术;2003年01期

5 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

6 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

7 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

8 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

9 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

10 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

中国博士学位论文全文数据库 前6条

1 文敦伟;面向多智能体和神经网络的智能控制研究[D];中南大学;2001年

2 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年

3 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年

4 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

5 曹菡;空间关系推理的知识表示与推理机制研究[D];武汉大学;2002年

6 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

中国硕士学位论文全文数据库 前10条

1 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

2 刘红兵;模糊错误逻辑研究及其在防范证券投资风险中的应用[D];广东工业大学;2000年

3 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年

4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

5 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

6 董护斌;面向实时系统的实时区域时态逻辑：RRTL[D];西北大学;2002年

7 张玲;数字现金协议及逻辑验证[D];国防科学技术大学;2002年

8 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

9 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年

10 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

2 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

3 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

4 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

5 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑;2002年02期

6 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

7 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑;2005年06期

8 裴道武,傅丽;模糊推理三I算法的逻辑基础[J];模糊系统与数学;2004年03期

9 王伟,王国俊;论G銉del蕴涵算子不宜用于建立模糊逻辑系统[J];模糊系统与数学;2005年02期

10 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

【相似文献】

中国期刊全文数据库 前10条

1 荣腾中;刘琼荪;;有关数学期望的优化问题[J];高等数学研究;2011年03期

2 冯俊艳;;统计学在计量经济学中的应用[J];科教新报(教育科研);2011年24期

3 石太宾;王晨霞;;概率学习中常见的几个认识误区[J];才智;2011年24期

4 段克峰;;输油管线建设费用的数学模型[J];陇东学院学报;2011年04期

5 许道云;秦永彬;刘长云;;学习《概率论与数理统计》应该注意的若干问题(3)——随机变量的数字特征和作用[J];铜仁学院学报;2011年02期

6 王福胜;彭胜志;;投资组合优化中的泰勒级数收敛性与展开点选择问题研究[J];中国管理科学;2011年03期

7 于娜;;概率统计中一些知识点教学方法的探讨[J];黑龙江科技信息;2011年22期

8 祝金强;;离散型随机变量的分布列的题型及解法[J];中学生数理化(高中版·学研版);2011年04期

9 曹小群;宋君强;张卫民;赵军;张理论;;MCMC方法在生物逆问题求解中的应用[J];计算机工程与应用;2011年26期

10 张燕;;大学数学课堂上注重育德[J];才智;2011年21期

中国重要会议论文全文数据库 前10条

1 张俊容;;随机优势决策的新方法及其应用[A];中国运筹学会第八届学术交流会论文集[C];2006年

2 高雷阜;吴国通;;需求不确定下季节性商品的最优订货策略研究[A];第三届不确定系统年会论文集[C];2005年

3 曹萍萍;李晓奇;;离散型模糊事件模糊概率的初步讨论[A];第九届中国青年信息与管理学者大会论文集[C];2007年

4 冯密罗;吕文戈;马湘玲;陈铁生;;统计学在医学院校教学管理中的定量分析应用举例[A];数学·物理·力学·高新技术研究进展——2000（8）卷——中国数学力学物理学高新技术交叉研究会第8届学术研讨会论文集[C];2000年

5 康坛;张敏;贾静;;给定区域内ATM机的最优数量和选址问题[A];中国运筹学会第八届学术交流会论文集[C];2006年

6 胡桂华;易跃明;林敏;;稀少项目子总体估计的贝叶斯方法——基于一个抽样审计问题的讨论[A];中国会计学会高等工科院校分会2008年学术年会（第十五届年会）暨中央在鄂集团企业财务管理研讨会论文集（下册）[C];2008年

7 吴云从;;随机存贮系统最佳订货点决策分析[A];发展战略与系统工程——第五届系统工程学会年会论文集[C];1986年

8 彭锦;;随机序关系及其应用[A];第三届不确定系统年会论文集[C];2005年

9 马占友;田乃硕;;多重休假的Geom~ξ/G/1排队系统[A];第三届不确定系统年会论文集[C];2005年

10 王丽娜;;非对称信息条件下外部性问题研究[A];中国优选法统筹法与经济数学研究会第七届全国会员代表大会暨第七届中国管理科学学术年会论文集[C];2005年

中国重要报纸全文数据库 前1条

1 河南省洛阳市新安县第一高级中学 袁振东;离散型随机变量分布列的求法[N];学知报;2011年

中国博士学位论文全文数据库 前10条

1 白山;保费的非线性风险度量[D];山东大学;2005年

2 江龙;非线性数学期望[D];山东大学;2005年

3 胡锋;非线性数学期望的性质及其在金融风险中的应用[D];山东大学;2011年

4 宋丽;非线性数学期望的性质和倒向随机微分方程的_L_P解[D];山东大学;2012年

5 庞天晓;随机变量序列的强极限性质[D];浙江大学;2005年

6 贾广岩;倒向随机微分方程、g-期望及其相关的半线性偏微分方程[D];山东大学;2008年

7 王伟;非线性数学期望及其在金融中的应用[D];山东大学;2009年

8 江龙;非线性数字期望[D];山东大学;2005年

9 李民;马尔可夫骨架过程与GI/G/1排队系统[D];中南大学;2003年

10 胡建国;随机需求条件下的物流系统模型及算法研究[D];大连理工大学;2005年

中国硕士学位论文全文数据库 前10条

1 付静;Choquet期望，，最大、最小数学期望的计算与±μ-独立性问题[D];山东大学;2006年

2 顾海燕;非线性数学期望的性质[D];北京邮电大学;2007年

3 綦路;g-期望的一个性质[D];山东大学;2006年

4 程雪;Daniell积分与概论中期望的语言[D];山东大学;2006年

5 王子子;积分变形正算子的保持性质[D];首都师范大学;2007年

6 刘艺;基于综合效应的随机规划模型及其应用[D];河北科技大学;2010年

7 李雪;灰典型相关分析的研究及其在多变量时间序列中的应用[D];东北师范大学;2008年

8 秦栋;g-期望关于仿射相关随机变量的可加性[D];山东大学;2007年

9 张静;一类g-概率的对称性问题[D];山东大学;2007年

10 邵卓;含贷款利率复合Poisson模型破产严重程度的度量[D];河北工业大学;2007年

本文编号：1240648