A Resolution Method for Linguistic Many-valued Logic

被引：3

作者：

Le Anh Phuong ^{[1
]}

Tran Dinh Khang ^{[2
]}

机构：

[1] Hue Univ Educ, Dept Comp Sci, Hue City, Vietnam

[2] Hanoi Univ Sci & Technol, Sch Informat & Commun Technol, Hanoi, Vietnam

来源：

APPLIED MATHEMATICS & INFORMATION SCIENCES | 2013年 / 7卷 / 03期

关键词：

Hedge algebra; linguistic truth value domain; general resolution; linguistic many-valued logic; FUZZY LOGIC;

D O I：

10.12785/amis/070343

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

This paper studies the linguistic truth value domain (AX) based on finite monotonous hedge algebra and then we extend lukasiewicz algebra on [0; 1] to linguistic lukasiewicz algebra on linguistic truth value domain (AX), in an attempt to propose a general resolution for linguistic many-valued logic based on hedge moving rules and linguistic lukasiewicz algebra for linguistic reasoning. Its theorems of soundness and completeness associated with general resolution are also proved. This reflects the symbolic approach acts by direct reasoning on linguistic truth value domain.

引用

页码：1193 / 1200

页数：8

共 50 条

[1] MANY-VALUED LOGIC SYSTEM FOR LINGUISTIC MODEL PROCESSING
DRUCKMULLER, M
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1991, 20 (01) : 31 - 37
[2] LOGIC PROGRAMS AND MANY-VALUED LOGIC
MYCROFT, A
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 274 - 286
[3] Many-valued hybrid logic
Hansen, Jens Ulrik
Bolander, Thomas
Brauner, Torben
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 883 - 908
[4] What is many-valued logic?
Beziau, JY
27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 117 - 121
[5] GoDEL ON MANY-VALUED LOGIC
Lethen, Tim
REVIEW OF SYMBOLIC LOGIC, 2023, 16 (03): : 655 - 671
[6] INTERPRETATION OF MANY-VALUED LOGIC
URQUHART, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (02): : 111 - 114
[7] The Modalized Many-Valued Logic
Chen Bo
Zhao Kang
Zhang Bing
Wu Cheng
Ma Changhui
Suiyuefei
2018 14TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2018, : 265 - 268
[8] Many-Valued Modal Logic
Karniel, Amir
Kaminski, Michael
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (415):
[9] Many-Valued Logic '12
Ferraioli, Anna Rita
Gerla, Brunella
Russo, Ciro
Spada, Luca
MATHEMATICA SLOVACA, 2015, 65 (04) : 723 - 724
[10] A STUDY IN MANY-VALUED LOGIC
HACKSTAFF, LH
BOCHENSKI, JM
STUDIES IN SOVIET THOUGHT, 1962, 2 (01): : 37 - 48

← 1 2 3 4 5 →