【摘 要】
：
摘要：将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1／2中,广
论文部分内容阅读
摘要：将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1／2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义(1/2)-MP,(1/2)-HS规则不成立.在MTLn中引入了α-随机真度的概念,讨论了其性质,依据公式的α-随机真度定义了公式之间的α-Dn相似度,从而导出命题逻辑中的伪距离.在Godel区间值命题逻辑系统中引入了a-真度,论证了区间值真度MP规则和区间值真度HS规则,在：-真度基础上给出了a-相似度及其性质,说明了在Godel区间值命题逻辑系统中建立伪距离是可行的.最后在逻辑系统L*中引入了公式的T-演绎真度,在此基础上,定义了T-演绎相似度与伪距离,还对近似推理进行了研究,得出三种近似推理模式是等价的结论.
其他文献
创业是实现社会经济持续增长的关键驱动力。创业不仅能够创造成千上万个新的工作岗位,而且可以增加税收、繁荣进口、促进技术革新,提高整个国家的生产率和竞争力。不是每个人
<正> 穿裆脚是大成拳中主要实战踢击技术,其用法体现了中国功夫腿法制敌的实战原理:起脚不过脐。用低位踢法攻击敌人。由于低位踢法动作隐蔽,攻击距离短,对方不易防守。另外,
进入21世纪,随着各国之间广泛的交往,双边或多边条约的数量也迅速增多。国际条约在国际法范围内遵循条约必须遵守原则,但在各个国家内部,当国际条约与国内法发生冲突时,各国
在21世纪,信息化时代已经跟随人类的脚步而来,人们的日常工作、学习、生活等均与计算机和互联网紧密联系。作为十分重要的社会资源,信息已经充分扮演了主导地位。信息伴随着
目的:制备呋喃西林纳米混悬凝胶剂（nanosuspension-based gel of nitrofurazone,NTZ-nanogel）,并进行离体透皮评价。方法:采用微介质研磨法制备呋喃西林纳米混悬剂（nanosuspensi
船舶优先权是海商法所特有的制度之一。文章将国际公约中关于船舶优先权的规定相比较,力图分析船舶优先权的项目和位序立法的国际趋势。同时,将国际公约与我国海商法中的相关
高速动车的安全管理不但影响我国的经济发展,还影响出行者的人身和财产安全,甚至影响全社会的长治久安。铁路运输管理部门必须认识到安全管理的重要性,不断开发新的安全管理
<正>江小白,这个定位于80、90后的青春小酒,却能够融汇小米精神,发挥互联网优势,在整个白酒业的冬天崛起。提到白酒行业,多数人想到的都是五粮液、茅台或者是二锅头这样的白
审美心理具有历史性和民族性,研究中国传统审美心理学可以为中国审美心理学的发展正本清源。回顾十年来已发表的文献,可以把中国传统审美心理学的核心思想提炼为:以和为美、
介绍了美国、日本等国家区域供冷供热技术的发展,总结了其发展过程中的若干经验,与我国的具体情况做比较,提出了促进我国区域供冷供热发展的建议.