检索结果-南通市图书馆

模糊系统与数学 2003年第4期17卷 60-66页

作者：吴洪博陕西师范大学数学与信息科学学院陕西西安710062

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统... 详细信息

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。

关键词：逻辑系统广义语义 hs规则 MP规则模糊命题演算

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

(G,N)-蕴涵关于常见推理规则的可满足性

引用

兰州理工大学学报 2024年第2期50卷 161-168页

作者：李冉冉于鹏陕西科技大学数学与数据科学学院陕西西安710021

针对(G,N)-蕴涵是否满Modus Ponens、Modus Tollens和Hypothetical Syllogism等推理规则问题展开讨论,给出了几类常见t-模下,(G,N)-蕴涵满足相应推理规则的判定条件,为优化模糊推理算法的设计提供了参考依据.

关键词：三角模 (G,N)-蕴涵 MP规则 MT规则 hs规则

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

命题逻辑系统R_0L_(3n+1)中公式的Γ-真度及性质

引用

计算机学报 2015年第8期38卷 1672-1679页

作者：吴洪博周建仁陕西师范大学数学与信息科学学院西安710062

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取... 详细信息

计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论,真度理论在计量逻辑理论中发挥着关键的作用.该文将真度概念加以推广,在(3n+1)-值模糊命题逻辑系统R0L中引入了公式相对于含有限个命题变元的理论的Γ-真度;讨论了与析取连接词、合取连接词、蕴含连接词、否定连接词等基本逻辑连接词相关的Γ-真度性质;讨论了与分离规则MP,三段论规则hs等推理规则相关的Γ-真度性质.该文的工作为将计量逻辑的思想融入(3n+1)-值模糊命题逻辑系统R0L并建立基于给定理论的近似推理基本框架和相关的逻辑度量空间奠定了基础.

关键词：模糊逻辑计量逻辑命题逻辑系统R0L Γ-真度连接词 MP规则 hs规则

来源：

维普期刊数据库

同方期刊数据库评论