摘要
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.
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.
出处
《广东工业大学学报》
CAS
2006年第1期122-126,共5页
Journal of Guangdong University of Technology
基金
广东工业大学青年基金项目
关键词
模糊逻辑
近似推理
归结方法
有效逻辑结果
fuzzy logic
approximate reasoning
resolution
validly logical consequence