缺省逻辑如何研究非单调推理?

被引量 : 0次 | 上传用户:stcheer
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>日常推理具有非单调性,而经典逻辑不足以刻画这样的推理, 在[7]中我们知道,自认知逻辑是研究非单调推理的一种方法,它的语言是在经典命题逻辑语言中引进一个模态算子L,可以解释为“知道”或“相信”。对于给定的自认知理论T,一个有反思能
其他文献
目的1.探讨两种不同直径空芯针对不同声像学特征的乳腺病灶行超声引导穿刺活检的准确性。2.评估超声引导穿刺活检诊断乳腺病变所致的组织病理学低估率。材料与方法1.回顾性分
本论文《宋代江西文化地理研究》在叙述宋代江西文化迅猛发展的同时,更着力揭示宋代江西文化发展的地区不均衡性。文章共八章又绪论九个部分。 在绪论中,笔者首先说明本论文
目的:观察参附注射液(Shenfu Injection,SF)在脓毒症并发MODS患者中的治疗作用。方法:选择山东省千佛山医院41例严重脓毒症并发MODS患者,随机分为参附组和对照组。对照组采用西医综
采用非酸催化剂氧化亚锡,以苯酐和C8—C10醇作原料酯化合成邻苯二甲酸正辛正癸酯,确定了最佳工艺条件酯化反应温度为220℃,催化剂用量为原料量的5‰,醇酐摩尔比为2.1:1,反应时间为5h
过去中国内地资本市场受到的监管较多,交易类型和交易手段单一,衍生金融工具的使用较少,而自2010年来,融资融券业务的开展,极大地完善了中国资本市场功能。随后一系列对于放