直觉模糊逻辑的(α,β)-准锁语义归结方法<sup>*</sup>

doi:10.16451/j.cnki.issn1003-6059.201603004

摘要
图/表
参考文献
相关文章 (15)

全文: PDF (358 KB) HTML (1 KB)
输出: BibTeX | EndNote (RIS)

摘要为了提高直觉模糊命题逻辑的(α，β)-归结效率，将准锁语义归结策略应用于(α，β)-归结原理，得到直觉模糊命题逻辑的(α，β)-准锁语义归结方法，证明方法的可靠性与完备性.给出直觉模糊命题逻辑系统的(α，β)-准锁语义归结和(α，β)-准锁语义归结演绎的概念.讨论直觉模糊命题逻辑系统中的(α，β)-准锁语义归结式和锁子句的合并规则.最后，给出直觉模糊命题逻辑系统的基于(α，β)-准锁语义归结的自动推理算法步骤，并通过实例说明算法的有效性.

	服务

	把本文推荐给朋友
	加入我的书架
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章

Abstract：To improve the (α,β)-resolution efficiency of intuitionistic fuzzy propositional logic, quasi lock semantic resolution is applied to (α,β)-resolution. The (α,β)-quasi lock semantic resolution method is introduced into intuitionistic fuzzy logic system, and its soundness and completeness are proved. The concepts of (α,β)-quasi lock semantic resolution and (α,β)-quasi lock semantic resolution reasoning of intuitionistic fuzzy propositional logic are proposed. The formula of (α,β)-quasi lock semantic resolution and merger rule of generalized lock clauses are discussed. Finally, the steps of automated reasoning algorithm based on (α,β)-quasi lock semantic resolution for intuitionistic fuzzy propositional logic are presented and an example is given to illustrate the effectiveness of the proposed method.

收稿日期: 2015-02-10

ZTFLH:

TP 181

基金资助:国家自然科学基金项目(No.61372187,61105059)、辽宁省自然科学基金项目(No.2015020059)资助

作者简介: 邹丽，女，1971年生，博士，副教授，主要研究方向为多值逻辑与不确定性推理、智能信息处理.Email：zoulicn@163.com.刘迪，女，1990年生，硕士研究生，主要研究方向为多值逻辑与不确定性推理、智能信息处理.Email：liudi20120527@126.com. 谭雪微，女，1990年生，硕士研究生，主要研究方向为多值逻辑与不确定性推理、智能信息处理.Email:tan_xue_wei@163.com.郑宏亮（通讯作者），男，1970年生，硕士，讲师，主要研究方向为智能信息处理，数据挖掘等.Email：zhenghl@263.net.

引用本文:

邹丽，刘迪，谭雪微，郑宏亮. 直觉模糊逻辑的(α,β)-准锁语义归结方法^*[J]. 模式识别与人工智能, 2016, 29(3): 223-228. ZOU Li, LIU Di, TAN Xuewei, ZHENG Hongliang. (α,β)-Quasi-Lock-Semantic Resolution Method of Intuitionistic Fuzzy Logic. , 2016, 29(3): 223-228.

链接本文:

http://manu46.magtech.com.cn/Jweb_prai/CN/10.16451/j.cnki.issn1003-6059.201603004 或 http://manu46.magtech.com.cn/Jweb_prai/CN/Y2016/V29/I3/223