(α, β) - 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

doi:10.1109/ISKE60036.2023.10481169

(α, β) - 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

1 Citation (Scopus)

109 Downloads (Pure)

Abstract

Automated reasoning is an important research direction in artificial intelligence, and resolution method is an efficient logical reasoning tool, it deserves to be studied. 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 requires that the resolution literal is the literal with the smallest lock number. Its soundness and completeness are proved. Finally, we give the (αβ) -locked resolution of the LTV-IFFL and apply it to the example.

Original language	English
Title of host publication	ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering
Subtitle of host publication	www.iske2023.com
Publisher	IEEE Xplore
Pages	444-449
Number of pages	6
ISBN (Electronic)	9798350318401
ISBN (Print)	979-8-3503-1841-8
DOIs	https://doi.org/10.1109/ISKE60036.2023.10481169
Publication status	Published online - 8 Apr 2024
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

Publication series

Name	ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering

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

Bibliographical note

Publisher Copyright:
© 2023 IEEE.

Funding

This work is supported by the National Natural Science Foundation of China (No. 62176142), Foundation of Liaoning Educational Committee (No. LJ2020007) and Special Foundation for Distinguished Professors of Shandong Jianzhu University.

Funders	Funder number
National Natural Science Foundation of China	62176142
LJ2020007

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Automatic Reasoning
Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic system
Lock Resolution
First-order logic
Knowledge engineering
Symbols
Linguistics
Cognition
Reliability
Intelligent systems
Standards

Access to Document

10.1109/ISKE60036.2023.10481169

ISKE_2023_paper_7929Author Accepted Manuscript, 428 KBLicence: CC BY-NC

Cite this

Li, N., Xu, L., Yuling, M., Liu, J., Martinez Carracedo, J., & Li, Z. (2024). (α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic. In ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering: www.iske2023.com (pp. 444-449). Article 7929 (ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering). IEEE Xplore. Advance online publication. https://doi.org/10.1109/ISKE60036.2023.10481169

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

@inproceedings{b3a74375ddd74c6b8c159d3a45391021,

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

abstract = "Automated reasoning is an important research direction in artificial intelligence, and resolution method is an efficient logical reasoning tool, it deserves to be studied. 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 requires that the resolution literal is the literal with the smallest lock number. Its soundness and completeness are proved. Finally, we give the (αβ) -locked resolution of the LTV-IFFL and apply it to the example.",

keywords = "Automatic Reasoning, Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic system, Lock Resolution, First-order logic, Knowledge engineering, Symbols, Linguistics, Cognition, Reliability, Intelligent systems, Standards",

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

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 18th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2023 ; Conference date: 17-11-2023 Through 19-11-2023",

year = "2024",

month = apr,

day = "8",

doi = "10.1109/ISKE60036.2023.10481169",

language = "English",

isbn = "979-8-3503-1841-8",

series = "ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering",

publisher = "IEEE Xplore",

pages = "444--449",

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

address = "United States",

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

}

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

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

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 - 2024/4/8

Y1 - 2024/4/8

N2 - Automated reasoning is an important research direction in artificial intelligence, and resolution method is an efficient logical reasoning tool, it deserves to be studied. 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 requires that the resolution literal is the literal with the smallest lock number. Its soundness and completeness are proved. Finally, we give the (αβ) -locked resolution of the LTV-IFFL and apply it to the example.

AB - Automated reasoning is an important research direction in artificial intelligence, and resolution method is an efficient logical reasoning tool, it deserves to be studied. 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 requires that the resolution literal is the literal with the smallest lock number. Its soundness and completeness are proved. Finally, we give the (αβ) -locked resolution of the LTV-IFFL and apply it to the example.

KW - Automatic Reasoning

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

KW - Lock Resolution

KW - First-order logic

KW - Knowledge engineering

KW - Symbols

KW - Linguistics

KW - Cognition

KW - Reliability

KW - Intelligent systems

KW - Standards

UR - https://www.scopus.com/pages/publications/85190957601

U2 - 10.1109/ISKE60036.2023.10481169

DO - 10.1109/ISKE60036.2023.10481169

M3 - Conference contribution

SN - 979-8-3503-1841-8

T3 - ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering

SP - 444

EP - 449

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

PB - IEEE Xplore

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

Y2 - 17 November 2023 through 19 November 2023

ER -

Li N, Xu L, Yuling M, Liu J , Martinez Carracedo J, Li Z. (α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic. In ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering: www.iske2023.com. IEEE Xplore. 2024. p. 444-449. 7929. (ISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering). Epub 2024 Apr 8. doi: 10.1109/ISKE60036.2023.10481169

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

Abstract

Publication series

Conference

Bibliographical note

Funding

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Interpretable data-knowledge integrated AI models with application in civil engineering

Cite this

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

Abstract

Publication series

Conference

Bibliographical note

Funding

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Student theses

Interpretable data-knowledge integrated AI models with application in civil engineering

Cite this