Completeness of (a #956;,a #957;)-resolution principle of intuitionistic operator fuzzy logic

被引：1

作者：

Zheng, Hongliang ^{[1
]}

Xu, Benqiang ^{[1
]}

Zou, Li ^{[1
]}

机构：

[1] Liaoning Normal Univ, Sch Comp & Informat Technol, Dalian 116029, Peoples R China

来源：

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007) | 2007年

关键词：

(a#956; a#957; )-resolution; the completeness of (a#956; intuitionistic operator fuzzy logic;

D O I：

10.2991/iske.2007.212

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, a primary interpretation for intuitionistic operator fuzzy logic is presented. The concepts of (a#956;,a#957;)-complementary literal and (a#956;,a#957;)-similar literal about complex literals are proposed. Then the properties of (a#956;,a#957;)-false and the (a#956;,a#957;)-resolution method of the complex literals are discussed. Based on the concepts of (a#956;,a#957;)-weak implication and (a#956;,a#957;)-strong implication, the completeness of (a#956;,a#957;)-resolution of intuitionistic operator fuzzy logic hold. An example is given to show that the proposed (a#956;,a#957;)-resolution method is a layered resolution method.

引用

页数：1

共 50 条

[1] Operator fuzzy modal logic and principle of resolution
Pan, WM
Shen, L
[J]. SOFT COMPUTING IN INTELLIGENT SYSTEMS AND INFORMATION PROCESSING, 1996, : 418 - 422
[2] FUZZY OPERATOR LOGIC AND FUZZY RESOLUTION
WEIGERT, TJ
TSAI, JP
LIU, XH
[J]. JOURNAL OF AUTOMATED REASONING, 1993, 10 (01) : 59 - 78
[3] FUZZY LOGIC AND RESOLUTION PRINCIPLE
LEE, RCT
[J]. JOURNAL OF THE ACM, 1972, 19 (01) : 109 - &
[4] THE COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO A VALIDITY CONCEPT BASED ON AN INVERSION PRINCIPLE
SCHROEDERHEISTER, P
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (03) : 359 - 377
[5] COMPLETENESS AND INCOMPLETENESS FOR INTUITIONISTIC LOGIC
McCarty, Charles
[J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1315 - 1327
[6] INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC
VELDMAN, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 159 - 166
[7] (α, β)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic
Li, Baihua
Li, Xiaonan
Pan, Chang
Zou, Li
Xu, Yang
[J]. 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 341 - 344
[8] (α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic
Zou, Li
Li, XiaoNan
Pan, Chang
Liu, Xin
[J]. INFORMATION SCIENCES, 2017, 414 : 329 - 339
[9] A COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC - AN INTUITIONISTIC PROOF
DRAGALIN, AG
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 1987, 34 (1-2): : 1 - 19
[10] The semantic completeness of a global intuitionistic logic
Aoyama, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (02) : 167 - 175

← 1 2 3 4 5 →