柔性区间逻辑及推理研究

来源 :西北工业大学 | 被引量 : 0次 | 上传用户:leeannie222
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文的研究工作源于国家自然科学基金项目(60273087)“经验知识推理理论研究”与北京市自然科学基金项目(4032009)“不精确推理理论研究”。 已经发展十分完善的经典数理逻辑是刚性逻辑,只能解决确定性问题。研究具有矛盾和不确定性问题的各种非经典逻辑和现代逻辑是人工智能的主要发展方向之一。何华灿教授所提出的泛逻辑学旨在研究逻辑的一般规律,重点在研究具有矛盾和不确定性的各种柔性推理过程和演化过程。 本文将泛逻辑学的思想引入到区间逻辑中,实现了区间逻辑的值域和运算模型的柔性化,并对柔性区间推理进行了研究,主要创新点如下: 1.根据泛逻辑学原理,把广义相关性引入到区间逻辑中,定义了区间逻辑的补、与、或、平均、等价和组合运算模型簇。重点论证了柔性区间与、柔性区间或和柔性区间平均运算簇的性质。 2.提出了四种柔性区间蕴涵运算模型簇,重点证明了第一种柔性区间蕴涵的边界条件、单调性和伴随性,证明了柔性区间与、柔性区间或和柔性区间蕴涵可构成剩余格,且其具有良好的代数性质。 3.提出了柔性区间推理模型,证明了该运算模型满足推理规则的基本要求。 4.将柔性区间逻辑应用到粗糙逻辑研究中,定义了粗糙与、或、补和蕴涵运算模型,证明了粗糙蕴涵和粗糙与、或、补可构成FI代数。 上述研究成果为进一步证明柔性区间逻辑推理的有效性和可靠性,为最终建立柔性区间逻辑形式演绎系统奠定了理论基础。
其他文献
目的:通过对1例糖尿病酮症酸中毒昏迷病人的抢救和护理,探讨应用小剂量速效(普通)胰岛素治疗糖尿病酮症酸中毒患者的护理.方法:针对病人的糖代谢及电解质紊乱,容易发生感染等
目的:为了掌握和了解托幼机构保教人员妇女病的发病情况,我们从大同市托幼机构保教人员一年一次的妇女病普查登记簿中抽查了2002年~2004年,3年中1500名保教人员的阴道分泌物检查
Graves眼病是以球后组织为靶抗原的器官特异性自身免疫疾病,为眼科和内科常见的疾病.目前治疗方法比较多,但都是对症治疗减少并发症为主.我科从2003年1月~2004年10月对24例Gra
刑法典分则体系的章节结构杂乱直接喻示着刑法典分则体系性的不足,故有必要对之予以类型化强化。刑法典分则体系性的类型化强化,只能选取“前置法益主导标准”即采用“前置法
倾销与反倾销是既可以伤人又可以防身的双刃剑,中国是国际反倾销的最大受害者。本文对国外频繁对华倾销的原因进行系统分析。
本文以靶场实验中多目标测量为研究对象,以对目标编号维持为出发点,重点解决在目标发生交叉分离后,继续保持对目标编号维持不变问题。首先,针对测量目标信噪比较低的特点,传
目的探究丹参酮ⅡA磺酸钠注射液治疗冠心病心绞痛的临床效果。方法将我院收治的96例冠心病心绞痛患者随机分为观察组和对照组,各48例。两组均实施常规药物治疗,观察组在此基
一、引言拍卖行源于英国,拍卖行是以公开的出价方式买卖动产和不动产的商行。在我国,拍卖行是具有特殊经营性质的行业。解放后,由于各种政治、经济因素的影响,在较长时期里我国拍
本文报导了以没食子酸和丙醇为原料合成没食子酸丙酯的多种合成方法,其中最有价值的是以对甲苯磺酸为催化剂和烃类带水的酯化法。该法有操作简单、安全、易纯化等优点,收率高
要素祟赋理论(Factor Endowment Theory)从供给方面说明了要素禀赋差异对国际贸易的影响,但在现实生活中,国际贸易是由供给和需求两方面的因素共同决定的。本文在要素祟赋理论的