n值S-MTL命题逻辑系统中公式真度的统一理论

来源 :电子学报 | 被引量 : 0次 | 上传用户：LittleE1032

【摘要】

：

给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n

【作者】

：

李骏邓富喜

【机构】

：

兰州理工大学理学院

【出处】

：

电子学报

【发表日期】

：

2011年8期

【关键词】

：

真度强正则蕴涵算子 n值S-MTL命题逻辑系统伪距离 truth degree strong regular implication operators

【基金项目】

：

国家自然科学基金（No.10771129）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.

其他文献

一种抗混淆的恶意代码变种识别系统

恶意代码变种是当前恶意代码防范的重点和难点.混淆技术是恶意代码产生变种的主要技术,恶意代码通过混淆技术改变代码特征,在短时间内产生大量变种,躲避现有基于代码特征的恶

期刊

恶意代码变种动态污点分析行为分析混淆技术malware variants dynamic taint analysis behavior analy

相干声波信号DOA单快拍矢量平滑估计与跟踪算法

本文研究了基于声矢量传感器阵列的相干信号波达方向（DOA）估计和跟踪问题.首先,根据中心对称均匀线阵方向矩阵的平移不变特性,提出了一种增强阵列有效孔径的单快拍矢量平滑估计

期刊

声矢量传感器阵列相干信号波达方向平移不变特性空间平滑算法子空间跟踪acoustic vector sensor array coherent si

企业人力资源调配管理中存在的问题及对策

企业的发展离不开员工,而员工的资源调配对企业非常重要。每一个企业都有属于自己的发展规划,而企业的发展规划也涉及企业对员工的资源规划。而员工的资源规划,即人力资源规

期刊

人力资源规划调配管理绩效评估

肿瘤靶向药物研究进展与展望

<正>肿瘤靶向药物是指与肿瘤发生、生长、转移和凋亡密切相关的分子或基因为靶点而设计的药物,应用肿瘤靶向药物治疗肿瘤是肿瘤治疗的首选策略。本文结合笔者实验室的研究工

期刊

肿瘤靶分子靶向药物基因治疗

基于相应簇回声状态网络静态分类方法

借鉴模仿哺乳动物大脑皮层分簇结构的复杂网络拓扑结构,提出一种基于相应簇储备池回声状态网络的分类方法.将时间窗函数机制引入到回声状态网络储备池的构建中,利用具体问题

期刊

回声状态网络时间窗模拟电路故障诊断echo state networks time windows analog circuit fault diag

2008年国内外生物技术研究进展（下）——基因测序、功能基因、疑难病治疗

1基因测序技术2008年基因测序研究的一大特点是出现了简便、快捷、经济的基因组测序新技术，为个体医疗铺平了道路：使得动植物基因组测序、微生物基因组测序工作又大大前进了一

期刊

基因测序功能基因疑难病治疗

事业单位加强政府采购管理工作的建议

近年来,我国事业单位经济体制改革不断深入,这也使事业单位发展过程中的内部环境和外部环境发生了较大变化。为了更好地促进事业单位的健康发展,政府采购制度被引进事业单位

期刊

事业单位政府采购财政资金

微藻开发应用的专利分析

微藻（Microalgae）是一类在陆地、海洋分布广泛，营养丰富且光合利用度高的微型自养植物，具有分布广且不占用耕地、生物量大、光合效率高、环境适应能力强、细胞结构简单且生长周期

期刊

专利分析开发微藻应用环境适应能力光合效率营养丰富生长周期

基于结构视角的广西工业企业高端人才引进分析

随着＂中国制造2025＂战略的推进,工业企业高端人才的引进工作,是优化企业人才结构、提升企业核心竞争力的重要环节。广西工业企业的人才队伍不断壮大,涌现出了一大批勇于创新、

期刊

广西工业人才引进素质性中国制造人才结构结构视角人才交流外国专家原材料工业人才项目

n值S-MTL命题逻辑系统中公式真度的统一理论

其他学术论文