Validity of the Further Extension of Fuzzy Reasoning Based on Resolution

LIU Fu-chun

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

Validity of the Further Extension of Fuzzy Reasoning Based on Resolution

更新时间：2026-05-27

- Validity of the Further Extension of Fuzzy Reasoning Based on Resolution
- Vol. 23, Issue 1, Pages: 122-126(2006)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Online First：02 February 2006，
  
  Published：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

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Connections Between Extension Logic and Refined Neutrosophic Logic

A Study of the Highway Shockwave Elimination Method Based on the Internet of Things

The Cross-twin Physics-informed Neural Network for Wave Equations with Conserved Quantities

Research and Implementation of a Pulsed Laser Ranging Method Based on Digital Mixing

Research on Foreign Object Detection in Power Transmission Lines Based on the AAGV-YOLOX Model

Related Author

Florentin Smarandache

Huang Ling

Related Institution

No data

AI问答

⁰