α-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)

被引：0

作者：

Zhong, Xiaomei ^{[1
]}

Xu, Yang ^{[1
]}

机构：

[1] Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Sichuan, Peoples R China

来源：

JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 2014年 / 22卷 / 4-6期

关键词：

alpha-Group quasi-lock semantic resolution method; alpha-Group resolution principle; Resolution-based automated reasoning; Lattice-valued logic; Lattice implication algebra;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

On the basis of alpha-group resolution principle, an alpha-group resolution automated reasoning method-alpha-group quasi-lock semantic resolution method is studied in lattice-valued propositional logic system LP(X) based on lattice implication algebra. Firstly, alpha-group quasi-lock semantic resolution method is established in LP(X), as well as its soundness and condition completeness. Secondly, alpha-group quasi-lock semantic resolution in linguistic truth-valued lattice-valued propositional logic Lv(nx2)P(X) based on linguistic truth-valued lattice implication algebra L-v(nx2) is equivalently transformed into another alpha-group quasi-lock semantic resolution with different resolution level alpha in lattice-valued propositional logic Lv(n)P(X) by two cases.

引用

页码：581 / 598

页数：18

共 22 条

[11]

Luckham D, 1970, P IRIA S AUT DEM VER

[12] Lightweight relevance filtering for machine-generated resolution problems [J].

Meng, Jia ;

Paulson, Lawrence C. .

JOURNAL OF APPLIED LOGIC, 2009, 7 (01) :41-57

[13] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

JOURNAL OF THE ACM, 1965, 12 (01) :23-&

[14] AUTOMATIC THEOREM PROVING WITH RENAMABLE AND SEMANTIC RESOLUTION [J].

SLAGLE, JR .

JOURNAL OF THE ACM, 1967, 14 (04) :687-&

[15] α-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

[16]

Xu Y., 2010, INFORM SCI UNPUB

[17]

Xu Y, 2007, ADV SOFT COMP, V42, P358

[18]

Xu Y, 2006, 2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, P1413

[19]

Zhong X. M., 2010, INFORM SCI UNPUB

[20]

Zhong X.M., 2011, P 8 INT C FUZZ SYST, P1418

← 1 2 3 →