【摘 要】
：
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(o)del命题逻辑系统中引入命题的α-真度概念
【基金项目】
：
兰州理工大学校科研和教改项目;陕西师范大学校科研和教改项目;国家自然科学基金
论文部分内容阅读
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G(o)del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示.
其他文献
对患者进行全面评估,确立正确护理诊断,采取有效护理措施(心理护理、基础护理、放化疗护理)建立良好心理状态.增强抗病信心,积极配合治疗,保证治疗计划顺利进行,提高生命质量
通过搭建冷等离子体种子处理试验台,应用冷等离子技术对农作物和饲草种子进行处理,寻找出最高发芽率的最佳处理剂量,分析冷等离子体处理对种子发芽及幼苗特性的影响.试验台的
随着现代科学技术的发展,以电、热和机械为代表的物理技术处理种子的方法开始得到研究与应用,一种以物理手段为植物生长发育促进因子的新型农业技术应运而生.从农作物种子具
Paired-like homeodomain transcription factor 1 (PITX1) plays an important role in pituitary development by indirectly regulating the expression of the GH and PR
依据果园昆虫生物群落的趋光特性,利用研制的LED光源及控制系统,进行了LED光源波谱光照强度、频闪、调控光照对果园昆虫诱导效果测试,并分析了影响果园昆虫群落趋光上灯及维
Sex emerges out of a delicate dance between a variety of promale, anti-male, and possibly profemale genes. To investigate the role that sex-related genes play i
Vitamin A deficiency has become a worldwide problem. Biofortified foods can potentially be an inexpensive, locally adaptable, and long-term solution to dietary-
Knowledge on the performance in grain yield and physiological traits is essential to understand the main yield-limiting factor and make strategies for breeding
Quantitative trait loci (QTL) for percentage of chalky grain, degree of chalkiness, and endosperm transparency were detected using 3 recombinant inbred line pop
目的 对早期妊娠囊中卵黄囊进行超声检测,探讨与妊娠结局的相关性.方法 对329例早期妊娠对象卵黄囊进行超声检查,观察与之相应胚胎的生长发育状况.结果 230例卵黄囊直径持续