论文部分内容阅读
在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。
命题逻辑系统Ln中公式集上的真度函数
【摘 要】
：
在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从
【机 构】
：
陕西师范大学数学与信息科学学院,第四军医大学生物医学工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年36期
【基金项目】
：
国家自然科学基金（No.10771129）
其他文献
现有的方法都不能很好地模拟具有内在体积的柔性物体。针对这种现状，将虚拟气体添加到改进的质点弹簧模型之上。通过内部的气体压力约束及改进的质点弹簧模型的约束实现了对这
大数据技术具有一套独特的认识论体系,它以数据为其认识基点,是经验主义与理性主义认识基点的互补;以相关性为主要认识内容,是对因果性认识论的补充与完善;强调对非确定性结
中国政府于1995年正式宣布在东海区实施伏季休渔制度，休渔范围为27°00’N～35°00’N海域，时间为每年的7月1日至8月31日；1998年将范围进一步扩大到26°00’～35°0
2002年8～9月在山东莱州明波水产公司养鱼场,半滑舌鳎(Cynoglossus semilaevis Günther, 1873)亲鱼经人工诱导催熟,在亲鱼培养池中雌、雄个体同时排卵、排精并完成了自然
本研究以中药黄芩苷为受试药物,研究其在不同剂量和作用时间下对牙鲆（Paralichthys olivaceus）肝CYP1A酶活性和基因表达的影响。采用体内实验,将黄芩苷按低（50mg/kg·d）、中（1
基于实地所获得的材料,将弄京村布努瑶族的多语类型分为“布努语—普通话”和“布努语—壮语—桂柳话”两种类型。认为：该村多语和谐特点是：各语言均可流利用于交际、功能互补