中介谓词逻辑一种改进的语义解释及λ-归结

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:googoosin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时~A真"这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为(0,1-λ)∪(1-λ,λ)∪(λ,1)(λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。
其他文献
介绍了水刺人造革基布的种类及在聚氯乙烯人造革和聚氨酯合成革行业上的应用.
在日本,随着一些制造商设备能力的增加,高吸收树脂的产量一直处于稳步增长状态.表1给出了日本高吸收树脂制造商1999年10月的生产能力.
本文对非织造布 /塑料薄膜层压复合材料的发展进行了综述 ,并就新一代“绿色”非织造布 /塑料薄膜层压复合材料的发展方向提出了设想 ,重点强调了其应用于土壤防护材料、装饰
人脸识别是一种通过提取人脸视觉特征信息进行身份鉴别的计算机技术。在非负矩阵分解NMF算法的基础上提出了改进的基于子域的NMF求解算法,将其应用于人脸识别领域,分别在Yale和ORL公共人脸数据库进行测试,得到了100%和95%的识别率。与其他求解算法相比具有夹逼性好,识别率高等优点。
1教学中的误区1)无视“兴趣”,强迫学习兴趣是对事物喜好或关切的情绪.它表现为人们对某件事物、某项活动的选择性态度和积极的情绪反应.兴趣在人的实践活动中具有重要的意义,可以
讨论了具有Allee影响和病毒传播的捕食食饵模型在Neumann边界条件下正常数解的稳定性,给出了解的上下界,并利用能量方法给出了非常数正解不存在的条件,即在此条件下不会发生
分析了随机场相关模型离散后的近似随机场相关系数矩阵的正定性。根据计算机常用变量的表示范围,确定指数衰减模型的随机变量数目上限的估计公式,数值分析了平方指数衰减模型。
函数是描述客观世界变化规律的基本数学模型,不同的变化规律需要不同的函数模型来描述.我们已经学习了几种基本的函数:一次函数、二次函数、指数函数、对数函数、幂函数,
进入国庆长假,是不是嫌人多而放弃了出游计划?如果正想趁机放松一下,打打游戏倒是个不错的主意。不过自电玩诞生的那天起,游戏江湖便从未少过刀光剑影,这对于初入门的玩家来说,真是
北京市怀柔区第二中学创办于1962年,是一所历史悠久,环境优美、文化底蕴深厚的学校。学校西部怀柔水库。东接繁华街道,闹中取静,环境优雅,现占地面积3.1万平方米,