上下文相关模糊逻辑系统及其归结方法

摘要：

提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统,该逻辑系统中命题的真值是不惟一的,它依赖于可能世界W中的个体.文中还定义了逻辑联结词的运算和公式的语义模型.最后研究该逻辑系统中的归结方法.

关键词：模糊逻辑、上下文相关模糊逻辑、归结方法

所属期刊栏目：25

分类号：O159(代数、数论、组合理论)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：237-239