概率逻辑中的命题相关性与逻辑运算

发布时间：2018-03-27 23:10

  本文选题：概率逻辑　切入点：二值逻辑　出处：《北京科技大学学报》2008年09期

【摘要】：原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.
[Abstract]:Atomic proposition is the basic unit in the study of mathematical logic. The relationship between the correlation of atomic proposition and logical operation is analyzed. In classical binary logic, the true value of the result of propositional logic operation is only related to the true value of the proposition participating in the operation. In probabilistic logic, the operation of propositional logic is determined by the relation of propositions, and different propositions with the same true value do not necessarily have the same results. It overcomes the shortcoming that conditional probability can not be used in reasoning.
【作者单位】： 北京科技大学信息工程学院;
【基金】：国家自然科学基金资助项目(No.60573014) 国家高技术研究发展计划资助项目(No.2006AA01z140)
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

1 王万森,何华灿;基于泛逻辑学的逻辑关系柔性化研究[J];软件学报;2005年05期

2 吕建平,赵树芗;一种非真值函数性模糊逻辑[J];微电子学与计算机;2004年10期

【共引文献】

相关期刊论文 前10条

1 赵鸣;孙磊;赵鸿;;既有玻璃幕墙的结构安全性模糊综合评判(Ⅱ)[J];四川建筑科学研究;2008年06期

2 李怀赫;李明滨;;利用有限元分析蚕种催青室温度静态误差[J];安徽农学通报;2006年04期

3 李大林;陈一帆;蔡润;;多性状群体信息熵混杂递增链与混杂指数的应用[J];安徽农业科学;2008年13期

4 张涛;;提高离散数学课程学习兴趣的教学改革探讨[J];安徽工业大学学报(社会科学版);2012年01期

5 何如海;叶依广;;基于模糊理论的城市交通生态环境综合评价模型研究[J];安徽农业大学学报;2006年03期

6 王萍;王学峰;吴谷丰;;高职毕业生综合素质变权评价与模糊变权评价[J];鞍山科技大学学报;2007年06期

7 王巍;姚家奕;;基于物流网络布局与设施选址动态因素的神经网络——遗传算法的研究[J];北京交通大学学报(社会科学版);2006年03期

8 杜万里;毛明;胡立臣;贾爽;;KBE技术在弧齿锥齿轮设计计算中的应用[J];车辆与动力技术;2010年01期

9 张毅;;基于重要度划分的设备维修方式决策[J];兵工自动化;2005年06期

10 李赣湘,杨成梧;多传感器信息融合的模糊神经Petri网模型[J];兵工学报;1998年03期

相关会议论文 前10条

1 朱琳;;声纳系统设计与调试中图论方法研究[A];2011'中国西部声学学术交流会论文集[C];2011年

2 张学勇;孟继儒;李德清;;多属性决策区间数模型的优化[A];中国运筹学会第九届学术交流会论文集[C];2008年

3 韩俊玲;黄崇福;赵思健;;一种基于词语计算的高层建筑火灾危险性评估方法[A];“中国视角的风险分析和危机反应”——中国灾害防御协会风险分析专业委员会第四届年会论文集[C];2010年

4 李志;邵哲平;邹开其;;综合评判的神经网络实现[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年

5 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

6 巴亮;林俐;郭亚成;沈辉;;地区电网继电保护运行决策专家系统知识结构化表示方法研究[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年

7 黄静莉;王常明;王钢城;张成杰;;模糊综合评判法在冰湖溃决危险度划分中的应用——以西藏自治区洛扎县为例[A];中国地质学会工程地质专业委员会、贵州省岩石力学与工程学会2005年学术年会暨“岩溶·工程·环境”学术论坛论文集[C];2005年

8 田池;吕培印;;深基坑支护方案的多目标模糊优选决策研究[A];新世纪岩石力学与工程的开拓和发展——中国岩石力学与工程学会第六次学术大会论文集[C];2000年

9 周科平;;地下矿山工程稳定性分类的自适应模拟退火聚类分析模型[A];新世纪岩石力学与工程的开拓和发展——中国岩石力学与工程学会第六次学术大会论文集[C];2000年

10 李小庆;周智多;马玉书;;模糊综合评判开发工具的设计和实现[A];第十九届全国数据库学术会议论文集（技术报告篇）[C];2002年

相关博士学位论文 前10条

1 周子冠;电网多数据源在线诊断方法研究[D];中国电力科学研究院;2010年

2 王志建;基于动态GPS信息的诱导平台关键技术研究[D];吉林大学;2011年

3 沈利娜;广西果化石漠化监测区岩溶生态环境系统安全评价[D];中国地质科学院;2011年

4 陈广泉;认知异构无线网络若干关键技术研究[D];北京邮电大学;2011年

5 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

6 江海峰;无线传感器网络能量优化路由算法研究[D];中国矿业大学;2010年

7 万毅;黄河梯级水库水电沙一体化调度研究[D];天津大学;2008年

8 陈伟强;基于GIS的烟草施肥决策支持系统研究[D];解放军信息工程大学;2009年

9 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年

10 李定启;煤与瓦斯突出矿井瓦斯治理现状评价方法及应用[D];中国矿业大学;2011年

相关硕士学位论文 前10条

1 焉杰;多传感器时滞系统信息融合及其仿真[D];山东科技大学;2010年

2 李文君;气垫船模拟器教练员系统开发研究[D];哈尔滨工程大学;2010年

3 王岱荣;空间多级倒立摆控制系统研究[D];大连理工大学;2010年

4 张志成;太阳能空气采暖系统变流量运行策略优化方法研究[D];大连理工大学;2010年

5 贺丽;基于改进ART2网络的变压器故障诊断方法[D];长沙理工大学;2010年

6 史大运;胶州湾适航资源分析及航道通航环境安全综合评价[D];中国海洋大学;2010年

7 钟晓旭;基于Web招聘信息的文本挖掘系统研究[D];合肥工业大学;2010年

8 张家华;基于嵌入式系统的故障诊断系统的设计与实现[D];沈阳理工大学;2010年

9 张微;多Agent在供应链销售系统中应用[D];河北工程大学;2010年

10 龙敏;寒冷地区居住建筑节能评价研究[D];江西理工大学;2010年

【二级参考文献】

相关期刊论文 前2条

1 程晓春;;基于格值逻辑比较概率逻辑和模糊逻辑[J];模式识别与人工智能;1997年02期

2 王保保，，吕建平，赵树芗;模糊集合的测度运算[J];西安电子科技大学学报;1996年02期

【相似文献】

相关期刊论文 前10条

1 谭军;实数的级数表示在集合论中的一个应用[J];漳州师范学院学报(自然科学版);2004年02期

2 袁东锦;马国治;;关于n×m布尔矩阵的广义逆及其求法[J];扬州大学学报(自然科学版);1989年03期

3 林山;一种求连通图树的集合的方法[J];电气电子教学学报;1997年04期

4 王仲建;集合论方法浅析[J];陕西教育学院学报;1997年02期

5 汪青云;ISM方法的软件开发及其在教学设计中的应用[J];江西师范大学学报(自然科学版);1998年03期

6 张大庆;解答连续统猜想[J];西安联合大学学报;2003年02期

7 钟裕林;;大卫星恒等式的组合证明[J];高等数学研究;2007年04期

8 毛一波;;数集确界的性质[J];重庆文理学院学报(自然科学版);2008年01期

9 陈飞燕;;集合上的正合列[J];茂名学院学报;2008年01期

10 翟淑光;邓晓新;陈新宇;;3ds max动力学动画制作要点[J];辽宁师专学报(自然科学版);2008年01期

相关会议论文 前10条

1 高敏英;许成谦;郭方;王扬志;;非等周期ZCZ序列偶集合及其谱特性[A];无线传感器网及网络信息处理技术——2006年通信理论与信号处理年会论文集[C];2006年

2 向坚;俞坚;叶绿;;一种高效的大规模RFID数据集合清理方法[A];第六届全国信息获取与处理学术会议论文集（3）[C];2008年

3 张义生;;判断预设的三值处理[A];2000年逻辑研究专辑[C];2000年

4 倪骅;李照国;;生产排程的混合集合规划算法[A];中国企业运筹学[2010(1)][C];2010年

5 童小东;龚晓南;姚恩瑜;;关于在应变空间中屈服面与其内部所构成的集合为凸集的证明[A];第七届全国结构工程学术会议论文集（第Ⅰ卷）[C];1998年

6 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年

7 王迎军;;系统行为理论的基本框架综述[A];1998中国控制与决策学术年会论文集[C];1998年

8 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

9 陈章武;黎诣远;;《国富论》 《独立宣言》230周年感言[A];中华外国经济学说研究会第十四次学术讨论会论文摘要文集[C];2006年

10 徐德;诸静;;一类截断斜坡函数多值逻辑神经元[A];面向21世纪的科技进步与社会经济发展（下册）[C];1999年

相关重要报纸文章 前10条

1 聂春林 周呈思;中小企集合债陷窘境[N];商务时报;2008年

2 本报记者 杨晶;券商集合理财快速扩容 有望带来百亿资金[N];上海证券报;2009年

3 本报记者 段寅燕;大连尝试新担保模式 第三只中小企业集合债月底面市[N];经济观察报;2009年

4 本报记者 杨晶;券商集合理财业绩两极分化[N];上海证券报;2009年

5 本报记者 关耳　实习记者 王善云;青岛集合担保试水中小企集合债[N];华夏时报;2009年

6 见习记者 郑智;中小债谋变 集合短券9月浮出？[N];21世纪经济报道;2009年

7 上海爱建信托投资公司 李忠诚;集合资金信托业务健康成长的八大条件[N];上海金融报;2002年

8 本报记者 潘强;集合债 破解融资难的有益尝试[N];中国改革报;2009年

9 本报记者 张春红;大连突破中小企业集合债“困局”[N];辽宁日报;2009年

10 谢潞锦;券商集合理财计划首次“撑伞”[N];第一财经日报;2009年

相关博士学位论文 前10条

1 李勇;基于条件事件代数的概率逻辑推理和概率逻辑衍推推理[D];云南大学;2010年

2 张蕾;奇异值分解技术在卫星资料反演和同化中的应用研究[D];兰州大学;2008年

3 孙春华;不同种属哺乳动物眼外肌周围结缔组织结构及功能的初步研究[D];天津医科大学;2007年

4 焦素云;基于概念格的动态策略存取模型[D];吉林大学;2011年

5 陈东辉;基于目标函数的模糊聚类算法关键技术研究[D];西安电子科技大学;2012年

6 戴细华;多值逻辑语义博弈[D];中山大学;2006年

7 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

8 谢伟凯;智能空间关键支撑技术的研究[D];清华大学;2003年

9 胡劲纬;多域环境中的授权管理和授权起源研究[D];华中科技大学;2010年

10 郝凡昌;有向基因组复合操作重组排序算法研究[D];山东大学;2011年

相关硕士学位论文 前10条

1 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年

2 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

3 金钊;基于语义特征的集合造型研究[D];哈尔滨理工大学;2010年

4 吴博;语言交际中亲密称呼语模糊性的研究[D];河北师范大学;2004年

5 许海洋;基于泛逻辑学的概率逻辑算子的研究[D];首都师范大学;2006年

6 郭加安;基于泛逻辑学的概率逻辑及其算子的研究[D];首都师范大学;2007年

7 闫超;中小企业集合票据融资研究[D];河北大学;2011年

8 张静;一类二项式和q-二项式系数恒等式的组合证明[D];华东师范大学;2009年

9 陆静怡;集合资产管理计划在中国证券市场的运作研究[D];苏州大学;2011年

10 陈志禄;“X是谁？”和“谁是X？”研究[D];上海师范大学;2008年

本文编号：1673671