A framework of linguistic truth-valued propositional logic based on lattice implication algebra

被引:0
作者
Zou, Li [1 ,2 ]
Ma, Jun [1 ]
Xu, Yang [1 ]
机构
[1] Southwest Jiaotong Univ, Ctr Intelligent Control & Dev, Chengdu 610031, Peoples R China
[2] Liaoning Normal Univ, Sch Comp & Informat Technol, Dalian 116029, Peoples R China
来源
2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING | 2006年
关键词
lattice implication algebra; lattice-valued logic; linguistic truth-valued logic; J-resolution;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The linguistic truth values with linguistic hedges is considered. The linguistic hedge operators in the proposition are put forward and the truth values are divided into different grades. Based on lattice implication algebra a framework of linguistic truth-valued propositional logic is presented to deal with both comparable and incomparable of linguistic truth value. The properties of the propositional formula are discussed. Then based on a filter J of L, J-true, J-false of a formula, J-similar literals and J-complementary literals are defined. In the filter, J-resolution method of the linguistic truth value propositional logic is presented.
引用
收藏
页码:574 / +
页数:2
相关论文
共 15 条
[1]   A fusion approach for managing multi-granularity linguistic term sets in decision making [J].
Herrera, F ;
Herrera-Viedma, E ;
Martínez, L .
FUZZY SETS AND SYSTEMS, 2000, 114 (01) :43-58
[2]   A parametric representation of linguistic hedges in Zadeh's fuzzy logic [J].
Huynh, VN ;
Ho, TB ;
Nakamori, Y .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2002, 30 (03) :203-223
[3]  
HUYNH VN, AIP C P COMP ANT SYS, P98
[4]  
LIU XH, 1994, RESOLUTION BASED AUT, P348
[5]  
Nguyen CH, 2002, FUZZY SETS SYST, V129, P229
[6]  
QIAO QX, 1995, J SW JIAOTONG U, V30, P188
[7]   A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].
ROBINSON, JA .
JOURNAL OF THE ACM, 1965, 12 (01) :23-&
[8]   α-resolution principle based on lattice-valued propositional logic LP(X) [J].
Xu, Y ;
Ruan, D ;
Kerre, EE ;
Liu, J .
INFORMATION SCIENCES, 2000, 130 (1-4) :195-223
[9]  
Xu Y., 1993, J SW JIAOTONG U, V89, P20
[10]  
Xu Y., 2004, LATTICE VALUED LOGIC