再扩充模糊逻辑中归结方法的有效性

• 作者: 刘富春
• 来源期刊: 广东工业大学学报
• 学科: 工学
• 关键词: 模糊逻辑 近似推理 归结方法 有效逻辑结果
• 年，卷（期）: 2006,（1）
• 页码范围: 122-126
• 页数: 5页
• 分类号: TP181
• 字数: 3661字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7162.2006.01.025

摘要

研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学应用数学学院	49	235	10.0	14.0