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