Resolution principle based on six lattice-valued proposition logic LP6 (X)

被引：1
作者：
Meng, D [1 ]
Xu, Y [1 ]
Qiu, XP [1 ]
Qin, KY [1 ]
机构：
[1] SW Jiaotong Univ, Dept Appl Math, Intelligent Control Dev Ctr, Chengdu 610031, Sichuan, Peoples R China
来源：
2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS | 2003年
关键词：
artificial intelligence; multi-valued logic; lattice-valued logic; automated reasoning; resolution principle;
D O I：
10.1109/ICMLC.2003.1264530
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Resolution-based automated reasoning theory is an important and active research field in artificial intelligence. It is used to judge the satisfiability of any logic formula. With the development of classical and non-classical logic, the resolution theory and method based on different logic system has been discussed widely and deeply. In the present paper, a new resolution principle by using ultrafilter in LP6(X) is put forward. Different from existed method of resolution, this resolution in this paper is based on ultrafilter of lattice implication algebra. Because of LP6(X) is a non-chain, non-boolean and non-well-ordered algebra structure, resolution based on LP6(X) will be the theoretical foundation of resolution on lattice-valued truth-field. Accordingly, the research in this paper will be helpful supported for the application of intelligent reasoning system based on lattice-valued logic.
引用
收藏
页码：508 / 512
页数：5
相关论文
共 50 条
[1]   Resolution based on six lattice-valued proposition logic LP6(X) [J].
Meng, D ;
Wang, XF ;
Xu, Y ;
Qin, KY .
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, :2489-2494
[2]   α-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
[3]   Filter-based resolution principle for lattice-valued propositional logic LP(X) [J].
Ma, Jun ;
Li, Wenjiang ;
Ruan, Da ;
Xu, Yang .
INFORMATION SCIENCES, 2007, 177 (04) :1046-1062
[4]   α-MINIMAL RESOLUTION PRINCIPLE BASED ON LATTICE-VALUED PROPOSITIONAL LOGIC LP(X) [J].
Jia, Hairui ;
Xu, Yang ;
Liu, Yi ;
He, Huicong .
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, :1729-1734
[5]   IDEAL-BASED RESOLUTION PRINCIPLE FOR LATTICE-VALUED PROPOSITIONAL LOGIC LP(X) [J].
Xu, Weitao ;
Xu, Yang ;
Deng, Wenhong ;
Zhong, Xiaomei ;
He, Xingxing .
INTELLIGENT DECISION MAKING SYSTEMS, VOL. 2, 2010, :601-+
[6]   α-Resolution principle based on first-order lattice-valued logic LF(X) [J].
Xu, Y ;
Ruan, D ;
Kerre, EE ;
Liu, J .
INFORMATION SCIENCES, 2001, 132 (1-4) :221-239
[7]   Multiary α-Resolution Principle for a Lattice-Valued Logic [J].
Xu, Yang ;
Liu, Jun ;
Zhong, Xiaomei ;
Chen, Shuwei .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (05) :898-912
[8]   α-Satisfiability and α-Lock Resolution for a Lattice-Valued Logic LP(X) [J].
He, Xingxing ;
Xu, Yang ;
Li, Yingfang ;
Liu, Jun ;
Martinez, Luis ;
Ruan, Da .
HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2, 2010, 6077 :320-+
[9]   α-resolution principle based on lattice-valued modal propositional logic LMP(X) [J].
Li, WJ ;
Xu, Y ;
Ma, J .
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVI, PROCEEDINGS: COMPUTER SCIENCE III, 2002, :114-118
[10]   α-resolution principle based on an intermediate element lattice-valued first-order logic IELF(X) [J].
Meng, D ;
Xu, Y .
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVI, PROCEEDINGS: COMPUTER SCIENCE III, 2002, :119-124
12345