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

[1]

[Anonymous], 2003, STUD FUZZINESS SOFT

[2]

Boyer R. S., 1971, Ph.D. Thesis

[3]

Cal Z. N., 2005, MODERN COMPUTER, V5, P92

[4] Stratified resolution [J].

Degtyarev, A ;

Nieuwenhuis, R ;

Voronkov, A .

JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (1-2) :79-99

[5]

Li X. B., 2008, CHINESE Q J MATH, V6, P262

[6]

Liu X. H., 1985, CHINESE SCI BULL, V16, P1201

[7]

Liu X. H., 1987, THEOREM MACHINE PROV

[8]

Liu X. H, 1992, J SOFTWARE, V2, P60

[9]

Liu XH, 1979, J JILIN U SCI EDITIO, V4, P129

[10]

Loveland D. W., 1970, P IRIA S AUT DEM, P147, DOI DOI 10.1007/BFB0060630

← 1 2 3 →