复合模糊命题的真值及其信息量计算的新方法 被引量：8

1

作者 刘纯武 孙即祥 《软件学报》 EI CSCD 北大核心 1998年第11期857-860,共4页

从模糊信息量入手，对复合模糊命题的真值及其模糊信息量的计算进行了探讨，提出了一种新方法．此方法既考虑了子命题的逻辑关系，又考虑了子命题的相对重要程度而不丢失过多信息．实验证明，这种方法克服了封闭性、信息丢失、二义失效... 从模糊信息量入手，对复合模糊命题的真值及其模糊信息量的计算进行了探讨，提出了一种新方法．此方法既考虑了子命题的逻辑关系，又考虑了子命题的相对重要程度而不丢失过多信息．实验证明，这种方法克服了封闭性、信息丢失、二义失效和全同失效的缺陷，能获得较合理的结果． 展开更多

关键词 模糊信息量 模糊命题 真值 数据库

下载PDF 职称材料

模糊语言学中的几条推理规则 被引量：3

2

作者 王伟 《解放军外国语学院学报》 2000年第2期15-17,共3页

介绍模糊语言学中模糊语言、模糊逻辑、模糊推理的基本概念和基本方法 ,提出模糊推理中的假言推理、拒取式规则和合成规则等 3种新的表现形式 ,并得出了

关键词 模糊集合 语义 模糊命题 模糊逻辑 模糊推理

下载PDF 职称材料

基于真值限定概念的多条件模糊推理 被引量：5

3

作者 张继福 刘静 白钰 《太原重型机械学院学报》 1999年第3期212-217,共6页

本文采用 Ｍ Ａ Ｘ－ ⊙复合运算，在基于模糊关系 Ｒｂ 的多条件模糊推理的框架中，依据 Ｊ． Ｆ． Ｂａｌｄｗｉｎ 的真值限定概念，给出具有抽象逻辑特征的一种多条件模糊真值推理方法。

关键词 多条件推理 真值限定 模糊命题 人工智能

下载PDF 职称材料

基于FLcom的模糊知识推理与搜索处理 被引量：1

4

作者 赵洁心 潘正华 王姗姗 《计算机工程与应用》 CSCD 北大核心 2015年第19期37-42,共6页

基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出... 基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLcom,研究模糊知识及其不同否定的区分与形式表示,以及模糊知识推理与搜索处理。依据FLcom的语义解释,定义模糊命题的否定算子。具体采用Zadeh算子作为模糊推理算法,给出规则路径表的定义,利用规则路径表表示模糊推理规则及搜索过程。通过一个交通事故模型,讨论该模型的模糊推理及搜索过程,给出了搜索的算法及其实现结果。 展开更多

关键词 模糊命题 模糊知识推理 搜索处理 规则路径表

下载PDF 职称材料

基于有补T-范的F-命题演算和一类F-控制模型

5

作者 彭祖赠 《武汉水利电力大学学报》 CSCD 1993年第1期9-17,共9页

本文利用有补T-范建立了一类Fuzzy命题演算系统,给出了假言推理规则,推广了二值逻辑中命题演算的主要结果,且演算简单方便。作为它的应用,文末还给出了Fuzzy控制中的一个近似推理模型。

关键词 假言推理 模糊命题 模糊控制

原文传递

F命题演算

6

作者 熊天义 《淮北煤师院学报（自然科学版）》 1991年第4期21-26,53,共7页

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。

关键词 模糊命题 模糊逻辑 蕴涵 模糊函数

下载PDF 职称材料

语境中的汉语模糊命题分析

7

作者 彭有明 徐颂列 《浙江教育学院学报》 2008年第2期75-81,共7页

由于语词存在模糊性,使得包含这种语词的命题也具有模糊性。在不同的语境中,同一模糊命题具有不同的真值,它们可以划分为"极""很""比较"和"略微"四个等级,从而表现为相对的精确性。在一定的语... 由于语词存在模糊性,使得包含这种语词的命题也具有模糊性。在不同的语境中,同一模糊命题具有不同的真值,它们可以划分为"极""很""比较"和"略微"四个等级,从而表现为相对的精确性。在一定的语境中,同一个模糊命题也可以表现为隶属度为1的绝对的精确性。在一些语境中,同一个精确的命题还可以表现为真值不同的模糊命题。 展开更多

关键词 语境 模糊命题 形式刻画 真值

下载PDF 职称材料

基于真值限定的多条件模糊推理算法

8

作者 张继福 刘静 《太原重型机械学院学报》 2000年第2期119-125,共7页

本文依据J .F .Baldwin的真值限定概念 ,给出了在离散隶属函数下的一组基于MAX -⊙复合运算和模糊关系Rb 的多条件模糊真值推理算法。

关键词 推理算法 真值限定 模糊命题 模糊推理

下载PDF 职称材料

复合模糊命题的弱逻辑关系及其运算方法 被引量：12

9

作者 苏畅 蔡经球 陈怡疆 《计算机学报》 EI CSCD 北大核心 2000年第3期272-277,共6页

对模糊专家系统中的复合模糊命题的真值计算方法进行探讨 ,从实际应用中总结出复合模糊命题中的子命题之间所具有的多种逻辑关系 ,诸如合取关系、析取关系、加权平均关系和弱逻辑关系 ,其中弱逻辑关系是笔者开发模糊专家系统时根据实际... 对模糊专家系统中的复合模糊命题的真值计算方法进行探讨 ,从实际应用中总结出复合模糊命题中的子命题之间所具有的多种逻辑关系 ,诸如合取关系、析取关系、加权平均关系和弱逻辑关系 ,其中弱逻辑关系是笔者开发模糊专家系统时根据实际情况首次提出的一种新的逻辑关系 .并总结出复合模糊命题的各种真值计算方法的适用范围 .进而提出处理弱逻辑关系的方法 。 展开更多

关键词 复合模糊命题 模糊专家系统 弱逻辑关系

下载PDF 职称材料

扰动模糊逻辑I^2的最大子代数及其广义重言式 被引量：9

10

作者 陈图云 韩莹 廖士中 《工程数学学报》 CSCD 北大核心 2003年第2期118-120,91,共4页

运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。

关键词 模糊逻辑 扰动模糊逻辑 逻辑代数 广义重言式

下载PDF 职称材料

双枝模糊逻辑(II) 被引量：4

11

作者 刘刚 赵建辉 刘强 《计算机工程与应用》 CSCD 北大核心 2005年第19期47-49,107,共4页

在双枝模糊集基础上,通过对单枝模糊逻辑的合理扩展,建立了双枝模糊逻辑的框架。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定... 在双枝模糊集基础上,通过对单枝模糊逻辑的合理扩展,建立了双枝模糊逻辑的框架。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定了基础。 展开更多

关键词 双枝模糊集 双枝模糊命题 双枝模糊逻辑 析取范式 合取范式

下载PDF 职称材料

直觉模糊时态逻辑算子及其性质 被引量：3

12

作者 刘新 《吉林师范大学学报（自然科学版）》 2003年第2期37-38,54,共3页

将always,sometime,until,unless等时态算子引入到直觉模糊逻辑中,提出了直觉模糊时态逻辑系统,并研究了该系统中时态算子的一些性质.

关键词 直觉模糊逻辑 时态算子 逻辑算子 直觉模糊命题 直觉模糊时态命题 直觉模糊关系

下载PDF 职称材料

语言真值直觉模糊命题逻辑系统的推理规则 被引量：3

13

作者 刘德山 殷明娥 邹丽 《计算机工程与应用》 CSCD 北大核心 2011年第33期62-64,共3页

提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊... 提出了一种基于语言真值直觉模糊代数的直觉模糊命题逻辑系统。基于语言真值格蕴涵代数生成语言真值直觉模糊代数,可同时处理具有可比性或不可比性信息。该方法可以同时处理不确定性问题的正面证据和反面证据。研究了语言真值直觉模糊命题逻辑系统LP(S)的性质,得到了其公理及推理规则,也获得了LP(S)中的证明与定理。实例说明,该方法在处理同时具有可比性和不可比性的直觉模糊决策问题中更灵活、更有效。 展开更多

关键词 语言真值 直觉模糊命题 不确定性推理

下载PDF 职称材料

基于直觉模糊逻辑的近似推理方法 被引量：65

14

作者 雷英杰 王宝树 路艳丽 《控制与决策》 EI CSCD 北大核心 2006年第3期305-310,共6页

针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法.给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法.该方法包括直觉模糊取式推理,直觉模糊拒式推理及直觉模糊假... 针对直觉模糊逻辑及命题演算,提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法.给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法.该方法包括直觉模糊取式推理,直觉模糊拒式推理及直觉模糊假言推理,并推导了相关的推理合成运算公式.以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤. 展开更多

关键词 计算智能 模糊集合 直觉模糊逻辑 近似推理 直觉模糊命题

下载PDF 职称材料

基础L~*系统的一种扩张——Lukasiewicz系统 被引量：29

15

作者 吴洪博 文秋梅 《模糊系统与数学》 CSCD 2002年第2期52-57,共6页

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。

关键词 模糊逻辑 命题演算 基础J^＊系统 Lukasiewicz系统

下载PDF 职称材料

L~*系统中的模糊演绎定理 被引量：26

16

作者 吴洪博 文秋梅 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期17-22,共6页

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,... 研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) . 展开更多

关键词 模糊逻辑 模糊命题演算 算子 模糊演绎定量 形式演绎系统 模糊推理 Kleene逻辑系统 推理规则

下载PDF 职称材料

有限扰动模糊逻辑代数及其广义重言式 被引量：7

17

作者 陈图云 韩莹 《辽宁师范大学学报（自然科学版）》 CAS 2002年第4期343-345,共3页

讨论了有限扰动模糊逻辑代数 ,给出了判别其子代数的充要条件 :将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I2 n 中 ,证明了在I2 n 中不存在 (1,0 )—重言式 ,广义重言式不随系统的增大而增多 ,广义... 讨论了有限扰动模糊逻辑代数 ,给出了判别其子代数的充要条件 :将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I2 n 中 ,证明了在I2 n 中不存在 (1,0 )—重言式 ,广义重言式不随系统的增大而增多 ,广义重言式前缀是不灵敏的 . 展开更多

关键词 扰动模糊逻辑 有机扰动模糊逻辑 逻辑代数 广义重言式

下载PDF 职称材料

扰动模糊命题逻辑的代数结构及其广义重言式性质 被引量：5

18

作者 韩莹 陈森发 《高校应用数学学报（A辑）》 CSCD 北大核心 2005年第4期483-488,共6页

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.

关键词 模糊命题逻辑 扰动模糊命题逻辑 代数结构 广义重言式

下载PDF 职称材料

系统H_α中F(S)的一个分划及一种升级算法 被引量：4

19

作者 于鸿丽 吴洪博 《模糊系统与数学》 CSCD 北大核心 2007年第4期16-21,共6页

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。

关键词 模糊命题演算 可达α^+-重言式 分划 升级算法

下载PDF 职称材料

Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画 被引量：3

20

作者 周红军 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期1-4,共4页

通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证... 通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都是一个极大相容理论.利用Lukasiewicz蕴涵算子的连续性在全体极大相容理论之集上引入了一种Fuzzy拓扑,证明了该Fuzzy拓扑空间是零维的、良紧的,但不是覆盖式紧的,其分明截拓扑空间是覆盖式紧的、可度量化的. 展开更多

关键词 Lukasiewicz模糊命题逻辑 极大相容理论 满足性定理 紧致性定理

下载PDF 职称材料