论文部分内容阅读
基于绝对真度的概念，在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离，并证明了公式绝对真度的推理规则，为近似推理提供了理论基础．
Gn命题逻辑系统中绝对真度的理论研究
【摘 要】
：
基于绝对真度的概念，在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离，并证明了公式绝对真度的推理规则，为近似推理提供了理论基础．
【机 构】
：
聊城大学数学科学学院
【出 处】
：
德州学院学报
【发表日期】
：
2009年4期
【基金项目】
：
教育部科学技术研究重点项目（206089）
其他文献
以银杏叶绿素为研究对象，通过极低频磁场激励，研究频率、作用时间和磁感应强度三个作用量对其紫外／可见吸收光谱的影响．结果表明磁场激励对叶绿体中心离子谱带的影响比较明显；吸收
理论的相对偏差是确定近似推理误差的逻辑度量之一，由于缺乏与理论特征相关联的真度表示，而导致其计算和应用上的不便．以公式真度为基础，给出了二值命题逻辑系统中有限理论相对偏
理论联系实际、密切联系群众、批评与自我批评的三大优良作风是中国共产党永葆自身生命力的法宝,是她能够开创前无古人的伟大事业的根本前提。＂三大优良作风＂之所以能够成为我
被唐宪宗召入京城为官,是李益人生暮年阶段的开始。闲适自足与老病自伤构成诗人暮年诗作的主要感情内蕴。这些作品的总体成就虽然远不及诗人盛年时期的创作高度,但还是自有其
在西方传统美学中,身体是被忽视甚至被排斥的对象,原因有二：其一是西方哲学思想中根深蒂固的唯智主义倾向;其二是身体运作的极端复杂和自行隐匿的特点,使得对它的深刻认识只有
研究了一类负系数混合型奇数阶差分方程的振动性质，得到了这类差分方程振动的判据．
在没有任何连续性与紧性的假设条件下，给出了一类混合单调算子不动点的存在唯一性定理，并将所得结果用于研究积分方程正解的存在唯一性．
高等教育以人为本的教育思想来源于马克思主义关于人的全面发展学说，是科学发展观在高等教育中的集中体现．贯彻以人为本教育思想，要实施人才队伍建设和人才培养工程，围绕“人”这
简述了复杂网络的静态几何量及其机制模型，然后列举了复杂网络在蛋白质研究领域的应用进展．