10.3969/j.issn.1007-7162.2006.01.025
再扩充模糊逻辑中归结方法的有效性
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.
模糊逻辑、近似推理、归结方法、有效逻辑结果
23
TP181(自动化基础理论)
广东工业大学校科研和教改项目
2006-04-20(万方平台首次上网日期,不代表论文的发表时间)
共5页
122-126