(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic

Nan Li; Lixian Xu; Ma Yuling; J. Liu; Jorge Martinez Carracedo; Zou Li

(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic

Nan Li, Lixian Xu, Ma Yuling, J. Liu, Jorge Martinez Carracedo, Zou Li

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Automated reasoning is an important realm in artificial intelligence. Resolution-based automated reasoning is one of the research branches. This paper establishes linguistic truth-valued intuitionistic fuzzy first-order logic (LTV-IFFL) system. To improve the resolution efficiency, the (𝜶,𝜷) - lock resolution method is introduced into LTV-IFFL system, and its soundness and completeness are proved. Finally, we give the steps of the automatic reasoning algorithm based on (𝜶,𝜷)- locked resolution of the LTVIFFL and illustrate the effectiveness of the algorithm with examples.

Original language	English
Title of host publication	18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2023)
Subtitle of host publication	www.iske2023.com
Publisher	IEEE Xplore
Number of pages	6
Publication status	Accepted/In press - 2 Oct 2023
Event	18th International Conference on Intelligent Systems and Knowledge Engineering - Fuzhou, China Duration: 17 Nov 2023 → 19 Nov 2023 Conference number: 18 http://www.iske2023.com

Conference

Conference	18th International Conference on Intelligent Systems and Knowledge Engineering
Abbreviated title	ISKE 2023
Country/Territory	China
City	Fuzhou
Period	17/11/23 → 19/11/23
Internet address	http://www.iske2023.com

Keywords

Automatic Reasoning
Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic system
Lock Resolution

Cite this

@inproceedings{b3a74375ddd74c6b8c159d3a45391021,

title = "(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic",

abstract = "Automated reasoning is an important realm in artificial intelligence. Resolution-based automated reasoning is one of the research branches. This paper establishes linguistic truth-valued intuitionistic fuzzy first-order logic (LTV-IFFL) system. To improve the resolution efficiency, the (휶,휷) - lock resolution method is introduced into LTV-IFFL system, and its soundness and completeness are proved. Finally, we give the steps of the automatic reasoning algorithm based on (휶,휷)- locked resolution of the LTVIFFL and illustrate the effectiveness of the algorithm with examples.",

keywords = "Automatic Reasoning, Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic system, Lock Resolution",

author = "Nan Li and Lixian Xu and Ma Yuling and J. Liu and {Martinez Carracedo}, Jorge and Zou Li",

year = "2023",

month = oct,

day = "2",

language = "English",

booktitle = "18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2023)",

publisher = "IEEE Xplore",

address = "United States",

note = "18th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2023 ; Conference date: 17-11-2023 Through 19-11-2023",

url = "http://www.iske2023.com",

}

Li, N, Xu, L, Yuling, M, Liu, J , Martinez Carracedo, J & Li, Z 2023, (α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic. in 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2023): www.iske2023.com., 7929, IEEE Xplore, 18th International Conference on Intelligent Systems and Knowledge Engineering, Fuzhou, China, 17/11/23.

(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic. / Li, Nan; Xu, Lixian; Yuling, Ma et al.
18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2023): www.iske2023.com. IEEE Xplore, 2023. 7929.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - (α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic

AU - Li, Nan

AU - Xu, Lixian

AU - Yuling, Ma

AU - Liu, J.

AU - Martinez Carracedo, Jorge

AU - Li, Zou

N1 - Conference code: 18

PY - 2023/10/2

Y1 - 2023/10/2

N2 - Automated reasoning is an important realm in artificial intelligence. Resolution-based automated reasoning is one of the research branches. This paper establishes linguistic truth-valued intuitionistic fuzzy first-order logic (LTV-IFFL) system. To improve the resolution efficiency, the (휶,휷) - lock resolution method is introduced into LTV-IFFL system, and its soundness and completeness are proved. Finally, we give the steps of the automatic reasoning algorithm based on (휶,휷)- locked resolution of the LTVIFFL and illustrate the effectiveness of the algorithm with examples.

AB - Automated reasoning is an important realm in artificial intelligence. Resolution-based automated reasoning is one of the research branches. This paper establishes linguistic truth-valued intuitionistic fuzzy first-order logic (LTV-IFFL) system. To improve the resolution efficiency, the (휶,휷) - lock resolution method is introduced into LTV-IFFL system, and its soundness and completeness are proved. Finally, we give the steps of the automatic reasoning algorithm based on (휶,휷)- locked resolution of the LTVIFFL and illustrate the effectiveness of the algorithm with examples.

KW - Automatic Reasoning

KW - Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic system

KW - Lock Resolution

M3 - Conference contribution

BT - 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2023)

PB - IEEE Xplore

T2 - 18th International Conference on Intelligent Systems and Knowledge Engineering

Y2 - 17 November 2023 through 19 November 2023

ER -

(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic

Abstract

Conference

Keywords

Fingerprint

Cite this