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

29 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 languageEnglish
Title of host publicationISKE 2023 - 18th International Conference on Intelligent Systems and Knowledge Engineering
Subtitle of host publicationwww.iske2023.com
PublisherIEEE Xplore
Pages444-449
Number of pages6
ISBN (Electronic)9798350318401
ISBN (Print)979-8-3503-1841-8
DOIs
Publication statusPublished online - 8 Apr 2024
Event18th International Conference on Intelligent Systems and Knowledge Engineering - Fuzhou, China
Duration: 17 Nov 202319 Nov 2023
Conference number: 18
http://www.iske2023.com

Publication series

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

Conference

Conference18th International Conference on Intelligent Systems and Knowledge Engineering
Abbreviated titleISKE 2023
Country/TerritoryChina
CityFuzhou
Period17/11/2319/11/23
Internet address

Bibliographical note

Publisher Copyright:
© 2023 IEEE.

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

Fingerprint

Dive into the research topics of '(α, β) - Lock Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy First-order Logic'. Together they form a unique fingerprint.

Cite this