论文部分内容阅读
通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G(o)del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及其性质,为推理程度的数值化提供了依据.
G(o)del命题逻辑中公式概率真度的相似度及伪距离
【摘 要】
：
通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统G(o)del中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及
【机 构】
：
聊城大学,聊城职业技术学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年期
其他文献
运用比较分子力场分析方法(CoMFA),以DNA依赖蛋白激酶(DNA-PK)抑制剂分子为研究对象,建立1组对DNA依赖蛋白激酶有抑制活性化合物的三维定量构效关系(3D-QSAR)模型,探索其活性
建立了柱前衍生同时测定L-丙氨酸、L-氨基丙醇的高效液相色谱方法.色谱条件为:Shim-pack VP-ODS柱(150 mm×4.6 mm I.D., 5 μm );二极管阵列检测器;流动相为甲醇-磷酸盐缓冲
聚合物的多重熔融行为是高分子科学中一个重要的研究内容。全同聚苯乙烯(isotactic polystyrene,iPS)具有结晶速率慢、结构稳定、晶型单一的特点,广泛地用于聚合物的基础研究
目的 了解职业人群吸入性二氧化钛颗粒的接触水平,探讨其对工人机体氧化应激水平的影响.方法 应用定群设计的研究方法 ,通过问卷调查了解某二氧化钛生产车间成品岗位7名工人
采用构造相容分布与非负上鞅的方法的研究m阶马氏信源广义相对熵密度的强极限定理,即广义Shannon-McMillan定理.并由此得出若干马氏信源,无记忆信源的随机Shannon-Mcmillan定
多序列比对问题是生物信息学的热点研究问题.针对大规模多序列比对精度低问题,提出基于概率统计自适应粒子群的生物多序列比对算法.根据优质解的分布概率建立模型用于引导粒
目的 探讨串联线圈进行大鼠3.0 T MR扫描的效果.方法 应用研制的串联线圈与随机所配的3个线圈,分别对自制的水溶液模型运用相同的快速恢复快速自旋回波序列(FRFSE-XL)进行扫
壳聚糖及其衍生物具有多种生物活性,基于壳聚糖及其衍生物的材料表面改性是获取各种生物活性表面的重要手段,在生物材料领域显示出广阔的应用前景。为了获得血液相容性良好的
为深入探讨绝对收敛级数的性质,利用子级数收敛和绝对收敛之间的关系,得到了抽象对偶系统(E,F)中最强的Orlicz-Pettis拓扑以及产生该拓扑的最大映射集族Ф的表示.