论文部分内容阅读
通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度,给出了伪距离的定义,确定了二者之间的关系。
命题逻辑系统中公式的概率真度理论
【摘 要】
：
通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义,明确了概率真度在[0,1]中的分布情况,并得到了一些概率真度的推理规则;引入相似度
【机 构】
：
聊城职业技术学院,聊城大学图书馆,聊城大学数学科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年5期
【基金项目】
：
山东省自然科学基金No.Y2003A01
其他文献
以新华桥为工程背景，阐述数值计算与静载试验相结合的方法，在桥的质量检测方面应用的可行性．采用ANSYS计算软件分析在试验荷载作用下的理论值，并与实际静载试验获得的应力值和挠
按订单设计定制产品是一种定制深度较深的大批量定制类型,设计过程比较复杂,设计的自动化程度较低.本文以汽车座椅滑道推送测试设备为研究对象,采用VB语言,结合Access、Solid
建立了柑橘中多菌灵残留量的改良QuEChERS-高效液相色谱快速检测方法.样品用10%醋酸乙腈溶液提取、醋酸钠和无水硫酸镁盐析后,取上清液,加入N-丙基乙二胺（PSA）与石墨化炭黑（GCB）
G是一个Kn-e图，e∈E（Ka）。设σ2（G）表示不相邻顶点度和的最小值．令｜V（G）｜=n=∑^ki=1 a,并且σ2（G）≥，n＋k-1．证明对于图G中任意的k个顶点v1，v2，…vk。存在点不相交的路P1，P2，…Pk，使得对于1≤i≤k，
根据娄底市辖区内5个国家地面气象观测站30a常规观测资料、湖南省闪电定位系统2008～2012年监测数据和娄底市雷电灾害调查资料进行气候统计分析，找出区域内雷电活动规律和地理分
以杂交水稻两优288为材料,用外源植酸酶处理种子,测定萌发后种子中α-淀粉酶活性、可溶性糖含量、植酸酶活性.结果表明,种子由休眠转入萌发状态的过程中,经过植酸酶处理后的
在重庆律师界,女性律师撑起了半边天;而彭静是其中的佼佼者.2003年12月,市委书记黄镇东率团参加在香港澳门举行的CEPA论坛,静升律师事务所成为重庆惟一参会的中介服务机构.彭
文章运用Pyrosim软件分别模拟地下一层下沉式广场防风雨蓬排烟口顶开和侧开两种形式下烟气蔓延过程,对比分析两种开口形式对地下一层下沉式广场的防火隔烟效果的影响。
苏北农村作为经济发达省份的落后地区,加强幼儿园多媒体有效教学,是缩短城乡间学前教育质量差距的可取之策。通过对苏北农村幼儿园多媒体有效教学现状的分析,提出解决方案,期