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 条

[21] MANY-VALUED LOGIC - RESCHER,N
WILCOX, WC
PHILOSOPHICAL FORUM, 1971, 9 (1-2): : 149 - 150
[22] MANY-VALUED LOGIC - RESCHER,N
SMILEY, TJ
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1970, 21 (04): : 405 - 406
[23] SYNTACTICAL SIMULATION OF MANY-VALUED LOGIC
KATSUTANI, H
LECTURE NOTES IN MATHEMATICS, 1989, 1388 : 96 - 119
[24] A MANY-VALUED LOGIC FOR APPROXIMATE REASONING
DIZENZO, S
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1988, 32 (04) : 552 - 565
[25] Proposition relativity and logic calculation in many-valued logic
Liu, Honglan
Gao, Qingshi
Yang, Bingru
Beijing Keji Daxue Xuebao/Journal of University of Science and Technology Beijing, 2007, 29 (SUPPL. 2): : 172 - 177
[26] Graded many-valued resolution with aggregation
Smutná-Hlinená, D
Vojtás, P
FUZZY SETS AND SYSTEMS, 2004, 143 (01) : 157 - 168
[27] Classical Resolution for Many-Valued Logics
Marcos J.
Nalon C.
1600, Elsevier B.V., Netherlands (323): : 253 - 270
[28] Many-valued logic in an intelligent tutoring system
Encheva, Sylvia
Tumin, Sharil
PROCEEDINGS OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS (MATH '07), 2007, : 210 - +
[29] MANY-VALUED LOGIC - GERMAN - SINOWJEW,AA
KUCHLING, H
DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1970, 18 (08): : 1001 - 1003
[30] MONOTONIC FUNCTIONS OF MANY-VALUED LOGIC AND SUPERMATROIDS
KOVALEV, MM
MILANOV, P
USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1984, 24 (03): : 106 - 108

← 1 2 3 4 5 →