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

• 作者: 邹丽
• 来源期刊: 辽宁师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊逻辑 上下文相关模糊逻辑 归结方法
• 年，卷（期）: 2002,（3）
• 页码范围: 237-239
• 页数: 3页
• 分类号: O159
• 字数: 2127字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1735.2002.03.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹丽	辽宁师范大学计算机与信息技术学院	41	117	6.0	8.0