【摘 要】
:
本文通过引入相关性,给出Lm4c+后承的一个基于经典逻辑概念的形式刻画,进而给出“愿望保持性”和“承诺可传递性”的一个统一的形式规范,从而为“意图调整”提供了理论支持。
【基金项目】
:
本文得到国家自然科学基金(69875017)的支持
论文部分内容阅读
本文通过引入相关性,给出Lm4c+后承的一个基于经典逻辑概念的形式刻画,进而给出“愿望保持性”和“承诺可传递性”的一个统一的形式规范,从而为“意图调整”提供了理论支持。
其他文献
【正】 从全国看,一九八四年一百元货币购买力大体相当于一九八三年的九十七元三角,一九七八年的八十五元、一九五二年的六十九元八角。由于城乡物价上升幅度有高有低,现在城
通过对建筑外墙外保温工程防火设计、工程施工、工程材料、工程监管等方面存有问题的查找分析,结合实际-提出切实可行的措施和对策,使建筑外墙外保温工程既防火安全、节能保温,
目前,我国社区矫正基层执法机构在管理体制、人员配备与机构设置、工作职能等方面都存在一些问题,制约着社区矫正工作的有效进行。为此,应当进行相应的改革:在领导体制方面,实行垂
有关人类认知领域的传播研究刚刚起步,在这个学科边界尚不清晰的新兴领域内,研究者们始终没有达成共识,即这类研究的研究对象是谁?研究的学科基础是怎样的?因此,对于涉及认知
3月30日,天津水泥院有限公司与海德堡水泥集团签署了南非伊丽莎白港水泥粉磨站EPC项目合同。合同范围包括从熟料、水泥辅料进厂到水泥包装发运的一整条粉磨站EPC项目。
【正】 美国:只要能大量生产大量销售,哪怕是极便宜的东西,都有可观的利润。日本:利润大的商品,不是最好的商品;顾客喜欢的商品,才是最好的商品。英国:不要说"这种商品我们店
本文以洞穴为源点,通过对洞穴形态特征、空间特征以及材质的分析,把洞穴中的优秀设计思想加以提炼并进一步应用到现代居室空间中,把洞穴的形态美、空间神秘与材质的淳朴自然
为进一步提升企业科技研发水平.增强自主创新能力.北京城建亚泰建设集团公司日前成立技术中心.其职能是制定和实施企业技术创新战略规划.开展技术沟通交流.培养高科技专业人才.推动
<正>本文对33例脑卒中患者进行血浆FSH LH、TSH、PRL、GH浓度的测定,以研究脑卒中与下丘脑—垂体—靶腺机能的改变。结果表明,出血性组和缺血性组五种激素浓度的改变无显著性
以泥蚶为实验生物,应用半静态双箱模型室内模拟了其对三种重金属(Cu、Pb、Cd)的生物富集实验,通过对富集与排出过程中泥蚶体内重金属污染物的动态监测和对富集与排出过程监测结果