【摘 要】
：
摘要:通过增加新的连接词～,△对n值Goguen命题逻辑系统进行公理化扩张,得到Π～,△.在该系统中给出公式的k真度、k相似度与k伪距离的定义.证明了k真度的MP规则、HS规则等性质.说
论文部分内容阅读
摘要:通过增加新的连接词～,△对n值Goguen命题逻辑系统进行公理化扩张,得到Π～,△.在该系统中给出公式的k真度、k相似度与k伪距离的定义.证明了k真度的MP规则、HS规则等性质.说明了把命题公式中的部分原子命题分别与它的对合否定互换,公式的k真度不变.接着,在Π～,△中给出公式的k随机真度、k随机相似度与k随机伪距离间的计算公式.论证了k随机真度的MP规则、HS规则等基本性质.同时介绍了三种近似推理模式以及讨论了三种推理模式之间的等价性.然后,借助公式的诱导函数,在Π～,△中给出公式在k连接词下相对于局部有限理论r的Γ-k真度、Γ-k相似度与Γ-k伪距离的概念.得到了Γ-k真度的交并运算规则、MP规则、HS规则等基本理论.最后,利用赋值集的随机化方法,在Π～,△中提出公式在k连接词下相对于局部有限理论r的Γ-k随机真度、Γ-k随机相似度与Γ-k随机伪距离.引入了任意理论r相对于特定理论Γ0的相对随机发散度和相对随机相容度,建立了相对随机发散度与相对随机相容度之间的关系式.
其他文献
目的克隆并原核表达广州管圆线虫组织蛋白酶-Z基因,评价其融合蛋白在免疫诊断中的应用前景。方法利用生物信息学分析工具,分析广州管圆线虫组织蛋白酶-Z的理化性质、结构与功
辩证法的本质是什么?首先,基于康德的先验观念论哲学,本文认为,辩证法体现的是企图从纯粹理性出发构造知识的一种理想。其次,基于韦伯的语言祛魅理论,本文认为,辩证法把对纯
一、引言交通运输业历来被认为是国民经济的先行官。在中国民航业也长期存在着“2倍定律”的说法:即民航运输增长率是国民经济增长率的2倍,然而,我们在进行文献检索时,发现有
VST-62技术参数:功率输出:20W(5W×2+10W)音箱尺寸:227×77×147mm音源输入:蓝牙无线、收音机、AUX、TF卡电源供应:内置聚合物锂离子电池特殊功能:内置卡拉OK混响功能VVST系
运用文献资料、数理统计等方法,根据近几届奥运会田径比赛、世界田径锦标赛、亚运会田径比赛、全运会田径比赛中我国田径运动员的表现,研究和分析我国田径运动现状,对提高我
党的十八大报告再次强调要毫不动摇地鼓励、支持、引导非公有制经济发展,民营企业正发挥着愈来愈重要的作用。西方国家用更加完善资本市场和金融服务,企业融资难题得到了一定
网络营销中的“鱼饵”设计理念是一种视觉设计的技巧,其并不是单纯地考虑美术设计形式,而是从营销的视角来布局网页、思考设计,指导每一个细节的图形、文字处理。互联网正在
为探讨巴东木莲(Manglietia patungensis)的分类学地位，对巴东木莲以及它的近缘种红花木莲(M．insignis)和乳源木莲(M．yuyuanensis)进行了核型研究。乳源木莲和巴东木莲的核型公
非典疫情是一面镜子,烛照出泉州市公共卫生体系的问题与不足。工业化、城镇化、经济全球化进程的不断加快,疾病谱改变、人口问题、环境问题、公共安全问题等危害因素逐年加剧
【目的】揭示尿素中添加脲酶/硝化抑制剂后,土壤中硝态氮、铵态氮的迁移转化以及淋溶损失规律。【方法】温室土柱淋溶培养试验,研究尿素中单独添加脲酶抑制剂N-丁基硫代磷酰