【摘 要】
：
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)，国家重点实验室基金
论文部分内容阅读
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.
其他文献
硼在植株体内含量很少,却对植物生长发育起着重要的作用.缺硼会导致作物生长停滞,蕾而不花,果实畸形,结实率下降等严重后果,及时准确诊断作生体内硼的含量对指导农业生产具有
目的:探讨艾滋病相关综合征(A R C)的临床表现、对症处理及生存质量的保障.方法:回顾4例ARC的口腔及相关临床症状、病理因素、流行病史,比照1986年美国疾病控制中心(C D C)艾
针对传统支持向量机方法中存在对噪声或野值敏感的问题,提出了一种基于紧密度的模糊支持向量机方法.在确定样本的隶属度时,不仅考虑了样本与类中心之间的关系,还考虑了类中各
了解沈阳市和平区性病发病趋势及流行特征，为制订防治策略提供依据。结果显示尖锐湿疣、非淋菌性尿道炎、生殖器疱疹、艾滋病等的发病率呈逐年上升趋势。性病发病年龄仍然集中
减速器加工包含机械加工中最常见零件的加工，以减速器为项目的机械制造工艺学教学应遵循从实践到理论再到实际应用的教学方法，充分发挥学生的主体作用，培养学生应用知识分析、解
摘要：口语交际教学应根据专业需要选择恰当的教学方法。职业中学的语文课口语交际教学应在实践的基础上，利用语文课的教学平台，结合口语交际及旅游专业的特点，采用感知——创境——互动——评价的口语交际教学模式，提高职业中学旅游专业口语交际教学的成效。 关键词：旅游专业；语文课；口语交际 口语表达，对导游员来说是一种非常重要的能力。导游员引导游客参观游览，进行解说，解答游客各种各样的问题，都需要较强
我院自1998年2月至2002年12月,对12例快速心律失常住院患者,在应用其他抗心律失常药物治疗无效时,采用胺碘酮静脉注射治疗,取得了满意疗效,报告如下.
在当今世界，以职业教育见长者首推德国，而英国职业教育的发展却相对迟缓。传统思维方式是导致战后英德两国职业教育发展差异的主要原因。英国保守主义的传统思维方式对英国职业
目的:探讨器质性E D致病因素,提高手术治疗效果.方法:总结3 3年来性功能失常矫治术治疗1244例器质性ED的体会.结果:获得3个月至33年随访者1087例(87.38%),疗效逐步增加.近8年
在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对((下近似集,上近似集()表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能够抽象刻画偶序对性