共查询到20条相似文献,搜索用时 125 毫秒
1.
将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义([a]-MP)规则、语义([a+]-MP)规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。 相似文献
2.
一种基于区间模糊理论的描述逻辑系统 总被引:2,自引:0,他引:2
为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围. 相似文献
3.
裴道武 《淮阴师范学院学报(自然科学版)》2002,1(1):6-12
在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性. 相似文献
4.
多Agent模糊概率信念逻辑 总被引:1,自引:1,他引:0
在经典信念形式化研究中,信念在某一可能世界中的真值取值范围是{0,1)。基于新模糊集合论给出信念真值的模糊真值计算方法,将信念的真值取值范围推广到[0,1]。在这样模糊逻辑框架下,将广义概率Aumann语义推广到广义模糊概率Aumann语义,从而建立多Agent模糊概率信念逻辑。在该逻辑中,给出多Agent模糊概率信念逻辑的语法和语义,并且证明了该逻辑系统的可靠性。 相似文献
5.
协议组合逻辑系统研究 总被引:2,自引:0,他引:2
介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,义具有BAN逻辑的易读性. 相似文献
6.
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理. 相似文献
7.
8.
一种算子模糊逻辑系统 总被引:3,自引:0,他引:3
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法. 相似文献
9.
有限扰动模糊逻辑代数及其广义重言式 总被引:8,自引:0,他引:8
讨论了有限扰动模糊逻辑代数,给出了判别其子代数的充要条件:将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中,证明了在I^2n中不存在(1,0)-重言式,广义重言不随系统的增大而增多,广义重言式前缀是不灵敏的。 相似文献
10.
从模糊逻辑系统与神经网络的对比分析中,论证了两个系统的等价性,并从BAM网络与Zedeh合成推理逻辑系统等价性的讨论中,给出了模糊逻辑系统的一 些概论和相应的结论,这对模糊逻辑系统的进一步理解是有益的。 相似文献
11.
以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标,在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型,并给出对典型加权模糊逻辑的详细评测过程,这个模糊知识体系的逻辑扩展能力评价模型,可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。 相似文献
12.
13.
提高模糊控制器稳态精度的研究 总被引:2,自引:0,他引:2
为了提高模糊控制器的稳态精度,对模糊推理算子进行了研究,利用概率算子所推得的模糊控制表控制精度较高。在Mathematic环境下,实现了模糊推理的程序化,为模糊控制的研究提供了条件,并给出了增加量化论域的典型模糊控制器的制表。最后,研究了隶属函数的分布对控制的影响,发现均匀分布的隶属函数所推得的控制表控制效果较好。仿真结果表明,模糊量化论域的稳态控制精度明显提高。 相似文献
14.
15.
16.
17.
Heyting代数的模糊滤子格 总被引:1,自引:0,他引:1
刘春辉 《山东大学学报(自然科学版)》2013,(12):57-60
结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。 相似文献
18.
19.
将直觉模糊集与R0代数相结合,定义了R0代数的直觉模糊子代数的概念。讨论了R0代数的直觉模糊子代数与R0子代数之间的关系;证明了R0代数的直觉模糊子代数的交是R0代数的直觉模糊子代数;定义了R0代数的直觉模糊子代数的像与逆像,证明了R0代数的直觉模糊子代数的同态像和同态逆像也是R0代数的直觉模糊子代数。研究结果进一步丰富和完善了R0代数的模糊理论。 相似文献
20.
对Larsen模糊推理算法进行了直觉化扩展。首先将Larsen定义的模糊关系Rp进行直觉化扩展,然后推出了其对应的直觉模糊取式推理算法和直觉模糊拒式推理算法。最后以具体算例叙述了推理计算过程中的细节,验证了该方法的正确性和有效性。结果证明直觉化扩展后的Larsen模糊推理算法是一种性能比较好的直觉模糊推理算法。 相似文献