论文部分内容阅读
<正>日常推理具有非单调性,而经典逻辑不足以刻画这样的推理, 在[7]中我们知道,自认知逻辑是研究非单调推理的一种方法,它的语言是在经典命题逻辑语言中引进一个模态算子L,可以解释为“知道”或“相信”。对于给定的自认知理论T,一个有反思能
缺省逻辑如何研究非单调推理？
【摘 要】
：
<正>日常推理具有非单调性,而经典逻辑不足以刻画这样的推理, 在[7]中我们知道,自认知逻辑是研究非单调推理的一种方法,它的语言是在经典命题逻辑语言中引进一个模态算子L,可
【发表日期】
：
2001年期
其他文献
目的1.探讨两种不同直径空芯针对不同声像学特征的乳腺病灶行超声引导穿刺活检的准确性。2.评估超声引导穿刺活检诊断乳腺病变所致的组织病理学低估率。材料与方法1.回顾性分
本论文《宋代江西文化地理研究》在叙述宋代江西文化迅猛发展的同时，更着力揭示宋代江西文化发展的地区不均衡性。文章共八章又绪论九个部分。 在绪论中，笔者首先说明本论文
目的：观察参附注射液（Shenfu Injection，SF）在脓毒症并发MODS患者中的治疗作用。方法：选择山东省千佛山医院41例严重脓毒症并发MODS患者，随机分为参附组和对照组。对照组采用西医综
采用多种表面活性剂及助剂配制了无公害环保型具有杀菌作用的液体洗涤剂，不含有强酸、强碱、磷等成分，能有效地清洗衣物上的污垢，对人及环境无毒。
采用非酸催化剂氧化亚锡，以苯酐和C8—C10醇作原料酯化合成邻苯二甲酸正辛正癸酯，确定了最佳工艺条件酯化反应温度为220℃，催化剂用量为原料量的5‰，醇酐摩尔比为2．1：1，反应时间为5h
过去中国内地资本市场受到的监管较多,交易类型和交易手段单一,衍生金融工具的使用较少,而自2010年来,融资融券业务的开展,极大地完善了中国资本市场功能。随后一系列对于放
行业发展瞬息万变,2018年前往辛集鑫星牧场(现仁强牧场)做一线调查时,掌舵的还是老何总何炳仁,两年时光流逝,再见何总,已是满头银发,精神却更矍铄,问及近况,被答道,已然退居
介绍了用甲磺酸作催化剂制备对硝基苯甲酸乙酯的实验方法及实验结果，探讨了对硝基苯甲酸乙酯的后处理方法及对硝基苯甲酸乙酯生产的工艺条件。
介绍了用混合钛酸四丁酯和钛酸四异丙酯为催化剂，以偏苯三酸酐和辛醇为原料，采用非酸法制取偏苯三甲酸三(2-己基己)酯(TOTM)的工艺，确定出生产TOTM的最优化工艺条件。
以粗磷酸为原料，采用氯化钾和硅酸钠协同脱氟的方法，生产出饲料级磷酸氢钙。实验中对反应温度、沉淀时间、原料浓度、脱氟剂用量、中和pH值等因素的影响进行了讨论，确定了适宜的