【摘 要】
：
文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值
【机 构】
：
湘南学院数学系,湘南学院计算机科学系,四川民族学院数学系
【基金项目】
：
湖南省重点建设学科;湖南省科技计划项目(2013FJ3032);湖南省教育厅科学研究重点项目(2014A135);湖南省社会科学基金项目(13YBA302)资助~~
论文部分内容阅读
文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、Λ-不确定度等概念,并说明了Λ-概率真度是已有的二值命题逻辑各种真度概念的推广,通过讨论Λ-概率真度的性质,表明Λ-概率真度在全体公式集F(S)上满足Kolmogorov公理.证明在形式推演的一个有效推理中,结论的Λ-不确定度不超过各前提的Λ-不确定度与其必要度的乘积之和.利用公式的Λ-不确定度引进公式间的Λ-相似度和Λ-伪距离,证明了在一定条件下所建立的Λ-伪距离空间没有孤立点且通常的逻辑运算关于Λ-伪距离是连续的.在Λ-伪距离空间中,提出了F(S)上的两种不同近似推理模式,并通过实际应用例子说明所提出的近似推理模式是有效的.
其他文献
舞蹈教学在高校教育中占据了非常重要的地位。而且对于学生综合素质的提高会带来非常大的帮助作用。而其中爵士舞在高校舞蹈教学中占据了举足轻重的地位。它不仅可以塑造完美
目的探讨扁平化在现代包装设计中的特征和设计原则,以丰富包装应用设计的创作理念和风格样式。方法立足于包装设计的图形、色彩、信息和版面各要素,从扁平化的视角分析其在包
旅游业竞争日益激烈,旅游市场营销主体逐渐从企业转向目的地。然而,边缘化且旅游发展处于探索阶段的目的地却较少受到关注。以西藏洛隆为例,在地理位置、市场知名度及资本市
程序正义作为英美法系国家法治的核心理念,近年来在我国法治建设过程中频频亮相,引发了学界的各种讨论,其中不乏质疑声,而我国又有"重实体轻程序"的传统,因此,本文将主要对学
Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使
将农林废弃物开发成植物培育基质是其资源化利用及污染控制的重要途径。笔者对植物培育基质开发以及应用中的关键技术进行了总结,包括:基质堆制发酵的外源微生物添加技术和物
目的寻求水果礼品包装设计的创新性策略。方法调研当今市场上水果礼品包装的弊病,结合实例明确水果礼品包装设计的新方向,探索创意型水果礼品包装的市场可行性。结论水果礼品
随着人们对环保要求的日益提高,采用白土脱除芳烃中微量烯烃引发的环境问题倍受关注。本论文首先筛选出需要改性的颗粒白土,然后对其进行改性,考察了改性剂种类、用量和反应
供给和需求具有平衡的内在可能性 ,但这种平衡可能性在下述两种条件下会遭到破坏 :一是储蓄大于投资 ;二是某种产品的供给量大于社会需求的绝对饱和点或相对饱和点。前者导致
<正>新的《义务教育美术课程标准》指出:美术课程资源的开发有利于丰富美术教学的内容,提高美术教学的效益,突出美术教育的特色。我们要让学生在生活中了解家乡的人文景观、