检索结果-维普期刊中文期刊服务平台

{I_(m)}(α-逻辑有效公式)的理论及其应用被引量：6: 1; 作者张兴芳孟广武 +1 位作者赵峰张安英《工程数学学报》 CSCD 北大核心 2007年第1期179-182,共4页; 建立了一阶模糊语言φ的α[I]-真公式,可达α^(+)[I]-真公式,可数解释模型{I_(m)}(α-逻辑有效公式),可达{I_(m)}(α-逻辑有效公式)及{I_(m)}(α^(+)-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用。; 关键词一阶模糊语言 α[i]-真公式可数解释模型{i_(m)} {i_(m)}(α-逻辑有效公式); 在线阅读下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式被引量：8: 2; 作者胡明娣王国俊《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页; 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 展开更多; 关键词模糊模态逻辑基本模态逻辑永真式有效公式准永真式模态逻辑系统m￡%mUL%; 在线阅读下载PDF 职称材料

解释模型类理论及其极小三I-算法: 3; 作者张兴芳《计算机工程与应用》 CSCD 北大核心 2009年第26期30-33,64,共5页; 首先在多类(many-sorted)一阶形式系统Luk ms、Gd ms,∏ ms和L*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模... 展开更多; 关键词模糊推理多类一阶模糊语言解释模型类 α-逻辑有效公式; 在线阅读下载PDF 职称材料