【摘 要】
:
分级模态是对标准模态的扩展.同时,它也被应用于认知逻辑中.本文介绍了分级模态的几个基本系统,证明了有关分级模态算子的几个结论,给出了分级模态在认知逻辑中的一些应用.
论文部分内容阅读
分级模态是对标准模态的扩展.同时,它也被应用于认知逻辑中.本文介绍了分级模态的几个基本系统,证明了有关分级模态算子的几个结论,给出了分级模态在认知逻辑中的一些应用.
本文首先引入分级模态语言,证明了有关分级模态算子独立性的一些论断.然后建立分级模态Kω系统.一方面证明了Kω系统中的一些重要的内定理以及导出规则.另一方面证明了Kω系统的可靠性和完全性.其次,概述了Kω系统的扩充,为日后的进一步研究做了准备.
本文还给出了分级模态的两个应用,一个是分级模态在认知中的解读,另一个是分级模态的相关推理--数字推理.通过一些具体的例子,说明可以用分级模态对数字进行形式化的推理,最后指出数字推理在机器上实现的可能性.
其他文献
利用射流成型法制备了厚度为2mm的Zr52.5Cu17.9Ni14.6Al10Ti5金属玻璃薄板,通过控制氧含量和过热度来改变玻璃薄板中淬态结晶相的体积分数.研究表明:低的氧含量水平和高的过
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在19世纪中叶,马克思首次对人类社会历史进行系统性研究,并在社会发展形式、手段、不同阶段以及动因等方面形成创新性的科学理论体系。马克思的社会发展理论包括其社会进步观,基
转基因作物是指将从植物、微生物及动物中分离到的目的基因,通过各种方法转移到作物基因组中,使之稳定遗传并赋予作物新的遗传性状,如抗虫、抗病、抗逆、高产、优质等。转基
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
Zr(Mn0.45-xNi0.55Vx)2(x=0.05~0.40)Laves相储氢合金中的Zr-Ni相类型主要有ZrNi和Zr9Ni11相。ZrNi11相在整个研究的成分范围内出现,而 ZrNi相仅在x=0.20-0.40范围内出现。Zr9Ni11相的含量与合金中的 Mn、V含量关系不大,而ZrNi相的含量随合金中的Mn、V含量变化呈增加趋势。Zr9Ni11和ZrNi相
N111S是用培矮64S作母本,安农S-1作父本进行有性杂交,通过加压筛选,定向培育而成的不育起点温度低、综合性状好、配合力强、外观米质好的水稻两用核不育系,2006年通过湖南省
马克思的社会进步思想是整个马克思社会历史观的重要组成部分,这种进步观的实践考量是以人类社会进步的价值尺度和基本坐标。而社会发展观和社会进步观的内核则是社会进步尺
利用硝酸钯加热水解的特性,将银铜钯合金中的钯溶解并富集为水合氧化钯,用二氯二氨络亚钯法回收提纯钯,钯直收率达92.8%,回收率达98.4%.新工艺流程短,试剂消耗少,成本低.
分析了凝汽器的传热特性,利用660MW机组DCS采集到的数据,通过多元回归分析了凝汽器真空与其影响因素之间的关联关系,得到了偏相关系数,为真空预测模型提供了理论依据.应用主