论文部分内容阅读
利用赋值集的随机化方法，在n值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。
概率逻辑学基本定理的推广及其应用
【摘 要】
：
利用赋值集的随机化方法，在n值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推
【机 构】
：
桂林航天工业学院信息工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2017年1期
【基金项目】
：
广西壮族自治区教育厅科研项目(No.201106LX709).
其他文献
介绍了南昌轨道交通1 、 2号线工程车辆的辅助供电系统, 从列车的主电路、 辅助供电输出回路及辅助供电系统的工作原理等几个方面进行分析和研究, 对辅助供电系统的稳定性等
目的探讨血清糖类抗原19-9(CA19-9)、糖类抗原724(CA724)、癌胚抗原(CEA)等3种血清肿瘤标志物联合检测在胃癌诊断中的应用价值。方法采集入选者静脉血,应用罗氏E601型全自动
情感多分类标注对文本信息的敏感性远高于二分类问题。为了有效利用语义依赖距离和语义多层次进行情感多分类,提出一种多窗口多池化层的卷积神经网络模型。首先使用多窗口的
介绍了用消失模工艺生产DN300法兰旋启式止回阀阀体铸件的浇冒口系统设计：将上下通径法兰水平放置、中法兰侧置，在其侧面下部设置内浇道，并在上法兰顶面设置集渣小冒口，浇注时间
根据电子设备房的消防要求，分析S型热气溶胶火火系统的性能及技术特点，指出S型热气溶胶灭火系统在电子设备房的应用优势及注意的事项。
目的掌握广西城乡居民向心性肥胖流行特征及其发生肥胖的危险因素,为疾病控制提供科学依据。方法运用各阶段随机整群抽样方法,抽取南宁、钦州、贺州、河池市4个市和天等、巴
目的:探究血清癌抗原(CA)72-4、CA242、CA19-9和癌胚抗原(CEA)联合检测诊断胃癌的价值及预后评估。方法 :选取132例胃癌患者及132例健康志愿者为研究对象,分为胃癌组和对照组
在智能电网普及的大数据背景下，对电力数据进行精准的分析和预测对电网规划和经济部门的管理决策具有重要的指导意义，但大多数模型都只是在单一的时间尺度上进行研究。针对这一
建筑砖砌体裂缝不仅种类繁多，形态各异，而且较普遍，轻者影响建筑物美观，造成渗漏水，重者降低建筑结构的承载力、刚度、稳定和整体性、耐久性。砌体裂缝的控制看似一个简单而又普遍
各位来宾、各位同仁、朋友们:大家上午好。现在,我代表中国口腔清洁护理用品工业协会第七届理事会向大会作工作报告,请予审议。协会第七届理事会成立5年来,国内外政治经济形