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

刘富春

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

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

综合研究 | 更新时间：2026-05-27

- 再扩充模糊逻辑中归结方法的有效性
- Validity of the Further Extension of Fuzzy Reasoning Based on Resolution
- 广东工业大学学报 2006年23卷第1期页码：122-126
- 作者机构：
- 作者简介：
- 基金信息：
  
  广东工业大学青年基金项目
- DOI：
  中图分类号：
- 网络首发：2006-02-02，
  
  纸质出版：2006
- 稿件说明：
移动端阅览
刘富春. 再扩充模糊逻辑中归结方法的有效性[J]. 广东工业大学学报, 2006, 23(1): 122-126.

LIU Fu-chun. Validity of the Further Extension of Fuzzy Reasoning Based on Resolution[J]. 2006, 23(1): 122-126.
刘富春. 再扩充模糊逻辑中归结方法的有效性[J]. 广东工业大学学报, 2006, 23(1): 122-126. DOI：

LIU Fu-chun. Validity of the Further Extension of Fuzzy Reasoning Based on Resolution[J]. 2006, 23(1): 122-126. DOI：

摘要

研究再扩充模糊逻辑的一些主要性质

得到了关于公式的有效逻辑结果的充分必要条件

讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.

Abstract

In this paper

some main properties of the further extension of fuzzy logic are generalized.Especially

the necessary and sufficient condition of validly logical consequence is obtained.Then the validity of further extension of fuzzy reasoning based on resolution is discussed.Lastly the equivalence of unsatisfiability in both two-valued logic and further extension of fuzzy logic is proved.

关键词

Keywords

references

应明生. 模糊逻辑的再扩充[J]. 计算机学报. 1992(02)

刘叙华. 广义模糊逻辑和锁语义归结原理[J]. 计算机学报. 1980(02)

王国俊著.非经典数理逻辑与近似推理[M]. 科学出版社, 2000

刘叙华著.基于归结方法的自动推理[M]. 科学出版社, 1994

刘叙华,姜云飞编著.定理机器证明[M]. 科学出版社, 1987

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

可拓逻辑与中智逻辑的内在关联初探

基于物联网的公路车流波消散方法研究

基于路况参数的混合动力机车能量管理策略研究

多尺度对比嵌入增强的自适应入侵检测模型

具守恒量波动方程的循环双子网物理信息神经网络