α-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

被引：0

作者：

He, Xingxing ^{[1
]}

Xu, Yang ^{[1
]}

Liu, Jun ^{[2
]}

Zhong, Xiaomei ^{[1
]}

机构：

[1] Southwest Tiaotong Univ, Intelligent Control Dev Ctr, Chengdu 610031, Sichuan, Peoples R China

[2] Univ Ulster, Sch Comp & Math, Ulster, North Ireland

来源：

DECISION MAKING AND SOFT COMPUTING | 2014年 / 9卷

基金：

中国国家自然科学基金;

关键词：

Lattice-valued logic; Equality; alpha-Paramodulation; Automated reasoning; RESOLUTION PRINCIPLE;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Aiming to handle logical formulae with equality in lattice-valued logic, this paper focuses on alpha-paramodulation for lattice-valued logic with equality. Firstly, the axioms of equality and their related properties in lattice-valued logic are presented. Then the concept of alpha-paramodulation is given, which is the essential rule for processing logical formulae with equality. Finally, the soundness of alpha-paramodulation is established.

引用

页码：86 / 91

页数：6

共 16 条

[1]

[Anonymous], 1969, MACHINE INTELLIGENCE

[2]

[Anonymous], 2013, 23 INT JOINT C ART I

[3]

[Anonymous], 2003, STUD FUZZINESS SOFT

[4] BASIC PARAMODULATION [J].

BACHMAIR, L ;

GANZINGER, H ;

LYNCH, C ;

SNYDER, W .

INFORMATION AND COMPUTATION, 1995, 121 (02) :172-192

[5] Paramodulation with Non-Monotonic Orderings and Simplification [J].

Bofill, Miquel ;

Rubio, Albert .

JOURNAL OF AUTOMATED REASONING, 2013, 50 (01) :51-98

[6]

Brand D., 1975, SIAM Journal on Computing, V4, P412, DOI 10.1137/0204036

[7] Machine Learning for First-Order Theorem Proving Learning to Select a Good Heuristic [J].

Bridge, James P. ;

Holden, Sean B. ;

Paulson, Lawrence C. .

JOURNAL OF AUTOMATED REASONING, 2014, 53 (02) :141-172

[8] Binary resolution over complete residuated Stone lattices [J].

Guller, Dusan .

FUZZY SETS AND SYSTEMS, 2008, 159 (09) :1031-1041

[9]

He X.X., 2012, J IGPL, V20, P579

[10] α-Lock resolution method for a lattice-valued first-order logic [J].

He, Xingxing ;

Xu, Yang ;

Liu, Jun ;

Ruan, Da .

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2011, 24 (07) :1274-1280

← 1 2 →