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 | |
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 |
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