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 条

[41] A modified model of decision-making based on lattice-valued logic LF(X) [J].

Ma, J ;

Chen, S ;

Xu, Y .

PROCEEDINGS OF THE 8TH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1-3, 2005, :62-65

[42] STATE HYPERSTRUCTURES OF TREE AUTOMATA BASED ON LATTICE-VALUED LOGIC [J].

Ghorani, Maryam .

RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, 52 (01) :23-42

[43] Progress and prospect in lattice-valued logic systems based on lattice implication algebras [J].

Xu, Y ;

Ruan, D ;

Liu, J .

APPLIED COMPUTATIONAL INTELLIGENCE, 2004, :29-34

[44] Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra [J].

Wang Xuefang ;

Liu Peishun .

INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (5A) :195-200

[45] A model for handling linguistic terms in the framework of lattice-valued logic LF(X) [J].

Ma, J ;

Li, WJ ;

Xu, Y ;

Song, ZM .

2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, :1504-1509

[46] General form of α-Linear Resolution Method based on Lattice-Valued First-Order Logic System [J].

Xu, Weitao ;

Zhang, Wenqiang ;

Xu, Yang .

2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 2, 2012, :286-289

[47] Graded method of lattice-valued logic based on MV-algebra semantics [J].

Zuo, W.-B. (zuoweibing@ncwu.edu.cn), 1600, Chinese Institute of Electronics (41) :2035-2040

[48] Uncertainty Reasoning based on Gradational Lattice-Valued First-Order Logic Lvfl [J].

Chang, Zhiyan ;

Xu, Yang ;

Du, Weifeng ;

Wu, Minghui .

ISIP: 2009 INTERNATIONAL SYMPOSIUM ON INFORMATION PROCESSING, PROCEEDINGS, 2009, :9-+

[49] TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS [J].

Ghorani, M. .

IRANIAN JOURNAL OF FUZZY SYSTEMS, 2018, 15 (07) :103-119

[50] General Form of a-Ordered Linear Resolution Method for Lattice-Valued Logic System with Linguistic Truth-Values [J].

Xu, Weitao ;

Xu, Yang .

2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2016,

← 1 2 3 4 5 →