General Form of a-Ordered Linear Resolution Method for Lattice-Valued Logic System with Linguistic Truth-Values

被引：0

作者：

Xu, Weitao ^{[1
]}

Xu, Yang ^{[2
]}

机构：

[1] Henan Univ Technol, Coll Informat Sci & Engn, Zhengzhou 450001, Peoples R China

[2] Southwest Jiaotong Univ, Dept Maths, Chengdu 610031, Peoples R China

来源：

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

基金：

中国国家自然科学基金;

关键词：

automated reasoning; linguistic truth-valued lattice-valued logic system; ordered linear resolution; generalized literal; generalized clause;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the present paper, general form of alpha-ordered linear resolution method IS established m lattice-valued logic system with linguistic truth-values. Firstly, general form of alpha-ordered linear resolution method is investigated in linguistics truth-valued lattice-valued propositional logic system based on linguistics truth-valued lattice implication algebra. It can obtain a resolvent under a linguistic truth-valued level for a set of generalized clauses. Both soundness and weak completeness theorems are established. Then, general form of alpha-ordered linear resolution method IS established in linguistics truth-valued lattice-valued first-order logic system. The soundness theorem is also given. Finally, By using lift lemma, the weak completeness theorem is also obtained. This method provides a new resolution approach for automated reasoning based on lattice-valued logic system.

引用

页数：7

共 16 条

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

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

[13]

Xu Y., 1993, J SW JIAOTONG U, V28, P20

[14]

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

[15]

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

[16] Determination of α-resolution in lattice-valued first-order logic LF(X) [J].

Xu, Yang ;

Liu, Jun ;

Ruan, Da ;

Li, Xiaobing .

INFORMATION SCIENCES, 2011, 181 (10) :1836-1862

← 1 2 →