论文部分内容阅读
对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。
一阶逻辑公式相对真度的计算形式
【摘 要】
：
对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关
【机 构】
：
山西师范大学数学与计算机科学学院,西南交通大学智能控制开发中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2015年16期
其他文献
社交网络经常通过掌握的用户信息来对其进行好友推荐。这种好友推荐带来了技术挑战,现有的好友推荐技术并不能有效解决该问题。为了应对这种技术挑战,拟提出基于分类属性的好
力学是高中物理最重要的组成部分，贯穿于整个高中物理教学过程，物体运动状态的判断、动量和功率、电磁学等部分内容，都离不开对物体的受力分析．力学是整个高中物理学习的基础和核
数形结合法是解答数学试题的重要方法之一,通过图形可直观看出参数及参数间的关系,明显提升解题效率.高中数学知识点多,题型多变,尤其是创新题型,不少学生找不到解题方法.事
为解决列车高速运行时,出现的蛇行失稳故障难以被准确识别的问题,提出一种基于集合经验模态分解 （ensemble empirical mode decomposition, EEMD）摘特征和最小二乘法支持向量
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的
流程比对一直是业务流程管理的一个研究热点。它是指通过比较得出两个流程的相似度或相异度。流程距离是对两个流程相异程度的描述。在WF-net的基础上,明确提出了流程距离的概念,并在业务控制流及其资源的角度上建立了流程距离测度模型,用于测量两个流程之间的距离。通过分析得出:在多个流程中,能够找到与指定流程最近或最远的流程。证明提出的流程距离测度方法是可行的。
本文研究了（Bi0.5Na0.5）0.94Ba0.06TiO3（BNBT6）陶瓷制备过程中球磨时间对BNBT6粉体和BNBT6陶瓷结构和性能的影响,研究发现：随球磨时间的延长,BNBT6粉体粒径不断减小,s/v不断增加,
为了进一步降低无线传感器网络的能量消耗,延长网络寿命,提出一种基于剩余能量预测的无线传感器网络模糊分簇算法。新算法根据节点到基站的距离和邻居节点的数目,对候选节点