Lukasiewicz n值命题逻辑中公式的条件随机真度

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:jieshoukode
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。
其他文献
基于四阶分段线性电路的分岔探讨了系统在周期激励下的复杂动力学行为。从理论上分析了与该非自治电路相应的自治系统平衡点的稳定性及其演化条件。进而引入周期激励,自治条
白市驿镇位于重庆主城区的西大门,是九龙坡区承东启西的中心交汇点,具有依托主城辐射周边的区位优势.镇距重庆商贸中心--解放碑22公里,距江北国际机场42公里,距朝天门港26公
期刊
对Krylov子空间迭代法,高效预条件的构造是核心问题之一,而重叠区域分解是一种很有效的并行化技术。通过模型偏微分方程离散求解以及混凝土细观数值模拟中的线性方程组求解,
摘要:中药学为中医专业的基础课程,是基础与临床衔接的桥梁,更是连接中医学与中药学的关键。本文论述了北京中医药大学中医学院中药教研室在中医专业开设中药饮片生产实训教学的实践探索,包括教学内容与要求、教学方法与能力培养、考核方式与成绩评定等。中药饮片生产实训课程是带领中医专业学生到中药饮片厂参观中药炮制的库房、检验、炮制的实训课程,是专业基础课《中药学》的实践教学内容,也是《中药饮片辨识》实训课程的延
通过对停车场现状的分析,文章采用一种基于安卓手机APP平台与无线蓝牙通讯相结合的新颖停车管理系统方案,该系统采用STMF103ZET6为主控芯片,该方案包括主控模块、安卓手机APP
党的十五大报告从战略的高度指出:我国现代化建设的进程,很大程度上取决于国民素质的提高和人力资源的开发。人力资源开发已成为世界各国经济发展的一项重要战略。我国农村人